Home » forums » LtU Forum

Galois: high assurance software

The ICFP 2004 program now links to the invited talks, in particular PowerPoint slides and MP3 audio for John Launchbury's excellent talk on bringing functional programming to the real world at Galois Connections.

By Chung-chieh Shan at 2004-09-30 14:43 | LtU Forum | previous forum topic | next forum topic | other blogs | 8380 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Work

Now that's a company where I would like to work!

By xkb at Thu, 2004-09-30 17:01 | login or register to post comments

Aye

Sure sounds like a great place to work. Liked the story about "the spark in the eyes [of Haskellists]"

By Ehud Lamm at Sat, 2004-10-02 16:39 | login or register to post comments

Promoted

I promoted this great link to the home page.

Ken, being an editor you can post directly to the home page. Simply click the "create content" link under your name, and choose "story" as the content type.

By Ehud Lamm at Sat, 2004-10-02 12:37 | login or register to post comments

Code transformation

This talk reminded me that during the Y2K scare I wrote a position paper on using the technologies developed for Y2K work for reengineering work in general. Those were the days if you were into code processing.

The talk gives several examples about C code - I was more into ASM/370 at that point...

By Ehud Lamm at Sat, 2004-10-02 16:36 | login or register to post comments

Haskell's more intelligible!

I interviewed at Galois once. Unfortunately I didn't much impress them, perhaps my "spark" was off that day... But I can say it looked like a very good place to work in many different ways.

Thinking about how to brand FP, how about "intelligibility" as a theme? Here's the pitch: a complex programming problem is solved in both C++ and Haskell. A programmer conversant in both languages will take a lot less time to understand the Haskell version, because of Haskell's superior intelligibility. Intelligibility makes software easier to write and easier for others to modify. Development time is reduced. Money is saved.

By Ashley Yakeley at Sun, 2004-10-03 11:06 | login or register to post comments