| 2026 | ESOP | Recursive Logical Relations for Intuitionistic Linear Logic Session Types. | Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao |
| 2024 | ECOOP | Information Flow Control in Cyclic Process Networks. | Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer |
| 2024 | ECOOP | Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. | Farzaneh Derakhshan, Stephanie Balzer, Yue Yao |
| 2022 | ECOOP | Ferrite: A Judgmental Embedding of Session Types in Rust. | Ruofei Chen, Stephanie Balzer, Bernardo Toninho |
| 2021 | Coordination | Manifestly Phased Communication via Shared Session Types. | Chuta Sano, Stephanie Balzer, Frank Pfenning |
| 2021 | LICS | Session Logical Relations for Noninterference. | Farzaneh Derakhshan, Stephanie Balzer, Limin Jia |
| 2019 | ESOP | Manifest Deadlock-Freedom for Shared Session Types. | Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
| 2018 | CONCUR | A Universal Session Type for Untyped Asynchronous Communication. | Stephanie Balzer, Frank Pfenning, Bernardo Toninho |
| 2014 | FM | Object Propositions. | Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert |
| 2013 | OOPSLA | Splash'13 workshops summary. | Stephanie Balzer, Ulrik Pagh Schultz |
| 2011 | ECOOP | Verifying Multi-object Invariants with Relationships. | Stephanie Balzer, Thomas R. Gross |
| 2008 | OOPSLA | Relationships and associations in object-oriented languages. | Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip |
| 2007 | ECOOP | A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. | Stephanie Balzer, Thomas R. Gross, Patrick Eugster |