29. POPL 2002: Portland, OR, USA

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

Last update Sat May 18 19:35:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page