POPL 2000

31 papers

1. (Optimal) Duplication is not Elementary Recursive · Andrea Asperti, Paolo Coppola, Simone Martini
2. A Debate on Language and Tool Support for Design Patterns · Craig Chambers, Bill Harrison, John M. Vlissides
3. A Framework for Combining Analysis and Verification · Nevin Heintze, Joxan Jaffar, Razvan Voicu
4. A New Approach to Generic Functional Programming · Ralf Hinze
5. A Semantic Model of Types and Machine Instructions for Proof-Carrying Code · Andrew W. Appel, Amy P. Felty
6. A Type System for Dynamic Web Documents · Anders Sandholm, Michael I. Schwartzbach
7. A Type System for Expressive Security Policies · David Walker
8. Analytic Constraint Solving and Interval Arithmetic · Timothy J. Hickey
9. Anytime, Anywhere: Modal Logics for Mobile Ambients · Luca Cardelli, Andrew D. Gordon
10. Authentication Primitives and Their Compilation · Martín Abadi, Cédric Fournet, Georges Gonthier
11. Controlling Interference in Ambients · Francesca Levi, Davide Sangiorgi
12. Deciding Type Equivalence with Singleton Kinds · Christopher A. Stone, Robert Harper
13. Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs · Javier Esparza, Andreas Podelski
14. Enforcing Trace Properties by Program Transformation · Thomas Colcombet, Pascal Fradet
15. First-Class Macros have Types · Alan Bawden
16. Generalized Certificate Revocation · Carl A. Gunter, Trevor Jim
17. Implicit Parameters: Dynamic Scoping with Static Types · Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
18. Modular Refinement of Hierarchic Reactive Machines · Rajeev Alur, Radu Grosu
19. On the Complexity of Flow-Sensitive Dataflow Analyses · Robert Muth, Saumya K. Debray
20. Paths vs. Trees in Set-Based Program Analysis · Witold Charatonik, Andreas Podelski, Jean-Marc Talbot
21. Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs · Zhendong Su, Manuel Fähndrich, Alexander Aiken
22. Reducing Sweep Time for a Nearly Empty Heap · Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin
23. Resource Bound Certification · Karl Crary, Stephanie Weirich
24. Semantics-Preserving Procedure Extraction · Raghavan Komondoor, Susan Horwitz
25. Shape Analysis for Mobile Ambients · Hanne Riis Nielson, Flemming Nielson
26. Sparse Code Motion · Oliver Rüthing, Jens Knoop, Bernhard Steffen
27. Temporal Abstract Interpretation · Patrick Cousot, Radhia Cousot
28. Transforming Out Timing Leaks · Johan Agat
29. Type Elaboration and Subtype Completion for Java Bytecode · Todd B. Knoblock, Jakob Rehof
30. Type Systems for Distributed Data Structures · Ben Liblit, Alexander Aiken
31. Verifying Secrets and Relative Secrecy · Dennis M. Volpano, Geoffrey Smith