dvanhorn @ λ-calcul.us

Symposium in Honor of Mitchell Wand
In Cooperation with ACM SIGPLAN
Coordinated with Scheme Workshop 2009

August 23-24, 2009
Boston, Massachusetts, USA
http://www.ccs.neu.edu/events/wand-symposium/

CALL FOR PARTICIPATION

IMPORTANT DATES

August 1, 2009 – Registration deadline
August 22, 2009 – Scheme Workshop: http://www.schemeworkshop.org/2009
August 23-24, 2009 – Symposium in Honor of Mitchell Wand

VENUE

Northeastern University
346 Huntington Ave
Boston, MA 02115 USA

ACCOMMODATION

A limited block of hotel rooms will be reserved for participants of
the Symposium and/or the Scheme Workshop at hotels in Boston and
Cambridge. More information will be available soon; please check back
on the event web site.

REGISTRATION

Registration is free. Please register by *August 1, 2009* so that we
will have an accurate head count. To register, please send an email to mitchfest-registration@ccs.neu.edu
with your name and any dietary restrictions for lunch.

SCOPE

Northeastern University is hosting a special Symposium in celebration
of Dr. Mitchell Wand’s 60th birthday and honoring his pioneering work
in the field of programming languages. For over 30 years Mitch has
made important contributions to many areas of programming languages,
including semantics, continuations, type theory, hygienic macros,
compiler correctness, static analysis and formal verification.

Please join us at Northeastern on August 23rd and 24th as we celebrate
this personal milestone and pay tribute to a great computer scientist,
researcher, teacher and colleague, Dr. Mitchell (Mitch) Wand.

STEERING COMMITTEE

* Olivier Danvy (University of Aarhus)
* David Herman (Northeastern University)
* Dino Oliva (Bloomberg L.P.)
* Olin Shivers (Northeastern University)

PRELIMINARY PROGRAM

Functional un|unparsing
Kenichi Asai and Oleg Kiselyov and Chung-chieh Shan

A mechanized bisimulation for the nu-calculus
Nick Benton and Vasileios Koutavas

A shallow Scheme embedding of bottom-avoiding streams
William E. Byrd and Daniel P. Friedman and Ramana Kumar and
Joseph P. Near

A model of functional traversal-based generic programming
Bryan Chadwick and Karl Lieberherr

The MacScheme compiler: using denotational semantics to prove
correctness
William D. Clinger

Eliminating the middle man: Learning garbage collection without
interpreters
Gregory H. Cooper and Arjun Guha and Shriram Krishnamurthi

Specializing continuations
Christopher Dutchyn

A Scheme for native threads
R. Kent Dybvig

Trampolining architectures
Steven E. Ganz and Daniel P. Friedman

Finding everything that can happen: Solving authentication tests by
computer
Joshua D. Guttman and John D. Ramsdell

A theory of typed hygienic macros
David Herman

The MzScheme machine and bytecode verifier
Casey L. Klein and Matthew Flatt and Robert Bruce Findler

Featherweight X10: A core calculus for async-finish parallelism
Jonathan K. Lee and Jens Palsberg

Subcubic control-flow analysis algorithms
Jan Midtgaard and David Van Horn

A simplified multi-tier semantics for Hop
Manuel Serrano and Christian Queinnec

DDP for CFA
Olin Shivers and Dimitrios Vardoulakis and Alexander Spoon

The design and implementation of Typed Scheme
Sam Tobin-Hochstadt and Matthias Felleisen