Papers

• Christian Haack and Erik Poll
  Type-based Object Immutability with Flexible Initialization
  Abstract, Slides
  23rd European Conference on Object-Oriented Programming (ECOOP), LNCS 5653, pg. 520--545, Springer Verlag, July 2009, available online.
  Long version: Technical report ICIS-R09001, Radboud University Nijmegen, January 2009, available online.
• Christian Haack and Clement Hurlin
  Resource Usage Protocols for Iterators
  Abstract
  Journal of Object Technology (Special Issue: Workshop FTFJP and IWACO at ECOOP 08), 8(4):55--83, June 2009, available online.
• Christian Haack, Marieke Huisman and Clement Hurlin
  Reasoning about Java's Reentrant Locks
  Abstract
  6th Asian Symposium on Programming Languages and Systems (APLAS), LNCS 5356, pg. 171--187, Springer Verlag, December 2008, available online.
  Long version: Technical report ICIS-R08014, Radboud University Nijmegen, July 2008, available online.
• Christian Haack, Erik Poll and Aleksy Schubert
  Explicit Information Flow Properties in JML
  Abstract
  3rd Benelux Workshop on Information and System Security (WISSec), November 2008, available online.
• Christian Haack and Clement Hurlin
  Separation Logic Contracts for a Java-like Language with Fork/Join
  Abstract, Slides
  12th International Conference on Algebraic Methodology and Software Technology (AMAST), LNCS 5140, pg. 199--215, Springer Verlag, July 2008, available online.
  Long version: Technical report 6430, INRIA, January 2008, available online.
• Christian Haack and Clement Hurlin
  Resource Usage Protocols for Iterators
  Abstract, Slides
  International Workshop on Aliasing, Ownership and Confinement (IWACO) co-located with ECOOP, July 2008, available online.
• Christian Haack, Erik Poll, Jan Schäfer and Aleksy Schubert
  Immutable Objects for a Java-like Language
  Abstract, Slides
  16th European Symposium on Programming (ESOP), LNCS 4421, pg. 347--362, Springer Verlag, March 2007, available online.
  Best Theory Paper Award at ETAPS 2007.
  Extended version with additional examples and proofs: Technical report ICIS-R07009, Radboud University Nijmegen, April 2007, available online.
  An earlier informal paper: Technical report ICIS-R06010, Radboud University Nijmegen, April 2006, available online.
• Christian Haack and Alan Jeffrey
  Pattern-Matching Spi-Calculus
  Abstract, The Cryptographic Protocol Type Checker CRYPTYC
  Information and Computation, 204:1195--1263, Elsevier, August 2006, available online.
• Christian Haack and Alan Jeffrey
  Timed Spi-Calculus with Types for Secrecy and Authenticity
  Abstract, Slides
  16th Int. Conf. on Concurrency Theory (CONCUR), LNCS 3653, pg. 202--216, Springer Verlag, August 2005, available online.
• Christian Haack and Alan Jeffrey
  Pattern-Matching Spi-Calculus
  Abstract, Slides
  Proc. of 2nd IFIP Workshop on Formal Aspects in Security and Trust (FAST), Vol. 173 of IFIP series, pg. 55--70, Kluwer Academic Press, August 2004, available online.
• Christian Haack and Joe Wells
  Type Error Slicing in Implicitly Typed Higher-Order Languages
  Abstract, Prototype Implementation for MiniML
  Science of Computer Programming, 50:189--224, Elsevier, March 2004, available online.
• Christian Haack and Joe Wells
  Type Error Slicing in Implicitly Typed Higher-Order Languages
  Abstract, Slides
  Proc. of 12th European Symposium on Programming (ESOP), LNCS 2618, pg. 284--301, Springer Verlag, April 2003, available online.
• Christian Haack, Brian Howard, Alley Stoughton and Joe Wells
  Fully Automatic Adaptation of Software Components Based on Semantic Specifications
  Abstract, Slides
  Proc. of 9th Int. Conf. on Algebraic Methodology and Software Technology (AMAST), LNCS 2422, pg. 83--98, Springer-Verlag, September 2002, available online.
• Joe Wells and Christian Haack
  Branching Types
  Abstract, Slides
  Proc. of 11th European Symposium on Programming (ESOP), LNCS 2305, pg. 115--132, Springer Verlag, April 2002, available online.
  Draft for long version accepted by "Information and Computation" subject to revision.
• Christian Haack
  Foundations for a Tool for the Automatic Adaptation of Software Components Based on Semantic Specifications
  Abstract, Proposal
  PhD Dissertation, Kansas State University, September 2001, available online.
• Christian Haack
  A Decomposition Theorem for Domains
  Information and Computation, 124(1):62--67, Elsevier, January 1996, available online.
• Christian Haack
  Die Hyperlimeskonstruktion
  Diplom Thesis, Technical University Darmstadt, August 1993, available online.

Last modified: May 26, 2011
Christian Haack