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
Objects as Session-Typed Processes. Stephanie Balzer and Frank Pfenning. Submitted,
August 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.
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,
Objects in Context: An Empirical
Study of Object Relationships. Stephanie Balzer, Alexandra Burns, and Thomas R. Gross. Technical Report 594, ETH Zurich (May
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.
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
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.
Contracted Persistent Object Programming. Stephanie Balzer. PhD Workshop, ECOOP
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,
Einführung in die objektorientierte Programmierung mit Java (Introduction to
Programming in Java). Stephanie Balzer. Semester Thesis, University of Zurich, 1998 (text book for
Awards and honors
Student supervision and teaching
While I was at ETH, I was fortunate to be co-supervising a number of bachelor and master
students. Also, I have been a TA for various courses. Please refer to
my previous web site