CUFP Schedule, Sept 18, 2004

All times are approximate. Presentations are expected to be around 30 minutes and to aim to provoke discussion. Follow-on discussion will simply eat into the (currently extended) break times.

9.00	Introduction to CUFP. John Launchbury, Galois Connections Inc.
9.15	Issues and Opportunities with commercial grade Scheme. John Lalonde, Abstrax, Inc.
9.45	Experiences with O'Caml-based product development in the Windows kernel team. Byron Cook, Microsoft Research.
10.15	Break
11.00	Using OCaml at Linspire. David Fox, Linspire, Inc.
11.30	Using Scheme in End-User Software. Mike Ashley, Beckman Coulter, Inc.
12.00	Lunch
1.30	Marketing functional programming: perceptions and reality. Kent Dybvig, Indiana University and Cadence Research Systems.
2.00	Haskell in an Industrial Context. Andy Moran, Galois Connections Inc.
2.30	Break
3.15	BS is better with FP. Mieszko Lis and Ravi Nanavati, Bluespec, Inc.
3.45	Experiences with Design, Prototyping and Validation of a Distributed File Replication Protocol using Functional Programming . Nikolaj Bjørner, Microsoft Corp.
4.15	Developing Web Applications with Scheme. Jonathan Soebel, SAS Institute.
4.45	Discussion
5.30	Close