Presentation Slides

• Type-based Object Immutability with Flexible Initialization, presented at ECOOP'09 with this paper
  • Abstract
• Specification and Verification of Heap Access Policies, a course at the Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, Jan 25 to 29, 2009
• Type-based Object Immutability with Flexible Initialization, presented at ESF Cost Meeting, Madrid, Dec 1 to 3, 2008 and IPA Fall Days on Software Analysis, Nunspeet, Nov 24 to 28, 2008
  • Abstract
• Separation Logic Contracts for a Java-like Language with Fork/Join, presented at AMAST'08 with this paper
  • Abstract
• Resource Usage Protocols for Iterators, presented at IWACO'08 with this paper
  • Abstract
• Immutable Objects for a Java-like Language, presented at ESOP'07 with this paper
  • Abstract
• Types for Cryptographic Protocols, presented at Malice seminar, TU Eindhoven, 16-2-06 and Computer Science Seminar, Heriot-Watt University, 28-07-06 and Everest Seminar, Inria Sophia-Antipolis, 20-09-07
  • Abstract
• Timed Spi-Calculus with Types for Secrecy and Authenticity, presented at CONCUR'05 with this paper
  • Abstract
• Pattern-Matching Spi-Calculus, presented at FAST'04 with this paper
  • Abstract
• Type Error Slicing in Implicitly Typed Higher-Order Languages, presented at ESOP'03 with this paper
  • Abstract
• Fully Automatic Adaptation of Software Components Based on Semantic Specifications, presented at AMAST'02 with this paper
  • Abstract
• Branching Types, presented at ESOP'02 with this paper
  • Abstract

Last modified:
Christian Haack