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.
Slides: The anatomy of a crypto protocol
The slides from Joshua Guttman’s research talk, The anatomy of a crypto protocol, are now available from the Mitchfest program page.
Update: the link URL for the talk slides has changed.
Slides: The search for clarity
The slides from Mitchell Wand’s keynote talk, The search for clarity, are now available from the Mitchfest program page.
Update: the link URL for the talk slides has changed.
Mitchfest was a success!
The Symposium in Honor of Mitchell Wand was a great success, thanks to the many attendees, presenters and organizers, and above all to Mitch!
In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) of Higher-Order and Symbolic Computation. We’ll also be adding links to the presentation slides and videos as they become available. We’ll update this blog with developments.
