34. POPL 2007: Nice, France

Keynote session

• Audrey Tang:
  Perl 6: reconciling the irreconcilable. 1
  

Session 1

• Jacob Matthews, Robert Bruce Findler:
  Operational semantics for multi-language programs. 3-10
  
• Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere:
  Semantics of static pointcuts in aspectJ. 11-23
  
• Juan Chen:
  A typed intermediate language for compiling multiple inheritance. 25-30
  

Session 2

• Maria Jump, Kathryn S. McKinley:
  Cork: dynamic memory leak detection for garbage-collected languages. 31-38
  
• Marina Polishchuk, Ben Liblit, Chloë W. Schulze:
  Dynamic heap type inference for program understanding and debugging. 39-46
  
• Patrice Godefroid:
  Compositional dynamic test generation. 47-54
  
• Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding:
  Locality approximation using time. 55-61
  

Session 3

• Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller:
  Modular type classes. 63-70
  
• Jeffrey Mark Siskind, Barak A. Pearlmutter:
  First-class nonstandard interpretations by opening closures. 71-76
  
• Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer:
  PADS/ML: a functional data description language. 77-83
  
• Andrew M. Pitts, Mark R. Shinwell:
  Generative unbinding of names. 85-95
  

Session 4

• Harvey Tuch, Gerwin Klein, Michael Norrish:
  Types, bytes, and separation logic. 97-108
  
• Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon:
  A very modal model of a modern, major, general type system. 109-122
  
• Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
  Context logic as modal logic: completeness and parametric inexpressivity. 123-134
  

Keynote session

• Don S. Batory:
  From implementation to theory in product synthesis. 135-136
  

Session 6

• Ralf Lämmel:
  Scrap your boilerplate with XPath-like combinators. 137-142
  
• Atsushi Ohori, Isao Sasano:
  Lightweight fusion by fixed point promotion. 143-154
  
• Barak A. Pearlmutter, Jeffrey Mark Siskind:
  Lazy multivariate higher-order forward-mode AD. 155-160
  

Session 7

• Kristian Støvring, Søren B. Lassen:
  A complete, co-inductive syntactic theory of sequential control and state. 161-172
  
• Daniel K. Lee, Karl Crary, Robert Harper:
  Towards a mechanized metatheory of standard ML. 173-184
  

Session 8

• Matthew Might:
  Logic-flow analysis of higher-order programs. 185-198
  
• Ben Wiedermann, William R. Cook:
  Extracting queries by static analysis of transparent persistence. 199-210
  
• Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn:
  Variance analyses from invariance analyses. 211-224
  

Session 9

• Pasquale Malacaria:
  Assessing security threats of looping constructs. 225-235
  
• Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov:
  JavaScript instrumentation for browser security. 237-249
  
• Michele Bugliesi, Marco Giunti:
  Secure implementations of typed channel abstractions. 251-262
  

Keynote session

• Chet Murthy:
  Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. 263-264
  

Session 10

• Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi:
  Proving that programs eventually do something good. 265-276
  
• Sumit Gulwani, Nebojsa Jojic:
  Program verification as probabilistic inference. 277-289
  

Session 11

• Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar:
  Lock allocation. 291-296
  
• Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn:
  Modular verification of a non-blocking stack. 297-302
  
• Vineet Kahlon, Aarti Gupta:
  On the analysis of interacting pushdown systems. 303-314
  

Session 12

• John H. Reppy, Yingqi Xiao:
  Specialization of CML message-passing primitives. 315-326
  
• Mayur Naik, Alex Aiken:
  Conditional must not aliasing for static race detection. 327-338
  
• Ranjit Jhala, Rupak Majumdar:
  Interprocedural analysis of asynchronous programs. 339-350
  

Session 13

• Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi:
  Preferential path profiling: compactly numbering interesting paths. 351-362
  
• Dan R. Ghica:
  Geometry of synthesis: a structured approach to VLSI design. 363-375
  
• Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray:
  A semantics-based approach to malware detection. 377-388