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.

last updated on Sat May 18 06:48:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page