Stephanie Balzer's publications

Papers

2025

• A Semantic Logical Relation for Termination of Intuitionistic Linear Logic Session Types. Tarakaram Gollamudi, Jules Jacobs, Yue Yao, and Stephanie Balzer. In 11th International Workshop on Coq for Programming Languages (CoqPL). 2025. [PDF]
• Semantic Logical Relations for Timed Message-Passing Protocols. Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, and Lukasz Ziarek. In 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Proceedings of the ACM on Programming Languages (PACMPL), volume 9, number POPL, pages 1750-1781, 2025. [PDF] [TR] [Artifact]

2024

• Semantic Logical Relations for Timed Message-Passing Protocols. Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, and Lukasz Ziarek. In 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Proceedings of the ACM on Programming Languages (PACMPL), volume 9, number POPL, pages 1750-1781, 2025. [PDF] [TR] [Artifact]
• Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao. In 38th European Conference on Object-Oriented Programming (ECOOP). LIPIcs, volume 313, pages 11:1-11:29, 2024. [PDF] [TR] [Artifact]
• Information Flow Control in Cyclic Process Networks. Bas van den Heuvel, Farzaneh Derakhshan, and Stephanie Balzer. In 38th European Conference on Object-Oriented Programming (ECOOP). LIPIcs, volume 313, pages 40:1-40:30, 2024. [PDF] [TR]
• DisLog: A Separation Logic for Disentanglement. Alexandre Moine, Sam Westrick, and Stephanie Balzer. In 51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Proceedings of the ACM on Programming Languages (PACMPL), volume 8, number POPL, pages 302-331, 2024. [PDF] [Artifact]

2023

• Logical Relations for Session-Typed Concurrency. Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao. CoRR, volume abs/2309.00192, 2023. [PDF] [TR]
  
• Higher-Order Leak and Deadlock Free Locks. Jules Jacobs and Stephanie Balzer. In 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Proceedings of the ACM on Programming Languages (PACMPL), volume 7, number POPL, pages 1027-1057, 2023. [PDF] [Artifact]
  ACM SIGPLAN Distinguished Paper.
  

2022

• Recursive Session Logical Relations. Farzaneh Derakhshan and Stephanie Balzer. CoRR, volume abs/2208.13741, 2022. [TR]
  
• Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom. Jules Jacobs, Stephanie Balzer, and Robbert Krebbers. In 27th ACM SIGPLAN International Conference on Functional Programming (ICFP). Proceedings of the ACM on Programming Languages (PACMPL), volume 6, number ICFP, pages 466-495, 2022. [PDF] [Artifact]
  
• Ferrite: A Judgmental Embedding of Session Types in Rust. Soares Chen, Stephanie Balzer, and Bernardo Toninho. In 36th European Conference on Object-Oriented Programming (ECOOP). LIPIcs, volume 222, pages 22:1-22:28, 2022. [PDF] [TR] [Code]
  ECOOP Distinguished Paper.
  
• Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic. Jules Jacobs, Stephanie Balzer, and Robbert Krebbers. In 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Proceedings of the ACM on Programming Languages (PACMPL), volume 6, number POPL, pages 1-33, 2022. [PDF] [Artifact]
  

2021

• Session Logical Relations for Noninterference. Farzaneh Derakhshan, Stephanie Balzer, and Limin Jia. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Pages 1-14. IEEE 2021. [PDF] [TR]
  
• Resource-Aware Session Types for Digital Contracts. Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, and Ishani Santurkar. In 34th IEEE Computer Security Foundations Symposium (CSF). Pages 1-16. IEEE 2021 [PDF]
  
• Manifestly Phased Communication via Shared Session Types. Chuta Sano, Stephanie Balzer, and Frank Pfenning. In 23rd International Conference on Coordination Models and Languages (COORDINATION). Lecture Notes in Computer Science, vol. 12717, pages 23-40. Springer, 2021 [PDF] [TR]
  

2019

• Manifest Deadlock-Freedom for Shared Session Types. Stephanie Balzer, Bernardo Toninho, and Frank Pfenning. In 28th European Symposium on Programming (ESOP). Lecture Notes in Computer Science, vol. 11423, pp. 611-639. Springer, 2019. [PDF]
  

2018

• A Universal Session Type for Untyped Asynchronous Communication. Stephanie Balzer, Frank Pfenning, and Bernardo Toninho. In 29th International Conference on Concurrency Theory (CONCUR). Pages 30:1--30:18. LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [PDF]
  

2017

• Manifest Sharing with Session Types. Stephanie Balzer and Frank Pfenning. In 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP). Proceedings of the ACM on Programming Languages (PACMPL), volume 1, number ICFP, pages 37:1-37:29, 2017. [PDF]
  

2015

• 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]

2014

• 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]

2013

• 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]

2012

• 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]

2011

• 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]

2010

• 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]

2008

• 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]

2007

• 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).

2006

• 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]

2005

• 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]

Theses

• Rumer: a Programming Language and Modular Verification Technique Based on Relationships. Stephanie Balzer. PhD Thesis, ETH Zurich, Nr. 19851, 2011. [PDF] [ETHLink]
• 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]