Authors Title Wednesday, 17 January 2007 Invited Keynote - Session Chair 9:00 - 10:00 Audrey Tang Perl 6: Reconciling the Irreconcilable Session Chair 10:20 - 11:20 Jacob Matthews and Robert Bruce Findler Operational Semantics for Multi-Language Programs Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere Semantics of Static Pointcuts in AspectJ Juan Chen A Typed Intermediate Language for Compiling Multiple Inheritance Session Chair 11:30 - 12:30 Maria Jump and Kathryn S McKinley Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages Marina Polishchuk, Ben Liblit, and Chloë W. Schulze Dynamic Heap Type Inference for Program Understanding and Debugging Patrice Godefroid Compositional Dynamic Test Generation Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding Locality Approximation Using Time Lunch 12:30 - 13:45 Lunch with presentation of the Most Influential POPL 97 Paper award Session Chair 14:00 - 15:15 Derek Dreyer, Robert Harper, and Manuel M.T. Chakravarty Modular Type Classes Jeffrey Mark Siskind and Barak A. Pearlmutter First-Class Nonstandard Interpretations by Opening Closures Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary Fernandez, and Artem Gleyzer PADS/ML: A Functional Data Description Language Andrew M Pitts and Mark R Shinwell Generative Unbinding of Names Session Chair 15:45 - 17:15 Gerwin Klein, Harvey Tuch, Michael Norrish Types, Bytes, and Separation Logic Andrew W. Appel, Paul-Andre Mellies, Christopher D. Richards, Jerome Vouillon A Very Modal Model of a Modern, Major, General Type System Cristiano Calcagno, Philippa Gardner, Uri Zarfaty Context Logic as Modal Logic: Completeness and Parametric Inexpressivity Session Chair 17:20 - 17:35 Matthias Felleisen Business Meeting Thursday, 18 January 2007 Invited Keynote - Session Chair 9:00 - 10:00 Don Batory From Implementation to Theory in Product Synthesis Session Chair 10:20 - 11:30 Ralf Lammel Scrap your boilerplate with XPath-like combinators Atsushi Ohori , Isao Sasano Lightweight Fusion by Fixed Point Promotion Barak A. Pearlmutter and Jeffrey Mark Siskind Lazy Multivariate Higher-Order Forward-Mode AD Session Chair 11:30 - 12:30 Kristian Stoevring and Soren B. Lassen A Complete, Co-Inductive Syntactic Theory of Sequential Control and State Daniel K. Lee, Karl Crary, Robert Harper Towards a Mechanized Metatheory of Standard ML Session Chair 14:00 - 15:30 Matthew Might Logic-Flow Analysis of Higher-Order Programs Ben Wiedermann and William R. Cook Extracting Queries by Static Analysis of Transparent Persistence Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter O'Hearn Variance analyses from invariance analyses Session Chair 16:00 - 17:30 Pasquale Malacaria Assessing security threats of looping constructs Dachuan Yu, Ajay Chander, Nayeem Islam, and Igor Serikov JavaScript Instrumentation for Browser Security Michele Bugliesi and Marco Giunti Secure Implementations of Typed Channel Abstractions Reception Time TBA Thursday evening reception at Brasserie Flo Friday, 19 January 2007 Invited Keynote - Session Chair 9:00 - 10:00 Chet Murthy Advanced Programming Languages in Enterprise Software: A lambda-calculus theorist wanders into an enterprise datacenter Session Chair 10:20 - 11:20 Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Vardi Proving That Programs Eventually Do Something Good Sumit Gulwani and Nebojsa Jojic Program Verification as Probabilistic Inference Session Chair 11:30 - 12:30 Michael Emmi, Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar Lock Allocation Matthew Parkinson, Richard Bornat and Peter O'Hearn Modular Verification of a Non-Blocking Stack Vineet Kahlon and Aarti Gupta On the Analysis of Interacting Pushdown Systems Session Chair 14:00 - 15:30 John Reppy, Yingqi Xiao Specialization of CML message-passing primitives Mayur Naik and Alex Aiken Conditional Must Not Aliasing for Static Race Detection Ranjit Jhala, Rupak Majumdar Interprocedural Analysis of Asynchronous Programs Session Chair 16:00 - 17:30 Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi Preferential Path Profiling: Compactly Numbering Interesting Paths Dan Ghica Geometry of Synthesis: A structured approach to VLSI design Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya Debray A Semantics-Based Approach to Malware Detection