Stephanie Balzer

Stephanie Balzer
Mailing address:
Computer Science Department
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Contact details:
Office: 7125 Gates-Hillman Center
Phone: +1-412-268-7823
Email: balzers at

I am a postdoc with Prof. Frank Pfenning in the Computer Science Department at Carnegie Mellon University. I am interested in programming languages, program verification, type theory, and logic. Previously, I was a postdoc with Prof. Jonathan Aldrich in the Institute for Software Research at Carnegie Mellon University. I obtained my PhD from the Department of Computer Science at ETH Zurich, under the supervision of Prof. Thomas R. Gross.


  • Objects as Session-Typed Processes. Stephanie Balzer and Frank Pfenning. In 5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!), affiliated with SPLASH. Pages 13-24. ACM, 2015. [PDF]
  • Object Propositions. Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, and Hannes Mehnert. In 19th International Symposium on Formal Methods (FM 2014). Lecture Notes in Computer Science, vol. 8442, pp. 497-513. Springer, 2014. [SpringerLink]
  • Wyvern: A Simple, Typed, and Pure Object-Oriented Language. Ligia Nistor, Darya Kurilova, Stephanie Balzer, Benjamin Chung, Alex Potanin, and Jonathan Aldrich. In 5th Workshop on Mechanisms for SPEcialization, Generalization and inHerItance (MASPEGHI), affiliated with ECOOP. Pages 9-16. ACM, 2013. [PDF]
  • Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing. Stephanie Balzer, Thomas R. Gross, and Peter Müller. In 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012), affiliated with SPLASH 2012. [PDF]
  • Verifying Multi-Object Invariants with Relationships. Stephanie Balzer and Thomas R. Gross. In 25th European Conference on Object-Oriented Programming (ECOOP 2011). Lecture Notes in Computer Science, vol. 6813, pp. 359-383. Springer, 2011. [PDF] [SpringerLink]
  • Rumer: a Programming Language and Modular Verification Technique Based on Relationships. Stephanie Balzer. PhD Thesis, ETH Zurich, Nr. 19851, 2011. [PDF] [ETHLink]
  • Modular Reasoning about Invariants over Shared State with Interposed Data Members. Stephanie Balzer, Thomas R. Gross. In 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification (PLPV 2010), affiliated with POPL 2010, pp. 49-56. ACM, 2010. [PDF] [ACM Portal]
  • Objects in Context: An Empirical Study of Object Relationships. Stephanie Balzer, Alexandra Burns, and Thomas R. Gross. Technical Report 594, ETH Zurich (May 2008). [PDF] [ETHLink]
  • A Relational Model of Object Collaborations and its Use in Reasoning about Relationships. Stephanie Balzer, Thomas R. Gross, and Patrick Eugster. In 21st European Conference on Object-Oriented Programming (ECOOP 2007). Lecture Notes in Computer Science, vol. 4609, pp. 323-346. Springer, 2007. [PDF] [SpringerLink]
  • Member Interposition: How Roles Can Define Class Members. Stephanie Balzer, Thomas R. Gross. In 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies (Roles 2007), Workshop co-located with ECOOP 2007. Technical Report 2007-9, Technische Universität Berlin (2007).
  • Relations for Specifying the Invariant Behavior of Object Collaborations. Stephanie Balzer. In PhD Programme of 9th International Conference on Relational Methods in Computer Science (RelMiCS), 2006.
  • Relations: Abstracting Object Collaborations. Stephanie Balzer, Patrick Eugster, and Thomas R. Gross. Technical Report 539, ETH Zurich (November 2006). [PDF] [ETHLink]
  • Can Aspects Implement Contracts? Stephanie Balzer, Patrick Th. Eugster, and Bertrand Meyer. In Proceedings of 2nd International Workshop on Rapid Integration of Software Engineering Techniques (RISE), 2005. Lecture Notes in Computer Science, vol. 3943, pp. 145-157. Springer, 2005. [SpringerLink]
  • Contracted Persistent Object Programming. Stephanie Balzer. PhD Workshop, ECOOP 2005. [PDF]
  • Entwicklung eines metadatengesteuerten Historisierungswerkzeugs für die Aktualisierung von Data Warehouses (Development of a Metadata-driven, History-sensitive Software Component for the Actualization of Data Warehouses). Stephanie Balzer. Master Thesis, University of Zurich, 2001. [PDF]
  • Einführung in die objektorientierte Programmierung mit Java (Introduction to Programming in Java). Stephanie Balzer. Semester Thesis, University of Zurich, 1998 (text book for associated lecture). [PDF]
  • Professional activities

    Awards and honors

    Student supervision