[Prev][Next][Index][Thread]
POPL '00, List of accepted papers
The 27th Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
Boston, Massachusetts, January 19-21, 2000
List of Accepted Papers
-----------------------------------------------------------------
Paper: Efficient Algorithms for pre* and post*
on Interprocedural Parallel Flow Graphs
By: Javier Esparza and Andreas Podelski
-----------------------------------------------------------------
Paper: Resource Bound Certification
By: Karl Crary, Stephanie Weirich
-----------------------------------------------------------------
Paper: Type Systems for Distributed Data Structures
By: Ben Liblit and Alexander Aiken
-----------------------------------------------------------------
Paper: Shape Analysis for Mobile Ambients
By: Hanne Riis Nielson and Flemming Nielson
-----------------------------------------------------------------
Paper: Controlling Interference in Ambients
By: Francesca Levi and Davide Sangiorgi
-----------------------------------------------------------------
Paper: Transforming out Timing Leaks
By: Johan Agat
-----------------------------------------------------------------
Paper: Decidable Type Equivalence with Singleton Kinds
By: Christopher A. Stone and Robert Harper
-----------------------------------------------------------------
Paper: A Semantic Model of Types and Machine Instructions
for Proof-Carrying Code
By: Andrew W. Appel and Amy P. Felty
-----------------------------------------------------------------
Paper: On the Complexity of Flow-Sensitive Dataflow Analyses
By: Robert Muth and Saumya Debray
-----------------------------------------------------------------
Paper: Set-based vs. Path-based Type Checking
for Logic Programs
By: Witold Charatonik, Andreas Podelski, and Jean-Marc Talbot
-----------------------------------------------------------------
Paper: A Type System for Dynamic Web Documents
By: Anders Sandholm and Michael I. Schwartzbach
-----------------------------------------------------------------
Paper: Semantics-Preserving Procedure Extraction
By: Raghavan Komondoor and Susan Horwitz
-----------------------------------------------------------------
Paper: Implicit Parameters: Dynamic Scoping with Static Types
By: Jeffrey R. Lewis and John Launchbury and Erik Meijer and
Mark B. Shields
-----------------------------------------------------------------
Paper: Sparse Code Motion
By: Oliver Ruething, Jens Knoop, Bernhard Steffen
-----------------------------------------------------------------
Paper: Modular Refinement of Hierarchic Reactive Machines
By: Rajeev Alur, Radu Grosu
-----------------------------------------------------------------
Paper: (Optimal) duplication is not elementary recursive
By: Andrea Asperti, Paolo Coppola, Simone Martini
-----------------------------------------------------------------
Paper: Verifying Secrets and Conditional Secrecy
By: Dennis Volpano and Geoffrey Smith
-----------------------------------------------------------------
Paper: A Type System for Expressive Security Policies
By: David Walker
-----------------------------------------------------------------
Paper: Enforcing Trace Properties by Program Transformation
By: Thomas Colcombet and Pascal Fradet
-----------------------------------------------------------------
Paper: Analytic Constraint Solving and Interval Arithmetic
By: Timothy J. Hickey
-----------------------------------------------------------------
Paper: Temporals Abstract Interpretation
By: Patrick Cousot and Radhia Cousot
-----------------------------------------------------------------
Paper: First-class Macros Have Types
By: Alan Bawden
-----------------------------------------------------------------
Paper: Generalized Certificate Revocation
By: Carl A. Gunter and Trevor Jim
-----------------------------------------------------------------
Paper: Type Elaboration and Subtype Completion for Java Bytecode
By: Todd Knoblock and Jakob Rehof
-----------------------------------------------------------------
Paper: Projection Merging: Reducing Redundancies
in Inclusion Constraint Graphs
By: Zhendong Su, Manuel Fahndrich, Alexander Aiken
-----------------------------------------------------------------
Paper: A New Approach to Generic Functional Programming
By: Ralf Hinze
-----------------------------------------------------------------
Paper: Authentication primitives and their compilation
By: Martin Abadi, Cedric Fournet, Georges Gonthier
-----------------------------------------------------------------
Paper: Anytime, Anywhere: Modal Logics for Mobile Ambients
By: Luca Cardelli and Andrew D. Gordon
-----------------------------------------------------------------
Paper: A Framework for Combining Analysis and Verification
By: Nevin Heintze, Joxan Jaffar and Razvan Voicu
-----------------------------------------------------------------
Paper: Reducing Sweep Time for a Nearly Empty Heap
By: Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, and Dan Sahlin
-----------------------------------------------------------------
Debate: Language-Tools-Patterns <=> Rock-Scissors-Paper, or
Does One Dominate?
By: Craig Chambers, Bill Harrison, John Vlissides