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
Keynote session
- Audrey Tang: Perl 6: reconciling the irreconcilable. 1
Session 1
- 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
Session 3
- 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
Session 4
- 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
Session 7
- Kristian Støvring, Søren B. Lassen: A complete, co-inductive syntactic theory of sequential control and state. 161-172
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
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
Session 11
- Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn: Modular verification of a non-blocking stack. 297-302
Session 12
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team