Galois Tech Talk: Stream Fusion for Haskell Arrays

[Don Stewart]

Just a quick note about next week's Galois Tech Talk. Now that Galois
has completed its move into downtown Portland, and a shiny new, centrally
located, office space, we're opening up our tech talk series a bit more
widely.  If you're in Portland, and interested in functional programming
and formal methods, drop by!

------------------------------------------------------------------------

Title:      Stream Fusion for Haskell Arrays

Speaker:    Don Stewart
Date:       Tuesday, July 15th, 10.30am sharp.

Location:   Galois, Inc.
            421 SW 6th Ave. Suite 300
            (3rd floor of the Commonwealth Building)
            Portland, Oregon

Abstract:

    Arrays have traditionally been an awkward data structure for Haskell
    programmers. Despite the large number of array libraries available, they
    have remained relatively awkward to use in comparison to the rich suite
    of purely functional data structures, such as fingertrees or finite
    maps. Arrays have simply not been first class citizens in the language.

    In this talk we'll begin with a survey of the more than a dozen array
    types available, including some new matrix libraries developed in the
    past year. I'll then describe a new efficient, pure, and flexible
    array library for Haskell with a list like interface, based on work in
    the Data Parallel Haskell project, that employs stream fusion to
    dramatically reduce the cost of pure arrays. The implementation will be
    presented from the ground up, along with a discussion of the entire
    compilation process of the library, from source to assembly.

About the Galois Tech Talks.

    Galois (http://galois.com) has been holding weekly technical
    seminars for several years on topics from functional programming,
    formal methods, compiler and language design, to cryptography, and
    operating system construction, with talks by many figures from the
    programming language and formal methods communities.

    The talks are open and free. If you're planning to attend, dropping
    a note to <do...@galois.com> is appreciated, but not required.
    If you're interested in giving a talk, Don's always looking for new
    speakers.

------------------------------------------------------------------------

[Phil Tomson]

On Fri, Jul 11, 2008 at 3:06 PM, Don Stewart <do...@galois.com> wrote:
> Just a quick note about next week's Galois Tech Talk. Now that Galois
> has completed its move into downtown Portland, and a shiny new, centrally
> located, office space, we're opening up our tech talk series a bit more
> widely. If you're in Portland, and interested in functional programming
> and formal methods, drop by!
>
> ------------------------------------------------------------------------
>
> Title: Stream Fusion for Haskell Arrays
>
> Speaker: Don Stewart
> Date: Tuesday, July 15th, 10.30am sharp.
>

10:30AM?

How about an evening tech talk? It would be easier for people to make
it in the evening.

...just say'n.

Phil

[Igal Koshevoy]

Don Stewart wrote:
> Just a quick note about next week's Galois Tech Talk. Now that Galois
> has completed its move into downtown Portland, and a shiny new, centrally
> located, office space, we're opening up our tech talk series a bit more
> widely. If you're in Portland, and interested in functional programming
> and formal methods, drop by!

Sounds great, I've added the event to Calagator.org.

I'll try to make it, but the 10:30am time may make it tricky with work.

-igal

PS: We'd love to hear more talks from you and the Galois crew at pdxfunc
meetings too. ;)

[Phil Tomson]

Maybe Don would be interested in giving the same talk at PDX_func?

Phil

[Igal Koshevoy]

Phil Tomson wrote:
> Maybe Don would be interested in giving the same talk at PDX_func?
>

That'd be great!

And maybe one of les Galoisiens[1] could provide a "best of" summary of
these weekly talks for us at monthly pdxfunc meetings too?

-igal

[1] What's the French plural form for a member of Galois? :)

[Don Stewart]

Yeah, point taken.

These talks are just an integral part of life at Galois, and we've been holding them during the work day for years now.

Of course that does mean it's pretty much only the PSU academic/student crowd can make it. But my thought is that now Galois is downtown, we may be only a few blocks walk from a lot of people, so some people might be able to make it.

Video will follow, and should help as well.

Cheers,
  Don