29. POPL 2002: Portland, OR, USA

• Thomas Ball, Sriram K. Rajamani:
  The SLAM project: debugging system software via static analysis. 1-3
  Electronic Edition (ACM DL) BibTeX
• Glenn Ammons, Rastislav Bodík, James R. Larus:
  Mining specifications. 4-16
  Electronic Edition (ACM DL) BibTeX
• Viktor Kuncak, Patrick Lam, Martin C. Rinard:
  Role analysis. 17-32
  Electronic Edition (ACM DL) BibTeX
• Martín Abadi, Bruno Blanchet:
  Analyzing security protocols with secrecy types and logic programs. 33-44
  Electronic Edition (ACM DL) BibTeX
• Sagar Chaki, Sriram K. Rajamani, Jakob Rehof:
  Types as models: model checking message-passing programs. 45-57
  Electronic Edition (ACM DL) BibTeX
• Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
  Lazy abstraction. 58-70
  Electronic Edition (ACM DL) BibTeX
• Massimo Merro, Matthew Hennessy:
  Bisimulation congruences in safe ambients. 71-80
  Electronic Edition (ACM DL) BibTeX
• Kohei Honda, Nobuko Yoshida:
  A uniform type structure for secure information flow. 81-92
  Electronic Edition (ACM DL) BibTeX
• Hans-Juergen Boehm:
  Bounding space usage of conservative garbage collectors. 93-100
  Electronic Edition (ACM DL) BibTeX
• Erez Petrank, Dror Rawitz:
  The hardness of cache conscious data placement. 101-112
  Electronic Edition (ACM DL) BibTeX
• Matthai Philipose, Craig Chambers, Susan J. Eggers:
  Towards automatic construction of staged compilers. 113-125
  Electronic Edition (ACM DL) BibTeX
• Matthias Felleisen:
  From POPL to the classroom and back. 126-127
  Electronic Edition (ACM DL) BibTeX
• George C. Necula, Scott McPeak, Westley Weimer:
  CCured: type-safe retrofitting of legacy code. 128-139
  Electronic Edition (ACM DL) BibTeX
• Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi:
  An efficient profile-analysis framework for data-layout optimizations. 140-153
  Electronic Edition (ACM DL) BibTeX
• Norman Ramsey, Avi Pfeffer:
  Stochastic lambda calculus and monads of probability distributions. 154-165
  Electronic Edition (ACM DL) BibTeX
• Anindya Banerjee, David A. Naumann:
  Representation independence, confinement and access control [extended abstract]. 166-177
  Electronic Edition (ACM DL) BibTeX
• Patrick Cousot, Radhia Cousot:
  Systematic design of program transformation frameworks by abstract interpretation. 178-190
  Electronic Edition (ACM DL) BibTeX
• Cormac Flanagan, Shaz Qadeer:
  Predicate abstraction for software verification. 191-202
  Electronic Edition (ACM DL) BibTeX
• Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen:
  The first-order theory of subtyping constraints. 203-216
  Electronic Edition (ACM DL) BibTeX
• Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou:
  A type system for certified binaries. 217-232
  Electronic Edition (ACM DL) BibTeX
• Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber:
  Functional logic overloading. 233-244
  Electronic Edition (ACM DL) BibTeX
• Rajit Manohar:
  Scalable formal design methods for asynchronous VLSI. 245-246
  Electronic Edition (ACM DL) BibTeX
• Umut A. Acar, Guy E. Blelloch, Robert Harper:
  Adaptive functional programming. 247-259
  Electronic Edition (ACM DL) BibTeX
• Martin Hofmann:
  The strength of non-size increasing computation. 260-269
  Electronic Edition (ACM DL) BibTeX
• Sorin Lerner, David Grove, Craig Chambers:
  Composing dataflow analyses and transformations. 270-282
  Electronic Edition (ACM DL) BibTeX
• David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
  Proving correctness of compiler optimizations by temporal logic. 283-294
  Electronic Edition (ACM DL) BibTeX
• Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh:
  Exploiting prolific types for memory management and optimizations. 295-306
  Electronic Edition (ACM DL) BibTeX
• Cédric Fournet, Andrew D. Gordon:
  Stack inspection: theory and variants. 307-318
  Electronic Edition (ACM DL) BibTeX
• François Pottier, Vincent Simonet:
  Information flow inference for ML. 319-330
  Electronic Edition (ACM DL) BibTeX
• Atsushi Igarashi, Naoki Kobayashi:
  Resource usage analysis. 331-342
  Electronic Edition (ACM DL) BibTeX