Symposium in Honor of Mitchell Wand

In cooperation with ACM   SIGPLAN

Co-located with Scheme and Functional Programming 2009

Schedule

Saturday, August 22nd Welcome reception
West Village H Atrium
5:30pm - 6:30pm
Sunday, August 23rd

Symposium
Curry Student Center Ballroom
8:30am - 5:30pm

Banquet dinner
6:00pm - 8:00pm

Monday, August 24th Symposium
Curry Student Center Ballroom
8:30am - 5:00pm

Program

Sunday, August 23rd
Curry Student Center Ballroom
8:30am - 9:00am Breakfast
9:00am - 9:15am Welcome
Session: Types and Design
9:15am - 9:45am Functional un|unparsing
Kenichi Asai
Oleg Kiselyov
Chung-chieh Shan Slides ( pdf)
9:45am - 10:15am The design and implementation of Typed Scheme
Sam Tobin-Hochstadt
Matthias Felleisen Slides ( pdf)
10:15am - 10:45am A theory of typed hygienic macros
David Herman Slides ( pdf, key)
10:45am - 11:00am Break
Session: Modelling Computation
11:00am - 11:30am A shallow Scheme embedding of ⊥-avoiding streams
William E. Byrd
Daniel P. Friedman
Ramana Kumar
Joseph P. Near Slides ( pdf, key)
11:30am - 12:00pm A mechanized bisimulation for the nu-calculus
Nick Benton
Vasileios Koutavas Slides ( pdf, key)
12:00pm - 12:30pm A model of functional traversal-based generic programming
Bryan Chadwick
Karl Lieberherr Slides ( pdf)
12:30pm - 2:00pm Lunch
Session: Principled Implementation
2:00pm - 2:30pm The MacScheme compiler: Using denotational semantics to prove correctness
William D. Clinger Slides ( pdf 1, pdf 2)
2:30pm - 3:00pm The MzScheme machine and bytecode verifier
Casey L. Klein
Matthew Flatt
Robert Bruce Findler Slides ( pdf)
3:00pm - 3:30pm A Scheme for native threads
R. Kent Dybvig Slides ( pdf)
3:30pm - 4:00pm Trampolining architectures
Steven E. Ganz
Daniel P. Friedman Slides ( pdf, ppt)
4:00pm - 4:30pm Break
Keynote Talk
4:30pm - 5:30pm Mitch Wand: Mensch, teacher, and scientist (Part 1)
Olivier Danvy
Daniel P. Friedman Slides ( pdf)

Monday, August 24th
Curry Student Center Ballroom
8:30am - 9:00am Breakfast
Session: Education
9:00am - 9:30am Eliminating the middle man: Learning garbage collection without interpreters
Gregory H. Cooper
Arjun Guha
Shriram Krishnamurthi Slides ( pdf)
Session: Reasoning About Programs
9:30am - 10:00am The anatomy of a crypto protocol
Joshua D. Guttman
John D. Ramsdell Slides ( pdf)
10:00am - 10:30am DDP for CFA
Olin Shivers
Dimitrios Vardoulakis
Alexander Spoon Slides ( pdf)
10:30am - 11:00am Break
11:00am - 11:30am Subcubic control-flow analysis algorithms
Jan Midtgaard
David Van Horn Slides ( pdf)
11:30am - 12:00pm All-Termination(SCP)
Panagiotis Manolios
Aaron Turon Slides ( pdf)
12:00pm - 1:30pm Lunch
Session: Modelling Computation
1:30pm - 2:00pm Featherweight X10: A core calculus for async-finish parallelism
Jonathan K. Lee
Jens Palsberg
2:00pm - 2:30pm A simplified multi-tier semantics for Hop
Manuel Serrano
Christian Queinnec Slides ( xhtml)
2:30pm - 3:00pm On the essence of call-by-need
Olivier Danvy
3:00pm - 3:30pm Specializing continuations: Modularizing control
Christopher Dutchyn Slides ( pdf, key)
3:30pm - 4:00pm Break
Keynote Talk
4:00pm - 5:00pm The search for clarity
Mitchell Wand Slides ( pdf)