22. POPL 1995: San Francisco, California

Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, January 23-25, 1995. ACM Press, New York, 1995, ISBN 0-89791-692-1

Held along with two workshops on January 22:
IR'95 Workshop on Intermediate Representations
SIPL'95 Workshop on State in Programming Languages

POPL 95 Server in Seattle

Session 1

• Jon G. Riecke, Ramesh Viswanathan: Isolating Side Effects in Sequential Languages. 1-12 BibTeX
• Stephen D. Brookes, Denis Dancanet: Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. 13-24 BibTeX
• John C. Reynolds: Using Functor Categories to Generate Intermediate Code. 25-36 BibTeX

Session 2

• Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: Demand-driven Computation of Interprocedural Data Flow. 37-48 BibTeX
• Thomas W. Reps, Susan Horwitz, Shmuel Sagiv: Precise Interprocedural Dataflow Analysis via Graph Reachability. 49-61 BibTeX
• Vugranam C. Sreedhar, Guang R. Gao: A Linear Time Algorithm for Placing phi-nodes. 62-73 BibTeX
• Rita Altucher, William Landi: An Extended Form of Must Alias Analysis for Dynamic Allocation. 74-84 BibTeX

Session 3

• E. Allen Emerson, Kedar S. Namjoshi: Reasoning about Rings. 85-94 BibTeX
• Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: Verifying Infinite State Processes with Sequential and Parallel Composition. 95-106 BibTeX
• Bard Bloom: Structured Operational Semantics as a Specification Language. 107-117 BibTeX

Session 4

• Catherine Dubois, François Rouaix, Pierre Weis: Generic Polymorphism. 118-129 BibTeX
• Robert Harper, J. Gregory Morrisett: Compiling Polymorphism Using Intensional Type Analysis. 130-141 BibTeX
• Xavier Leroy: Applicative Functors and Fully Transparent Higher-Order Modules. 142-153 BibTeX
• Sandip K. Biswas: Higher-Order Functors with Transparent Signatures. 154-163 BibTeX

Session 5

• Sergei G. Vorobyov: Structural Decidable Extensions of Bounded Quantification. 164-175 BibTeX
• My Hoang, John C. Mitchell: Lower Bounds on Type Inference with Subtypes. 176-185 BibTeX
• Martin Hofmann, Benjamin C. Pierce: Positive Subtyping. 186-197 BibTeX

Session 6

• Ian Mackie: The Geometry of Interaction Machine. 198-208 BibTeX
• Cormac Flanagan, Matthias Felleisen: The Semantics of Future and Its Use in Program Optimizations. 209-220 BibTeX
• David Sands: Total Correctness by Local Improvement in Program Transformation. 221-232 BibTeX , long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996) BibTeX
• Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. 233-246 BibTeX

Session 7

• Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Terrance Swift, David Scott Warren: Unification Factoring for Efficient Execution of Logic Programs. 247-258 BibTeX
• Klaus E. Schauser, David E. Culler, Seth Copen Goldstein: Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads. 259-271 BibTeX
• Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Default Timed Concurrent Constraint Programming. 272-285 BibTeX

Session 8

• Luca Cardelli: A Language with Distributed Scope. 286-297 BibTeX
• Mark W. Bailey, Jack W. Davidson: A Formal Model of Procedure Calling Conventions. 298-310 BibTeX
• John Plevyak, Xingbin Zhang, Andrew A. Chien: Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. 311-321 BibTeX
• Todd A. Proebsting: Optimizing an ANSI C Interpreter with Superoperators. 322-332 BibTeX

Session 9

• Sheng Liang, Paul Hudak, Mark P. Jones: Monad Transformers and Modular Interpreters. 333-343 BibTeX
• David J. King, John Launchbury: Structuring Depth-First Search Algorithms in Haskell. 344-354 BibTeX
• Patrick M. Sansom, Simon L. Peyton Jones: Time and Space Profiling for Non-Strict Higher-Order Functional Languages. 355-366 BibTeX

Session 10

• Jens Palsberg, Patrick O'Keefe: A Type System Equivalent to Flow Analysis. 367-378 BibTeX , long version: TOPLAS 17(4): 576-599 (1995)
• John Field, G. Ramalingam, Frank Tip: Parametric Program Slicing. 379-392 BibTeX
• Suresh Jagannathan, Stephen Weeks: A Unified Treatment of Flow Analysis in Higher-Order Languages. 393-407 BibTeX

Corrigendum

• Giuseppe Castagna, Benjamin C. Pierce: Corrigendum: Decidable Bounded Quantification. 408 BibTeX