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

Volume 29, Number 1, January 2007

• Vincent Simonet, François Pottier:
  A constraint-based approach to guarded algebraic data types.
  
• Stephen M. Blackburn, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss, Ting Yang:
  Profile-based pretenuring.
  
• Milenko Drinic, Darko Kirovski, Hoi Vo:
  PPMexe: Program compression.
  
• Tomoyuki Higuchi, Atsushi Ohori:
  A static type system for JVM access control.
  
• Amir M. Ben-Amram, Chin Soon Lee:
  Program termination analysis in polynomial time.
  
• Patrick Eugster:
  Type-based publish/subscribe: Concepts and experiences.
  

Volume 29, Number 2, April 2007

• Martin P. Ward, Hussein Zedan:
  Slicing as a program transformation.
  
• Olivier Tardieu:
  A deterministic logical semantics for pure Esterel.
  
• Xiaotong Zhuang, Santosh Pande:
  Allocating architected registers through differential encoding.
  
• Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof:
  Termination analysis of logic programs through combination of type-based norms.
  
• Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind:
  Fast online pointer analysis.
  
• Jaydeep Marathe, Frank Mueller, Tushar Mohan, Sally A. McKee, Bronis R. de Supinski, Andy Yoo:
  METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies.
  
• Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
  A provenly correct translation of Fickle into Java.
  

Volume 29, Number 3, May 2007

• Martín Abadi, Jens Palsberg:
  Editorial.
  
• Andreas Podelski, Andrey Rybalchenko:
  Transition predicate abstraction and fair termination.
  
• Yichen Xie, Alex Aiken:
  Saturn: A scalable framework for error detection using Boolean satisfiability.
  
• J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt:
  Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.
  

Volume 29, Number 4, August 2007

• Han Bok Lee, Amer Diwan, J. Eliot B. Moss:
  Design, implementation, and evaluation of a compilation server.
  
• Bjorn De Sutter, Ludo Van Put, Koen De Bosschere:
  A practical interprocedural dominance algorithm.
  
• Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan:
  An efficient on-the-fly cycle collection.
  
• Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach:
  Static validation of XSL transformations.
  
• Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu:
  Mutatis Mutandis: Safe and predictable dynamic software updating.
  

Volume 29, Number 5, August 2007

• Mooly Sagiv:
  Introduction to special ESOP'05 issue.
  
• Bodil Biering, Lars Birkedal, Noah Torp-Smith:
  BI-hyperdoctrines, higher-order separation logic, and abstraction.
  
• Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
  A type discipline for authorization policies.
  
• Xavier Rival, Laurent Mauborgne:
  The trace partitioning abstract domain.
  
• Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer:
  A new foundation for control dependence and slicing for modern program structures.
  
• Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula:
  Enforcing resource bounds via static verification of dynamic checks.
  
• Markus Müller-Olm, Helmut Seidl:
  Analysis of modular arithmetic.
  

Volume 29, Number 6, October 2007

• Kathryn S. McKinley, Keshav Pingali:
  Editorial: A changing of the guard.
  
• Kohei Honda, Nobuko Yoshida:
  A uniform type structure for secure information flow.
  
• Christian Grothoff, Jens Palsberg, Jan Vitek:
  Encapsulating objects with confined types.
  
• Thomas A. Henzinger, Christoph M. Kirsch:
  The embedded machine: Predictable, portable real-time code.
  
• William Thies, Frédéric Vivien, Saman P. Amarasinghe:
  A step towards unifying schedule and storage optimization.
  
• Christian S. Collberg, Clark D. Thomborson, Gregg M. Townsend:
  Dynamic graph-based software fingerprinting.
  
• Atsushi Ohori:
  A proof theory for machine code.
  
• Kevin Casey, M. Anton Ertl, David Gregg:
  Optimizing indirect branch prediction accuracy in virtual machine interpreters.
  
• Bageshri Karkare, Uday P. Khedker:
  An improved bound for call strings based interprocedural analysis of bit vector frameworks.
  
• Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han:
  Goal-directed weakening of abstract interpretation results.