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

Volume 30, Number 1, November 2007

• Uday P. Khedker, Amitabha Sanyal, Amey Karkare:
  Heap reference analysis using access graphs.
  
• Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral:
  Forma: A framework for safe automatic array reshaping.
  
• David Binkley, Mark Harman, Jens Krinke:
  Empirical study of optimization techniques for massive slicing.
  
• David J. Pearce, Paul H. J. Kelly, Chris Hankin:
  Efficient field-sensitive pointer analysis of C.
  
• Joseph Gil, Yoav Zibin:
  Efficient dynamic dispatching with type slicing.
  
• Stephen Tse, Steve Zdancewic:
  Run-time principals in information-flow type systems.
  

Volume 30, Number 2, March 2008

• Barak A. Pearlmutter, Jeffrey Mark Siskind:
  Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator.
  
• Westley Weimer, George C. Necula:
  Exceptional situations and program reliability.
  
• Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen:
  Normalize, transpose, and distribute: An automatic approach for handling nonscalars.
  
• Tao Wang, Abhik Roychoudhury:
  Dynamic slicing on Java bytecode traces.
  
• Luigi Liquori, Arnaud Spiwack:
  FeatherTrait: A modest extension of Featherweight Java.
  

Volume 30, Number 3, May 2008

• David Monniaux:
  The pitfalls of verifying floating-point computations.
  
• Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav:
  On the complexity of partially-flow-sensitive alias analysis.
  
• Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich:
  AspectML: A polymorphic aspect-oriented functional programming language.
  
• Tachio Terauchi, Alex Aiken:
  Witnessing side effects.
  
• Amir M. Ben-Amram:
  Size-change termination with difference constraints.
  
• Zhelong Pan, Rudolf Eigenmann:
  PEAK—a fast and effective performance tuning system via compiler optimization orchestration.
  

Volume 30, Number 4, July 2008

• Michael Furr, Jeffrey S. Foster:
  Checking type safety of foreign function calls.
  
• Ondrej Lhoták, Laurie J. Hendren:
  Relations as an abstraction for BDD-based program analysis.
  
• Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer:
  Types for atomicity: Static checking and inference for Java.
  
• Andreas Gal, Christian W. Probst, Michael Franz:
  Java bytecode verification via static single assignment form.
  
• Sapan Bhatia, Charles Consel, Calton Pu:
  Remote specialization for efficient embedded operating systems.
  
• Hongbo Rong, Alban Douillet, Guang R. Gao:
  Register allocation for software pipelined multidimensional loops.
  
• Noah Torp-Smith, Lars Birkedal, John C. Reynolds:
  Local reasoning about a copying garbage collector.
  

Volume 30, Number 5, August 2008

• Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray:
  A semantics-based approach to malware detection.
  
• James Cheney, Christian Urban:
  Nominal logic programming.
  
• Tachio Terauchi, Alex Aiken:
  A capability calculus for concurrency and determinism.
  
• Joseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin:
  Two-dimensional bidirectional object layout.
  
• Mayur Naik, Jens Palsberg:
  A type system equivalent to a model checker.
  

Volume 30, Number 6, October 2008

• Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon:
  Verifying policy-based web services security.
  
• Laurence Tratt:
  Domain specific language implementation via compile-time meta-programming.
  
• Manuel Arenaz, Juan Touriño, Ramon Doallo:
  XARK: An extensible framework for automatic recognition of computational kernels.
  
• Roland Ducournau:
  Perfect hashing as an almost perfect subtype test.
  
• Joseph M. Morris, Malcolm Tyrrell:
  Dually nondeterministic functions.