default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th POPL 2007: Nice, France
- Martin Hofmann, Matthias Felleisen:
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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-06 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
