34. POPL 2007: Nice, France

Martin Hofmann, Matthias Felleisen (Eds.): Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM 2007, ISBN 1-59593-575-4 BibTeX

Keynote session

Audrey Tang:
Perl 6: reconciling the irreconcilable. 1
Electronic Edition (ACM DL) BibTeX

Session 1

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

Session 2

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

Session 3

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

Session 4

Harvey Tuch, Gerwin Klein, Michael Norrish:
Types, bytes, and separation logic. 97-108
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
Context logic as modal logic: completeness and parametric inexpressivity. 123-134
Electronic Edition (ACM DL) BibTeX

Keynote session

Don S. Batory:
From implementation to theory in product synthesis. 135-136
Electronic Edition (ACM DL) BibTeX

Session 6

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

Session 7

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

Session 8

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

Session 9

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

Keynote session

Chet Murthy:
Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. 263-264
Electronic Edition (ACM DL) BibTeX

Session 10

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

Session 11

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

Session 12

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

Session 13

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