Program
| Wednesday, September 23, 2009 | |
| 8:00 | Shuttle pick-up at the Robert Treat Hotel |
| 8:30-9:00 | Registration |
| 9:00-9:25 | Welcome |
| 9:25-11:05 | Domain Specific Functional Languages |
| Session Chair: Sven-Bodo Scholz | |
| PICOBIT: A Compact Scheme System for Microcontrollers | |
| Vincent St-Amour and Marc Feeley | |
| Introducing Kansas Lava | |
| Andy Gill, Tristan Bull, Erik Perrins, Ed Komp, and Brett Werling | |
| Living With Kind #: Improving the Usability of Numeric Types
in Bluespec SystemVerilog |
|
| Ravi Nanavati | |
| iTasks for End-users | |
| Bas Lijnse and Rinus Plasmeijer | |
| 11:05-11:35 | Break (Main Lounge Foyer, University Center) |
| 11:35-12:50 | Multicore Functional Languages |
| Session Chair: Matthew Fluet | |
| OC4MC: Objective Caml for Multicore Architectures | |
| Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien
Jonquet, and Philippe Wang |
|
| Distributed S-Net: Design and Implementation | |
| Clemens Grelck, Jukka Julku, and Frank Penczek | |
| Multi-core parallelisation of Hume through structured transformation | |
| Greg Michaelson, Abyd Al Zain, and Gudmund Grov | |
| 12:50-2:00 | Lunch (Chancellor's Suite, University Center) |
| 2:00-3:15 | Functional Programming and Education |
| Session Chair: Andrew Butterfield | |
| Chalkboard: Mapping Functions to Polygons | |
| Andy Gill and Kevin Matlage | |
| Hunting for Haskell Frauds with Holmes | |
| Jurriaan Hage and Brian Vermeer | |
| Software Correctness for Undergrads: Just Do It | |
| Rex Page | |
| 3:15-3:45 | Break (Main Lounge Foyer, University Center) |
| 3:45-5:25 | Parallel Programming and Reactive Programming |
| Session Chair: Robby Findler | |
| pHood: A Tool to Analyze Parallel Functional Programs | |
| Alberto de la Encina, Ismael Rodríguez, and Fernando Rubio | |
| Implementing Fusion-Equipped Parallel Skeletons by Expression Templates | |
| Kiminori Matsuzaki and Kento Emoto | |
| Liftless Functional Reactive Programming | |
| Christopher Monsanto | |
| Eventless Reactivity from Scratch | |
| Gergely Patai | |
| 5:40 | Shuttle pick-up at the Seton Hall Gym |
| Thursday, September 24, 2009 | |
| 8:15 | Shuttle pick-up at the Robert Treat Hotel |
| 9:00-10:15 | Compilation |
| Session Chair: Matthew Flatt | |
| Truly Nested Data-Parallelism: Compiling SaC for the MicroGrid
Architecture |
|
| Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, and Clemens Grelck | |
| Arity Raising in Manticore | |
| Lars Bergstrom and John Reppy | |
| Symbiotic Expressions | |
| Robert Bernecky, Stephan Herhut, and Sven-Bodo Scholz | |
| 10:15-10:45 | Break (Main Lounge Foyer, University Center) |
| 10:45-12:25 | Language Features |
| Session Chair: Rinus Plasmeijer | |
| A Calculus for Coercive Subtyping | |
| Libor Škarvada, Matej Kollár,
Ondřej Peterka, Ondřej Ryšavý, and Dušan Kolář |
|
| Stream Fusion on Haskell Unicode Strings | |
| Thomas Harper | |
| Implementing General Contract Boundaries | |
| T. Stephen Strickland and Matthias Felleisen | |
| Configuring Bidirectional Programs with Functions | |
| Masato Takeichi | |
| 12:25-1:40 | Lunch (Chancellor's Suite, University Center) |
| 1:45-2:45 | Invited Talk |
| How To Build Your Own Bidirectional Programming Language | |
| Benjamin C. Pierce | |
| 3:00-12:00 | Social Event |
| Friday, September 25, 2009 | |
| 8:15 | Shuttle pick-up at the Robert Treat Hotel |
| 9:00-10:15 | Theorem Provers and Testing |
| Session Chair: John Hughes | |
| User-Interface driven Theorem Prover Development | |
| Andrew Butter eld, Simon Dardis, Karen Forde, and Colm Bhandal | |
| Hygienic Macros for the ACL2 Theorem Prover | |
| Carl Eastlund and Matthias Felleisen | |
| Unifying QuickCheck and SmallCheck | |
| Jacques Carette and Gordon J. Uszkay | |
| 10:15-10:45 | Break (Main Lounge Foyer, University Center) |
| 10:45-12:00 | Incrementalization, GADTs, Generic Programming |
| Session Chair: Rex Page | |
| Practical and Generic Incrementalization | |
| Sean Leather, Andres Löh, and Johan Jeuring | |
| A Typical Synergy Dynamic Types and Generalised Algebraic Datatypes | |
| Thomas van Noort, Peter Achten, and Rinus Plasmeijer | |
| Structured Vectors for Efficient Rank-Generic Array Programs | |
| Kai Trojahner and Florian Büther | |
| 12:00-1:45 | Lunch (Chancellor's Suite, University Center; Steering Committee meeting) |
| 1:45-3:00 | Evaluation Models and Environments |
| Session Chair: Jacques Carette | |
| Call By Effect | |
| Kevin Ellis | |
| Very Lazy Evaluation A New Execution Model for Functional Languages | |
| Jan Rochel | |
| The Moby Compiler for Smartphones | |
| Danny Yoo, Brendan Hickey, Emmanuel Schanzer, and Shriram Krishnamurthi |
|
| 3:00-3:30 | Break (Main Lounge Foyer, University Center) |
| 3:30-4:45 | Implementation and Benchmarking |
| Session Chair: Jurriaan Hage | |
| A Generic Foundation for Record Combinators | |
| Wolfgang Jeltsch | |
| Engineering Higher-Order Modules in SML/NJ | |
| George Kuan and David MacQueen | |
| Unibench: The Swiss Army Knife for Collaborative, Automated Benchmarking |
|
| Daniel Rolls, Stephan Herhut, Carl Joslin, and Sven-Bodo Scholz | |
| 4:45-5:00 | Closing Remarks |
| 5:15 | Shuttle pick-up at the Seton Hall Gym |
Leave a comment