POPL 1998

32 papers

1. A Functional Representation of Data Structures with a Hole · Yasuhiko Minamide
2. A Type System for Java Bytecode Subroutines · Raymie Stata, Martín Abadi
3. A Typed Language for Distributed Mobile Processes (Extended Abstract) · James Riely, Matthew Hennessy
4. Alias Analysis of Executable Code · Saumya K. Debray, Robert Muth, Matthew Weippert
5. Array SSA Form and Its Use in Parallelization · Kathleen Knobe, Vivek Sarkar
6. Barrier Inference · Alexander Aiken, David Gay
7. Bridging the Gulf: A Common Intermediate Language for ML and Haskell · Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
8. Classes and Mixins · Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
9. Correctness of Monadic State: An Imperative Call-by-Need Calculus · Zena M. Ariola, Amr Sabry
10. Data Flow Analysis is Model Checking of Abstract Interpretations · David A. Schmidt
11. Dynamic Typing as Staged Type Inference · Mark Shields, Tim Sheard, Simon L. Peyton Jones
12. Edge Profiling versus Path Profiling: The Showdown · Thomas Ball, Peter Mataga, Shmuel Sagiv
13. Escape Analysis: Correctness Proof, Implementation and Experimental Results · Bruno Blanchet
14. Fast Interprocedural Class Analysis · Greg DeFouw, David Grove, Craig Chambers
15. From Polyvariant Flow Information to Intersection and Union Types · Jens Palsberg, Christina Pavlopoulou
16. From System F to Typed Assembly Language · J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
17. Higher-Order unCurrying · John Hannan, Patrick Hicks
18. Inference of Polymorphic and Conditional Strictness Properties · Thomas P. Jensen
19. Javalight is Type-Safe - Definitely · Tobias Nipkow, David von Oheimb
20. Local Type Inference · Benjamin C. Pierce, David N. Turner
21. Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs · Christian S. Collberg, Clark D. Thomborson, Douglas Low
22. Maximal Static Expansion · Denis Barthou, Albert Cohen, Jean-Francois Collard
23. Parallel Beta Reduction is not Elementary Recursive · Andrea Asperti, Harry G. Mairson
24. Parallelization in Calculational Forms · Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
25. Path-Sensitive Value-Flow Analysis · Rastislav Bodík, Sadun Anik
26. Putting Pointer Analysis to Work · Rakesh Ghiya, Laurie J. Hendren
27. Second-Order Unification and Type Inference for Church-Style Polymorphism · Aleksy Schubert
28. Secure Information Flow in a Multi-Threaded Imperative Language · Geoffrey Smith, Dennis M. Volpano
29. Security Properties of Typed Applets · Xavier Leroy, François Rouaix
30. Single and Loving It: Must-Alias Analysis for Higher-Order Languages · Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
31. Static Typing for Dynamic Messages · Susumu Nishimura
32. The SLam Calculus: Programming with Secrecy and Integrity · Nevin Heintze, Jon G. Riecke