POPL 2007

39 papers

1. A complete, co-inductive syntactic theory of sequential control and state · Kristian Støvring, Søren B. Lassen
2. A semantics-based approach to malware detection · Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
3. A typed intermediate language for compiling multiple inheritance · Juan Chen
4. A very modal model of a modern, major, general type system · Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon
5. Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter · Chet Murthy
6. Assessing security threats of looping constructs · Pasquale Malacaria
7. Compositional dynamic test generation · Patrice Godefroid
8. Conditional must not aliasing for static race detection · Mayur Naik, Alex Aiken
9. Context logic as modal logic: completeness and parametric inexpressivity · Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
10. Cork: dynamic memory leak detection for garbage-collected languages · Maria Jump, Kathryn S. McKinley
11. Dynamic heap type inference for program understanding and debugging · Marina Polishchuk, Ben Liblit, Chloë W. Schulze
12. Extracting queries by static analysis of transparent persistence · Ben Wiedermann, William R. Cook
13. First-class nonstandard interpretations by opening closures · Jeffrey Mark Siskind, Barak A. Pearlmutter
14. From implementation to theory in product synthesis · Don S. Batory
15. Generative unbinding of names · Andrew M. Pitts, Mark R. Shinwell
16. Geometry of synthesis: a structured approach to VLSI design · Dan R. Ghica
17. Interprocedural analysis of asynchronous programs · Ranjit Jhala, Rupak Majumdar
18. JavaScript instrumentation for browser security · Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
19. Lazy multivariate higher-order forward-mode AD · Barak A. Pearlmutter, Jeffrey Mark Siskind
20. Lightweight fusion by fixed point promotion · Atsushi Ohori, Isao Sasano
21. Locality approximation using time · Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding
22. Lock allocation · Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
23. Logic-flow analysis of higher-order programs · Matthew Might
24. Modular type classes · Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
25. Modular verification of a non-blocking stack · Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn
26. On the analysis of interacting pushdown systems · Vineet Kahlon, Aarti Gupta
27. Operational semantics for multi-language programs · Jacob Matthews, Robert Bruce Findler
28. PADS/ML: a functional data description language · Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer
29. Perl 6: reconciling the irreconcilable · Audrey Tang
30. Preferential path profiling: compactly numbering interesting paths · Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
31. Program verification as probabilistic inference · Sumit Gulwani, Nebojsa Jojic
32. Proving that programs eventually do something good · Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi
33. Scrap your boilerplate with XPath-like combinators · Ralf Lämmel
34. Secure implementations of typed channel abstractions · Michele Bugliesi, Marco Giunti
35. Semantics of static pointcuts in aspectJ · Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble + 1 more
36. Specialization of CML message-passing primitives · John H. Reppy, Yingqi Xiao
37. Towards a mechanized metatheory of standard ML · Daniel K. Lee, Karl Crary, Robert Harper
38. Types, bytes, and separation logic · Harvey Tuch, Gerwin Klein, Michael Norrish
39. Variance analyses from invariance analyses · Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn