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.
  Electronic Edition (ACM DL) BibTeX
• Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral:
  Forma: A framework for safe automatic array reshaping.
  Electronic Edition (ACM DL) BibTeX
• David Binkley, Mark Harman, Jens Krinke:
  Empirical study of optimization techniques for massive slicing.
  Electronic Edition (ACM DL) BibTeX
• David J. Pearce, Paul H. J. Kelly, Chris Hankin:
  Efficient field-sensitive pointer analysis of C.
  Electronic Edition (ACM DL) BibTeX
• Joseph Gil, Yoav Zibin:
  Efficient dynamic dispatching with type slicing.
  Electronic Edition (ACM DL) BibTeX
• Stephen Tse, Steve Zdancewic:
  Run-time principals in information-flow type systems.
  Electronic Edition (ACM DL) BibTeX

Volume 30, Number 2, March 2008

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