Home
> Uncategorized > Most slides are now available
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.
Comments (0)
Trackbacks (1)
Leave a comment
Trackback
-
September 15, 2009 at 1:09 pm | #1dvanhorn @ λ-calcul.us › Wand Symposium and Festschrift: the Blog