ETH > Computer Science Departement > Computer Systems Institute > LST > People

Stephanie Balzer

ETH Zürich Computer Science Department Computer Systems Institute ETH-Zentrum, RZ H7 CH-8092 Zürich, Switzerland

phone: +41 44 632 02 80 fax: +41 44 632 14 35 email: stephanie.balzer at inf.ethz.ch www: http://people.inf.ethz.ch/balzers/

About me

I am a postdoctoral researcher in the group of Prof. Thomas R. Gross at the Computer Systems Institute of ETH Zurich. I recently defended my PhD thesis under the supervision of Prof. Thomas R. Gross. My interests lie in aiding developers to write programs that are easier to reason about, and ultimately, to verify. In my PhD work, I elaborated new programming language abstractions that ease program understanding. I developed the programming language Rumer, an object-based programming language with support for first-class relationships and Design-by-Contract-style assertions, as well as an invariant-based verification technique for that language.

Activities

• 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

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]
• 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: Modular Reasoning about Invariants over Shared State with Interposed Data Members. ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2010), affiliated with POPL 2010. Pages 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 RelMiCS 2006.
• Stephanie Balzer, Patrick Th. Eugster, and Bertrand Meyer. Can Aspects Implement Contracts?. In Proceedings of RISE 2005 (Rapid Integration of Software Engineering techniques), September 2005. Volume 3943 of Lecture Notes in Computer Science, Springer-Verlag, 2002, pages 145-157. [PDF] [SpringerLink]
• Stephanie Balzer. Contracted Persistent Object Programming. PhD Workshop, ECOOP 2005. [PDF]

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]
• Stephanie Balzer, Patrick Eugster, and Thomas R. Gross. Relations: Abstracting Object Collaborations. Technical Report 539, ETH Zurich (November 2006).

Student projects

Supervised projects

• Reto Conconi (HS10): master project
• Agnes Sebestyen (FS09): master project
• Michelle Volery (FS09): master project
• Andrea Zimmermann (HS08): master project
• Roland Schilter (FS08): semester project
• Christoph Bäni (HS07): semester project
• Alexandra Burns (SS06): master project
  See also associated technical report: The Relationship Detector: Uncovering Hidden Relationships in Object-Oriented Programs. Technical Report 550, ETH Zurich (October 2006). [PDF]
• Alexandra Burns (WS05/06): semester project
• Shinji Takasaka (SS05): master project

Open projects

Teaching