[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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-registrat...@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