Dynamic Languages Symposium 2007  OOPSLA 2007

Co-located with OOPSLA 2007

In cooperation with ACM SIGPLAN

Montreal, Quebec, Canada, October 22, 2007



8:50 - 9:00 Opening Remarks
9:00 - 10:00 Invited Talk 1
Tradeoffs in Retrofitting Security: An Experience Report
Mark S. Miller (Google Inc.)
(presentation, 2.4 MB)
10:00 - 10:30 Break
10:30 - 12:00 Research Papers 1: Multi-paradigm Programming
(Session chair: Shriram Krishnamurthi)
Report on the Probabilistic Language Scheme
Alexey Radul

OMeta: an Object-Oriented Language for Pattern Matching
Alessandro Warth and Ian Piumarta

Arrays of Objects
Morten Kromberg
12:00 - 13:30 Break
13:30 - 15:00 Research Papers 2: Integrating Static Features into Dynamic Languages
(Session chair: William Cook)
Relationally-Parametric Polymorphic Contracts
Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi

Dynamic Ownership in a Dynamic Language
Donald Gordon and James Noble

RPython: Reconciling Dynamically and Statically Typed OO Languages
Davide Ancona, Massimo Ancona, Antonio Cuni, and Nicholas Matsakis
15:00 - 15:30 Break
15:30 - 17:00 Research Papers 3: Software Adaptation
(Session chair: Laurence Tratt)
An Adaptive Package Management System for Scheme
Manuel Serrano and Erick Gallesio

Highly Dynamic Behaviour Adaptability through Prototypes with Subjective Multimethods
Sebastián González, Kim Mens

Mirages: Behavioral Intercession in a Mirror-based Architecture
Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, and Eric Tanter
17:00 - 18:00 Invited Talk 2
Bringing Dynamic Languages to .NET with the DLR
Jim Hugunin (Microsoft Corp.)
(presentation, 1 MB)