ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32

Volume 32, Number 1, October 2009

• Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke:
  Dependence clusters in source code.
  
• Haruo Hosoya, Alain Frisch, Giuseppe Castagna:
  Parametric polymorphism for XML.
  
• Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
  An experimental analysis of self-adjusting computation.
  

Volume 32, Number 2, January 2010

• Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble:
  JavaCOP: Declarative pluggable types for java.
  
• Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
  A relational approach to interprocedural shape analysis.
  
• Kenneth W. Knowles, Cormac Flanagan:
  Hybrid type checking.