I am a postdoctoral associate with Prof. Jonathan Aldrich in the School of Computer Science at Carnegie Mellon University. I am interested in the development of programming languages and tools that facilitate the development of programs that are easier to write, reason about, and, ultimately, verify.
Before joining the group of Prof. Aldrich, I did a PhD with Prof. Thomas R. Gross in the Department of Computer Science at ETH Zurich. During my PhD, I developed the programming language Rumer, an object-based programming language with support for first-class relationships and Design-by-Contract-style assertions. In addition, I elaborated an invariant-based verification technique for Rumer.
Publications
Conference papers
- Stephanie Balzer and Thomas R. Gross: Verifying Multi-Object Invariants with Relationships. In 25th European Conference on Object-Oriented Programming (ECOOP 2011). Lecture Notes in Computer Science, vol. 6813, pp. 359-383. Springer, 2011. [PDF] [SpringerLink]
- Stephanie Balzer, Thomas R. Gross, and Patrick Eugster: A Relational Model of Object Collaborations and its Use in Reasoning about Relationships. In 21st European Conference on Object-Oriented Programming (ECOOP 2007). Lecture Notes in Computer Science, vol. 4609, pp. 323-346. Springer, 2007. [PDF] [SpringerLink]
Workshop papers
- Stephanie Balzer, Thomas R. Gross, and Peter Müller: Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing. In 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012), affiliated with SPLASH 2012. [PDF]
- Stephanie Balzer, Thomas R. Gross: Modular Reasoning about Invariants over Shared State with Interposed Data Members. 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]
- Stephanie Balzer, Thomas R. Gross: Member Interposition: How Roles Can Define Class Members. 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).
- Stephanie Balzer. Relations for Specifying the Invariant Behavior of Object Collaborations. In PhD Programme of 9th International Conference on Relational Methods in Computer Science (RelMiCS), 2006.
- Stephanie Balzer, Patrick Th. Eugster, and Bertrand Meyer. Can Aspects Implement Contracts?. 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]
- Stephanie Balzer. Contracted Persistent Object Programming. PhD Workshop, ECOOP 2005. [PDF]
Thesis
- Stephanie Balzer: Rumer: a Programming Language and Modular Verification Technique Based on Relationships. PhD Thesis, ETH Zurich, Nr. 19851, 2011. [PDF] [ETHLink]
Technical reports
- Stephanie Balzer, Alexandra Burns, and Thomas R. Gross. Objects in Context: An Empirical Study of Object Relationships. Technical Report 594, ETH Zurich (May 2008). [PDF] [ETHLink]
- Stephanie Balzer, Patrick Eugster, and Thomas R. Gross. Relations: Abstracting Object Collaborations. Technical Report 539, ETH Zurich (November 2006). [PDF] [ETHLink]
Activities
- Workshop co-chair of SPLASH 2013.
- Organizing chair of Relationships and Associations in Object-Oriented Languages (RAOOL'09), a workshop co-located with ECOOP 2009.
- Member of the organizing committee of Relationships and Associations in Object-Oriented Languages (RAOOL'08), a workshop co-located with OOPSLA 2008.
- Finalist of the the Google Europe Anita Borg Memorial Scholarship 2007.
- Member of the organizing committee of the ECOOP 2006 Doctoral Symposium and PhD Students Workshop.