28. POPL 2001: London, UK

• John C. Mitchell:
  Programming language methods in computer security. 1-3
  
• Davide Sangiorgi: Extensionality and Intensionality of the Ambient Logics. 4-13
• Samin S. Ishtiaq, Peter W. O'Hearn: BI as an Assertion Language for Mutable Data Structures. 14-26
• Eran Yahav:
  Verifying safety properties of concurrent Java programs using 3-valued logic. 27-40
  
• Martin Odersky, Christoph Zenger, Matthias Zenger:
  Colored local type inference. 41-53
  
• Jakob Rehof, Manuel Fähndrich:
  Type-base flow analysis: from polymorphic subtyping to CFL-reachability. 54-66
  
• Haruo Hosoya, Benjamin C. Pierce:
  Regular expression pattern matching for XML. 67-80
  
• Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram:
  The size-change principle for program termination. 81-92
  
• David Monniaux:
  An abstract Monte-Carlo method for the analysis of probabilistic programs. 93-101
  
• Harald Ganzinger:
  Efficient deductive methods for program analysis. 102-103
  
• Martín Abadi, Cédric Fournet:
  Mobile values, new names, and secure communication. 104-115
  
• Asis Unyapoth, Peter Sewell:
  Nomadic pict: correct communication infrastructure for mobile computation. 116-127
  
• Atsushi Igarashi, Naoki Kobayashi:
  A generic type system for the Pi-calculus. 128-141
  
• George C. Necula, Shree Prakash Rahul:
  Oracle-based checking of untrusted software. 142-154
  
• Cristiano Calcagno:
  Stratified operational semantics for safety and correctness of the region calculus. 155-165
  
• Daniel C. Wang, Andrew W. Appel:
  Type-preserving garbage collectors. 166-178
  
• Mahmut T. Kandemir:
  A compiler technique for improving whole-program locality. 179-192
  
• Cormac Flanagan, James B. Saxe:
  Avoiding exponential explosion: generating compact verification conditions. 193-205
  
• Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter:
  What packets may come: automata for network monitoring. 206-219
  
• Robin Milner:
  Computational flux. 220-221
  
• Michele Bugliesi, Giuseppe Castagna:
  Secure safe ambients. 222-235
  
• Peter Sewell:
  Modules, abstract types, and distributed versioning. 236-247
  
• Andrew D. Gordon, Don Syme:
  Typing a multi-language intermediate code. 248-260
  
• Mark Shields, Erik Meijer:
  Type-indexed rows. 261-275
  
• Joseph Gil:
  Subtyping arithmetical types. 276-289
  
• Jerome Vouillon:
  Combining subsumption and binary methods: an object calculus with views. 290-303