POPL 2003

25 papers

1. A generic approach to the static analysis of concurrent programs with procedures · Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2. A real-time garbage collector with low overhead and consistent utilization · David F. Bacon, Perry Cheng, V. T. Rajan
3. A type system for higher-order modules · Derek Dreyer, Karl Crary, Robert Harper
4. A type theory for memory allocation and data layout · Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
5. Bigraphs and transitions · Ole Høgh Jensen, Robin Milner
6. Bitwidth aware global register allocation · Sriraman Tallam, Rajiv Gupta
7. Coercive subtyping for the calculus of constructions · Gang Chen
8. Destructors, finalizers, and synchronization · Hans-Juergen Boehm
9. Discovering affine equalities using random interpretation · Sumit Gulwani, George C. Necula
10. Efficient algorithms for isomorphisms of simple types · Yoav Zibin, Joseph Gil, Jeffrey Considine
11. Environment classifiers · Walid Taha, Michael Florentin Nielsen
12. Folklore confirmed: reducible flow graphs are exponentially larger · Larry Carter, Jeanne Ferrante, Clark D. Thomborson
13. From control effects to typed continuation passing · Hayo Thielecke
14. From symptom to cause: localizing errors in counterexample traces · Thomas Ball, Mayur Naik, Sriram K. Rajamani
15. Guarded recursive datatype constructors · Hongwei Xi, Chiyan Chen, Gang Chen
16. Incremental algorithms for dispatching in dynamically typed languages · Yoav Zibin, Joseph Gil
17. Interprocedural compatibility analysis for static object preallocation · Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard
18. New results on the computability and complexity of points - to analysis · Venkatesan T. Chakaravarthy
19. Ownership types for object encapsulation · Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
20. Pure patterns type systems · Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
21. Selective memoization · Umut A. Acar, Guy E. Blelloch, Robert Harper
22. Static prediction of heap space usage for first-order functional programs · Martin Hofmann, Steffen Jost
23. The essence of XML · Jérôme Siméon, Philip Wadler
24. The m-calculus: a higher-order distributed process calculus · Alan Schmitt, Jean-Bernard Stefani
25. Toward a foundational typed assembly language · Karl Crary