[TYPES/announce] Call for Participation: Symposium in Honor of Mitchell Wand

[Dave Herman]

                    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 at 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