Most slides are now available

Slides for most of the Mitchfest talks are now available, including Olivier Danvy and Daniel P. Friedman‘s keynote talk: Mitch Wand: Mensch, teacher, and scientist (Part 1).

The newly added research talks are:

• Chung-chieh Shan: Functional un|unparsing
• Sam Tobin-Hochstadt: The design and implementation of Typed Scheme
• David Herman: A theory of typed hygienic macros (pdf, key)
• Joseph P. Near: A shallow Scheme embedding of ⊥-avoiding streams (pdf, key)
• Vasileios Koutavas: A mechanized bisimulation for the nu-calculus (pdf, key)
• Jesse Tov: A model of functional traversal-based generic programming
• William D. Clinger: The MacScheme compiler: Using denotational semantics to prove correctness (pdf 1, pdf 2)
• Casey Klein: The MzScheme machine and bytecode verifier
• R. Kent Dybvig: A Scheme for native threads
• Steven E. Ganz: Trampolining architectures (pdf, ppt)
• Gregory H. Cooper: Essentials of garbage collection
• Olin Shivers: Higher-order flow anaylsis with DDP
• David Van Horn: Subcubic control-flow analysis algorithms
• Aaron Turon: All-Termination(SCP)
• Christian Queinnec: A simplified multi-tier semantics for Hop
• Christopher Dutchyn: Specializing continuations: Modularizing control (pdf, key)

See the program for more information, including the complete lists of authors.

About these ads