Scheme and Functional Programming 2009

Preliminary Schedule

8:15am Coffee and a bit more besides
8:45am
Invited Talk: If programming is like math, why don't math teachers teach programming?
Emmanuel Schanzer
9:30am Break (but no new snacks)
9:55am
Sequence Traces for Object-Oriented Executions
Carl Eastlund, Matthias Felleisen
 
Scalable Garbage Collection with Guaranteed MMU
William D Clinger, Felix S. Klock II
 
Randomized Testing in PLT Redex
Casey Klein, Robert Bruce Findler
11:10am Break (with new snacks!)
11:30am
A pattern-matcher for miniKanren -or- How to get into trouble with CPS macros
Andrew W. Keep, Michael D. Adams, Lindsey Kuper, William E. Byrd, Daniel P. Friedman
 
Higher-Order Aspects in Order
Eric Tanter
 
Fixing Letrec (reloaded)
Abdulaziz Ghuloum, R. Kent Dybvig
12:45pm Lunch
1:45pm
The Scribble Reader: An Alternative to S-expressions for Textual Content
Eli Barzilay
 
Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability
Matthew Might, Tarun Prabhu
 
Descot: Distributed Code Repository Framework
Aaron W. Hsu
 
Keyword and Optional Arguments in PLT Scheme
Matthew Flatt, Eli Barzilay
 
Screen-Replay: A Session Recording and Analysis Tool for DrScheme
Mehmet Fatih Köksal, Remzi Emre Başar, Suzan Üsküdarlı
3:00pm Break (with new snacks!)
3:20pm
Get stuffed: Tightly packed abstract protocols in Scheme
John Moore
 
Distributed Software Transactional Memory
Anthony Cowley
 
World With Web: A compiler from world applications to JavaScript
Remzi Emre Başar, Caner Derici, Çağdaş Şenol
4:05pm Break (but no new snacks)
4:25pm
Peter J Landin (1930-2009)
Olivier Danvy
 
Invited Talk: Future Directions for the Scheme Language
The Newly Elected Scheme Language Steering Committee

built using PLT Scheme and NiftyCube and Continue. Thanks!

want to see the source code?