S
sorin.lerner
*********************************************************************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 17-19, 2007 *
* Nice, France *
* *
* Call for Participation *
* *
* http://www.cs.ucsd.edu/popl/07 *
*********************************************************************
Important dates
* Early registration deadline: December 15, 2006
* Conference: January 17-19, 2007
Scope
The annual Symposium on Principles of Programming Languages is a forum
for the discussion of fundamental principles and important innovations
in the design, definition, analysis, transformation, implementation
and verification of programming languages, programming systems, and
programming abstractions. Both experimental and theoretical papers are
welcome.
Student Attendees
Students who have a paper accepted for the conference are offered
SIGPLAN student membership free for one year. As members of SIGPLAN
they may apply for travel fellowships from the PAC fund
(http://www.acm.org/sigs/sigplan/PAC.htm).
Conference Chair
Martin Hoffmann
Ludwig-Maximilians-Universitat
Oettingenstr 67,
80538, Munich, GERMANY
Program Committee Chair
Matthias Felleisen
College of Computer Science
Northeastern University
Boston, MA 02115
USA
Program Committee
Hans Boehm HP Laboratories
Craig Chambers U Washington
Patrick Cousot ENS, Paris
Benjamin Goldberg NYU, New York
Andy Gordon Microsoft Research, Cambridge
Dan Grossman U Washington
John Hatcliff Kansas State U
Tom Henzinger EPFL, Lausanne
Paul Hudak Yale
Mark Jones Portland State University, Portland
Gabriele Keller University of New South Wales
Oege de Moor Oxford
Eliot Moss U Massachusetts, Amherst
Benjamin Pierce U Pennsylvania
Jakob Rehof Universitat Dortmund
Olin Shivers Georgia Tech, Atlanta
Scott Smith Johns Hopkins, Baltimore
Kevin Sullivan U Virginia
Carolyn Talcott SRI International
David Walker Princeton
Affiliated Events
* Declarative Aspects of Multicore Programming (DAMP)
* January 16th, 2007
* Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
* January 20, 2007
* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
* January 15-16, 2007
* Practical Applications of Declarative Languages (PADL)
* January 14-15, 2007
* Programming Language Technologies for XML (PLAN-X)
* January 20, 2007
* Types in Language Design and Implementation (TLDI)
* January 16, 2007
* Verification, Model Checking and Abstract Interpretation (VMCAI)
* January 14-16, 2007
Preliminary Program
* Wednesday, 17 January 2007
* Invited Keynote: 9:00 - 10:00
Perl 6: Reconciling the Irreconcilable
Audrey Tang
* Session 1: 10:20 - 11:20
Operational Semantics for Multi-Language Programs
Jacob Matthews and Robert Bruce Findler
Semantics of Static Pointcuts in AspectJ
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege
de Moor, Damien Sereni, Julian Tibble, Mathieu
Verbaere
A Typed Intermediate Language for Compiling Multiple
Inheritance
Juan Chen
* Session 2: 11:30 - 12:30
Cork: Dynamic Memory Leak Detection for Garbage-
Collected Languages
Maria Jump and Kathryn S McKinley
Dynamic Heap Type Inference for Program Understanding
and Debugging
Marina Polishchuk, Ben Liblit, and Chloe W. Schulze
Compositional Dynamic Test Generation
Patrice Godefroid
Locality Approximation Using Time
Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding
* Session 3: 14:00 - 15:15
Modular Type Classes
Derek Dreyer, Robert Harper, and Manuel M.T.
Chakravarty
First-Class Nonstandard Interpretations by Opening Closures
Jeffrey Mark Siskind and Barak A. Pearlmutter
PADS/ML: A Functional Data Description Language
Yitzhak Mandelbaum, Kathleen Fisher, David Walker,
Mary Fernandez, and Artem Gleyzer
Generative Unbinding of Names
Andrew M Pitts and Mark R Shinwell
* Session 4: 15:45 - 17:15
Types, Bytes, and Separation Logic
Gerwin Klein, Harvey Tuch, Michael Norrish
A Very Modal Model of a Modern, Major, General Type
System
Andrew W. Appel, Paul-Andre Mellies, Christopher D.
Richards, Jerome Vouillon
Context Logic as Modal Logic: Completeness and Parametric
Inexpressivity
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
* Thursday, 18 January 2007
* Invited Keynote: 9:00 - 10:00
From Implementation to Theory in Product Synthesis
Don Batory
* Session 5: 10:20 - 11:30
Scrap your boilerplate with XPath-like combinators
Ralf Lammel
Lightweight Fusion by Fixed Point Promotion
Atsushi Ohori , Isao Sasano
Lazy Multivariate Higher-Order Forward-Mode AD
Barak A. Pearlmutter and Jeffrey Mark Siskind
* Session 6: 11:30 - 12:30
A Complete, Co-Inductive Syntactic Theory of Sequential
Control and State
Kristian Stoevring and Soren B. Lassen
Towards a Mechanized Metatheory of Standard ML
Daniel K. Lee, Karl Crary, Robert Harper
* Session 7: 14:00 - 15:30
Logic-Flow Analysis of Higher-Order Programs
Matthew Might
Extracting Queries by Static Analysis of Transparent
Persistence
Ben Wiedermann and William R. Cook
Variance analyses from invariance analyses
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino
Distefano, Peter O'Hearn
* Session 8: 16:00 - 17:30
Assessing security threats of looping constructs
Pasquale Malacaria
JavaScript Instrumentation for Browser Security
Dachuan Yu, Ajay Chander, Nayeem Islam, and Igor
Serikov
Secure Implementations of Typed Channel Abstractions
Michele Bugliesi and Marco Giunti
* Friday, 19 January 2007
* Invited Keynote: 9:00 - 10:00
Advanced Programming Languages in Enterprise Software:
A lambda-calculus theorist wanders into an enterprise
datacenter
Chet Murthy
* Session 9: 10:20 - 11:20
Proving That Programs Eventually Do Something Good
Byron Cook, Alexey Gotsman, Andreas Podelski,
Andrey Rybalchenko, Moshe Vardi
Program Verification as Probabilistic Inference
Sumit Gulwani and Nebojsa Jojic
* Session 10: 11:30 - 12:30
Lock Allocation
Michael Emmi, Jeffrey Fischer, Ranjit Jhala, Rupak
Majumdar
Modular Verification of a Non-Blocking Stack
Matthew Parkinson, Richard Bornat and Peter O'Hearn
On the Analysis of Interacting Pushdown Systems
Vineet Kahlon and Aarti Gupta
* Session 11: 14:00 - 15:30
Specialization of CML message-passing primitives
John Reppy, Yingqi Xiao
Conditional Must Not Aliasing for Static Race Detection
Mayur Naik and Alex Aiken
Interprocedural Analysis of Asynchronous Programs
Ranjit Jhala, Rupak Majumdar
* Session 12: 16:00 - 17:30
Preferential Path Profiling: Compactly Numbering
Interesting Paths
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
Geometry of Synthesis: A structured approach to VLSI
design
Dan Ghica
A Semantics-Based Approach to Malware Detection
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha,
Saumya Debray
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 17-19, 2007 *
* Nice, France *
* *
* Call for Participation *
* *
* http://www.cs.ucsd.edu/popl/07 *
*********************************************************************
Important dates
* Early registration deadline: December 15, 2006
* Conference: January 17-19, 2007
Scope
The annual Symposium on Principles of Programming Languages is a forum
for the discussion of fundamental principles and important innovations
in the design, definition, analysis, transformation, implementation
and verification of programming languages, programming systems, and
programming abstractions. Both experimental and theoretical papers are
welcome.
Student Attendees
Students who have a paper accepted for the conference are offered
SIGPLAN student membership free for one year. As members of SIGPLAN
they may apply for travel fellowships from the PAC fund
(http://www.acm.org/sigs/sigplan/PAC.htm).
Conference Chair
Martin Hoffmann
Ludwig-Maximilians-Universitat
Oettingenstr 67,
80538, Munich, GERMANY
Program Committee Chair
Matthias Felleisen
College of Computer Science
Northeastern University
Boston, MA 02115
USA
Program Committee
Hans Boehm HP Laboratories
Craig Chambers U Washington
Patrick Cousot ENS, Paris
Benjamin Goldberg NYU, New York
Andy Gordon Microsoft Research, Cambridge
Dan Grossman U Washington
John Hatcliff Kansas State U
Tom Henzinger EPFL, Lausanne
Paul Hudak Yale
Mark Jones Portland State University, Portland
Gabriele Keller University of New South Wales
Oege de Moor Oxford
Eliot Moss U Massachusetts, Amherst
Benjamin Pierce U Pennsylvania
Jakob Rehof Universitat Dortmund
Olin Shivers Georgia Tech, Atlanta
Scott Smith Johns Hopkins, Baltimore
Kevin Sullivan U Virginia
Carolyn Talcott SRI International
David Walker Princeton
Affiliated Events
* Declarative Aspects of Multicore Programming (DAMP)
* January 16th, 2007
* Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
* January 20, 2007
* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
* January 15-16, 2007
* Practical Applications of Declarative Languages (PADL)
* January 14-15, 2007
* Programming Language Technologies for XML (PLAN-X)
* January 20, 2007
* Types in Language Design and Implementation (TLDI)
* January 16, 2007
* Verification, Model Checking and Abstract Interpretation (VMCAI)
* January 14-16, 2007
Preliminary Program
* Wednesday, 17 January 2007
* Invited Keynote: 9:00 - 10:00
Perl 6: Reconciling the Irreconcilable
Audrey Tang
* Session 1: 10:20 - 11:20
Operational Semantics for Multi-Language Programs
Jacob Matthews and Robert Bruce Findler
Semantics of Static Pointcuts in AspectJ
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege
de Moor, Damien Sereni, Julian Tibble, Mathieu
Verbaere
A Typed Intermediate Language for Compiling Multiple
Inheritance
Juan Chen
* Session 2: 11:30 - 12:30
Cork: Dynamic Memory Leak Detection for Garbage-
Collected Languages
Maria Jump and Kathryn S McKinley
Dynamic Heap Type Inference for Program Understanding
and Debugging
Marina Polishchuk, Ben Liblit, and Chloe W. Schulze
Compositional Dynamic Test Generation
Patrice Godefroid
Locality Approximation Using Time
Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding
* Session 3: 14:00 - 15:15
Modular Type Classes
Derek Dreyer, Robert Harper, and Manuel M.T.
Chakravarty
First-Class Nonstandard Interpretations by Opening Closures
Jeffrey Mark Siskind and Barak A. Pearlmutter
PADS/ML: A Functional Data Description Language
Yitzhak Mandelbaum, Kathleen Fisher, David Walker,
Mary Fernandez, and Artem Gleyzer
Generative Unbinding of Names
Andrew M Pitts and Mark R Shinwell
* Session 4: 15:45 - 17:15
Types, Bytes, and Separation Logic
Gerwin Klein, Harvey Tuch, Michael Norrish
A Very Modal Model of a Modern, Major, General Type
System
Andrew W. Appel, Paul-Andre Mellies, Christopher D.
Richards, Jerome Vouillon
Context Logic as Modal Logic: Completeness and Parametric
Inexpressivity
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
* Thursday, 18 January 2007
* Invited Keynote: 9:00 - 10:00
From Implementation to Theory in Product Synthesis
Don Batory
* Session 5: 10:20 - 11:30
Scrap your boilerplate with XPath-like combinators
Ralf Lammel
Lightweight Fusion by Fixed Point Promotion
Atsushi Ohori , Isao Sasano
Lazy Multivariate Higher-Order Forward-Mode AD
Barak A. Pearlmutter and Jeffrey Mark Siskind
* Session 6: 11:30 - 12:30
A Complete, Co-Inductive Syntactic Theory of Sequential
Control and State
Kristian Stoevring and Soren B. Lassen
Towards a Mechanized Metatheory of Standard ML
Daniel K. Lee, Karl Crary, Robert Harper
* Session 7: 14:00 - 15:30
Logic-Flow Analysis of Higher-Order Programs
Matthew Might
Extracting Queries by Static Analysis of Transparent
Persistence
Ben Wiedermann and William R. Cook
Variance analyses from invariance analyses
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino
Distefano, Peter O'Hearn
* Session 8: 16:00 - 17:30
Assessing security threats of looping constructs
Pasquale Malacaria
JavaScript Instrumentation for Browser Security
Dachuan Yu, Ajay Chander, Nayeem Islam, and Igor
Serikov
Secure Implementations of Typed Channel Abstractions
Michele Bugliesi and Marco Giunti
* Friday, 19 January 2007
* Invited Keynote: 9:00 - 10:00
Advanced Programming Languages in Enterprise Software:
A lambda-calculus theorist wanders into an enterprise
datacenter
Chet Murthy
* Session 9: 10:20 - 11:20
Proving That Programs Eventually Do Something Good
Byron Cook, Alexey Gotsman, Andreas Podelski,
Andrey Rybalchenko, Moshe Vardi
Program Verification as Probabilistic Inference
Sumit Gulwani and Nebojsa Jojic
* Session 10: 11:30 - 12:30
Lock Allocation
Michael Emmi, Jeffrey Fischer, Ranjit Jhala, Rupak
Majumdar
Modular Verification of a Non-Blocking Stack
Matthew Parkinson, Richard Bornat and Peter O'Hearn
On the Analysis of Interacting Pushdown Systems
Vineet Kahlon and Aarti Gupta
* Session 11: 14:00 - 15:30
Specialization of CML message-passing primitives
John Reppy, Yingqi Xiao
Conditional Must Not Aliasing for Static Race Detection
Mayur Naik and Alex Aiken
Interprocedural Analysis of Asynchronous Programs
Ranjit Jhala, Rupak Majumdar
* Session 12: 16:00 - 17:30
Preferential Path Profiling: Compactly Numbering
Interesting Paths
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
Geometry of Synthesis: A structured approach to VLSI
design
Dan Ghica
A Semantics-Based Approach to Malware Detection
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha,
Saumya Debray