POPL 1996

34 papers

1. A General Approach for Run-Time Specialization and its Application to C · Charles Consel, François Noël
2. A Modal Analysis of Staged Computation · Rowan Davies, Frank Pfenning
3. A Practical and Flexible Flow Analysis for Higher-Order Languages · J. Michael Ashley
4. A Provably Time-Efficient Parallel Implementation of Full Speculation · John Greiner, Guy E. Blelloch
5. An Interpretation of Objects and Object Types · Martín Abadi, Luca Cardelli, Ramesh Viswanathan
6. Bisimilarity for a First-Order Calculus of Objects with Subtyping · Andrew D. Gordon, Gareth D. Rees
7. C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation · Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
8. Composing Processes · Kohei Honda
9. Concurrent Haskell · Simon L. Peyton Jones, Andrew D. Gordon, Sigbjørn Finne
10. Discovering Auxiliary Information for Incremental Computation · Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
11. Faster Checking of Software Specifications by Eliminating Isomorphs · Daniel Jackson, Somesh Jha, Craig Damon
12. Filter Fusion · Todd A. Proebsting, Scott A. Watterson
13. From Region Inference to von Neumann Machines via Region Representation Inference · Lars Birkedal, Mads Tofte, Magnus Vejlstrup
14. Functional Computation as Concurrent Computation · Joachim Niehren
15. Generating Machine Specific Optimizing Compilers · Roger Hoover, F. Kenneth Zadeck
16. Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C · Rakesh Ghiya, Laurie J. Hendren
17. Iterated Register Coalescing · Lal George, Andrew W. Appel
18. Linearity and the Pi-Calculus · Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
19. Minimum Cost Interprocedural Register Allocation · Steven M. Kurlander, Charles N. Fischer
20. On the Complexity of Beta-Reduction · Andrea Asperti
21. Optimization and Relaxation in Constraint Logic Languages · Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
22. Points-to Analysis in Almost Linear Time · Bjarne Steensgaard
23. Proving the Correctness of Reactive Systems Using Sized Types · John Hughes, Lars Pareto, Amr Sabry
24. Pure versus Impure LISP · Nicholas Pippenger
25. Putting Type Annotations to Work · Martin Odersky, Konstantin Läufer
26. Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) · Leonidas Fegaras, Tim Sheard
27. Solving Shape-Analysis Problems in Languages with Destructive Updating · Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
28. Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs · Manish Gupta, Edith Schonberg
29. The Reflexive CHAM and the Join-Calculus · Cédric Fournet, Georges Gonthier
30. Trace-Based Program Analysis · Christopher Colby, Peter Lee
31. Type-Directed Partial Evaluation · Olivier Danvy
32. Typed Closure Conversion · Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
33. Using Parameterized Signatures to Express Modular Structure · Mark P. Jones
34. What Are Principal Typings and What Are They Good For? · Trevor Jim