Volume 33, Number 1, January 2011

• 
  Jens Palsberg: Editorial. 1
• 
  Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard: Semantics of transactional memory and automatic mutual exclusion. 2
• 
  Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: LOCKSMITH: Practical static race detection for C. 3
• 
  John Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanically verified proof obligations for linearizability. 4
• 
  Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii: Environmental bisimulations for higher-order languages. 5

Volume 33, Number 2, January 2011

• 
  Shan Shan Huang, Yannis Smaragdakis: Morphing: Structurally shaping a class by reflecting on others. 6
• 
  Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann: Automated termination proofs for haskell by term rewriting. 7
• 
  Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement types for secure implementations. 8

Volume 33, Number 3, April 2011

• 
  Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter: Refactoring using type constraints. 9
• 
  Utpal Banerjee: Mathematical foundation of trace scheduling. 10
• 
  Thomas Martin Gawlitza, Helmut Seidl: Solving systems of rational equations through strategy iteration. 11

Volume 33, Number 4, July 2011

• 
  Stefan Wehr, Peter Thiemann: JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. 12
• 
  Gilles Barthe, César Kunz: An Abstract Model of Certificate Translation. 13
• 
  Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: A Theory of Synchronous Relational Interfaces. 14

Volume 33, Number 5, November 2011

• 
  Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: Software model checking using languages of nested trees. 15
• 
  Christos Dimoulas, Matthias Felleisen: On contract satisfaction in a higher-order world. 16
• 
  Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori: Bottom-up shape analysis using LISF. 17

Volume 33, Number 6, December 2011

• 
  Jens Palsberg: Editorial note. 18
• 
  Mingsheng Ying: Floyd-hoare logic for quantum programs. 19
• 
  Werner Dietl, Sophia Drossopoulou, Peter Müller: Separating ownership topology and encapsulation with generic universe types. 20
• 
  Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl: Fast interprocedural linear two-variable equalities. 21

last updated on Fri May 24 06:42:34 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page