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 L. Knowles, Cormac Flanagan: Hybrid type checking.

Volume 32, Number 3, March 2010

• 
  Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang: Semantic foundations for typed assembly languages.
• 
  Fausto Spoto, Fred Mesnard, Étienne Payet: A termination analyzer for Java bytecode based on path-length.
• 
  Rob van Nieuwpoort, Gosia Wrzesinska, Ceriel J. H. Jacobs, Henri E. Bal: Satin: A high-level and efficient grid programming model.

Volume 32, Number 4, April 2010

• 
  Kathryn S. McKinley, Keshav Pingali: La dolce vita at TOPLAS.
• 
  Xiaotong Zhuang, Santosh Pande: An optimization framework for embedded processors with auto-addressing mode.
• 
  Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth: Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation.
• 
  Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra: Scratchpad allocation for concurrent embedded software.
• 
  Peter H. Welch, Jan Bækgaard Pedersen: Santa Claus: Formal analysis of a process-oriented solution.
• 
  Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa: Detecting bugs in register allocation.

Volume 32, Number 5, May 2010

• 
  Naoki Kobayashi, Davide Sangiorgi: A hybrid type system for lock-freedom of mobile processes.
• 
  Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neelam Gupta: Execution suppression: An automated iterative technique for locating memory errors.
• 
  Eran Yahav, Mooly Sagiv: Verifying safety properties of concurrent heap-manipulating programs.
• 
  Sven Apel, DeLesley Hutchins: A calculus for uniform feature composition.

Volume 32, Number 6, August 2010

• 
  Kathryn S. McKinley, Keshav Pingali: La prossima vita at TOPLAS.
• 
  Salvatore Ruggieri, Fred Mesnard: Typing linear constraints.
• 
  John Tang Boyland: Semantics of fractional permissions with nesting.
• 
  Gogul Balakrishnan, Thomas W. Reps: WYSINWYX: What you see is not what you eXecute.
• 
  Thomas W. Reps, Mooly Sagiv, Alexey Loginov: Finite differencing of logical formulas for static analysis.

last updated on Thu May 23 04:49:05 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page