Chair: Alex Aiken, University of California, Berkeley.
Anno Domini: From Type Theory to Year-2000 Conversion Tool, Fritz Henglein, University of Copenhagen
Chair: Mark Jones, University of Nottingham.
Once Upon a Polymorphic Type, Keith Wansbrough (U. of Glasgow), Simon Peyton Jones (Microsoft Research)
Quasi-Linear Types, Naoki Kobayashi (University of Tokyo)
Improvement in a Lazy Context: An Operational Theory for Call-By-Need, Andrew Moran, David Sands (Chalmers U.)
Chair: Martin Abadi, Compaq Systems Research Center.
A Compositional Account of the Java Virtual Machine, Phillip Yelland (Sun Labs)
A Simple, Comprehensive Type System for Java Bytecode Subroutines, Robert O'Callahan (CMU)
Types for Mobile Ambients, Luca Cardelli, Andrew Gordon (Microsoft Research)
Trust and Partial Typing in Open Systems of Mobile Agents, James Riely (North Carolina State U.), Matthew Hennessy (U. of Sussex)
Chair: Hanne Nielson, Univ of Aarhus.
Parametric Shape Analysis via 3-Valued Logic, Mooly Sagiv (Tel-Aviv U.), Thomas Reps (U. of Wisconsin), Reinhard Wilhelm (U. of Saarland)
Aggregate Structure Identification and its Application to Program Analysis, G. Ramalingam, John Field, Frank Tip (IBM Research)
Relevant Context Inference, Ramkrishna Chatterjee, Barbara G. Ryder (Rutgers), William A. Landi (Siemens Research)
The Southwest Craft Center, located on the scenic River Walk, was built in the 1850's as the Ursuline Academy "for the education of young ladies of refinement." The POPL reception will take place in the chapel and gardens of the restored convent.
Chair: Mads Tofte, University of Copenhagen.
Formal verification: experiences and future prospects. David Dill, Stanford University
Chair: Benjamin Pierce, University of Pennsylvania.
A Core Calculus of Dependency, Martin Abadi (Compaq Systems Research Center), Anindya Banerjee (Stevens Inst. of Technology), Nevin Heintze, Jon Riecke (Bell Labs)
Principality and Decidable Type Inference for Finite-Rank Intersection Types, Assaf Kfoury (Boston U.), Joe Wells (Heriot-Watt U.)
Representing Layered Monads, Andrzej Filinski (U of Aarhus)
Chair: Martin Rinard, Massachusets Inst. of Technology.
Stochastic Processes as Concurrent Constraint Programs, Vineet Gupta (Caelum Research), Radha Jagadeesan (Loyola U.), Prakash Panangaden (McGill U.)
Extending the Scope of Syntactic Abstraction, Oscar Waddell (U. of Kansas), R. Kent Dybvig (Indiana U.)
Dependent Types in Practical Programming, Hongwei Xi (Oregon Graduate Institute), Frank Pfenning (CMU)
Practical Mostly-Static Information Flow Control, Andrew Myers (MIT)
Chair: Todd Proebsting, Microsoft Research.
Optimal Code Selection in DAGs, M. Anton Ertl (Technical University of Vienna)
Type-Safe Linking and Modular Assembly Language, Neal Glew, Greg Morrisett (Cornell)
Typed Memory Management in a Calculus of Capabilities, Karl Crary, David Walker, Greg Morrisett (Cornell)
Chair: Didier Remy, INRIA Rocquencourt.
Theories of Programming: Top-down and Bottom-up and Meet-in-the-middle. C. A. R. Hoare, Oxford University
Chair: Laurie Hendren, McGill University.
Type-Based Analysis of Uncaught Exceptions, Francois Pessaux, Xavier Leroy (INRIA)
Constraint Systems for Useless Variable Elimination, Mitchell Wand, Igor Siveroni (Northeastern U.)
Continuous Grammars, Martin Ruckert (SUNY New Paltz)
Software Watermarking: Models and Dynamic Embeddings, Christian Collberg, Clark Thomborson (U. of Auckland)