Can Aspects Implement Contracts?. - Stephanie Balzer; Patrick Th. Eugster; Bertrand Meyer 001 (RISE, 2005)

A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. - Stephanie Balzer; Thomas R. Gross; Patrick Eugster (ECOOP, 2007)

Relationships and associations in object-oriented languages. - Stephen Nelson; Stephanie Balzer; Gavin M. Bierman; Erik Meijer 001; James Noble 001; David J. Pearce 001; Jiri Soukup; Frank Tip (OOPSLA Companion, 2008)

Modular reasoning about invariants over shared state with interposed data members: (abstract only). - Stephanie Balzer; Thomas R. Gross (ACM SIGPLAN Notices, 2009)

Modular reasoning about invariants over shared state with interposed data members. - Stephanie Balzer; Thomas R. Gross (PLPV, 2010)

Verifying Multi-object Invariants with Relationships. - Stephanie Balzer; Thomas R. Gross (ECOOP, 2011)

Rumer: A programming language and modular verification technique based on relationships. - Stephanie Balzer (2011)

Splash'13 workshops summary. - Stephanie Balzer; Ulrik Pagh Schultz (SPLASH (Companion Volume), 2013)

Object Propositions. - Ligia Nistor; Jonathan Aldrich; Stephanie Balzer; Hannes Mehnert (FM, 2014)

Objects as session-typed processes. - Stephanie Balzer; Frank Pfenning (AGERE!@SPLASH, 2015)

Manifest sharing with session types. - Stephanie Balzer; Frank Pfenning (Proc. ACM Program. Lang., 2017)

A Universal Session Type for Untyped Asynchronous Communication. - Stephanie Balzer; Frank Pfenning; Bernardo Toninho (CONCUR, 2018)

Manifest Deadlock-Freedom for Shared Session Types. - Stephanie Balzer; Bernardo Toninho; Frank Pfenning (ESOP, 2019)

Resource-Aware Session Types for Digital Contracts. - Ankush Das; Stephanie Balzer; Jan Hoffmann 002; Frank Pfenning (CoRR, 2019)

Ferrite: A Judgmental Embedding of Session Types in Rust. - Ruofei Chen; Stephanie Balzer (CoRR, 2020)

Manifestly Phased Communication via Shared Session Types. - Chuta Sano; Stephanie Balzer; Frank Pfenning (COORDINATION, 2021)

Resource-Aware Session Types for Digital Contracts. - Ankush Das; Stephanie Balzer; Jan Hoffmann 002; Frank Pfenning; Ishani Santurkar (CSF, 2021)

Session Logical Relations for Noninterference. - Farzaneh Derakhshan; Stephanie Balzer; Limin Jia 001 (LICS, 2021)

Ferrite: A Judgmental Embedding of Session Types in Rust. - Ruofei Chen; Stephanie Balzer; Bernardo Toninho (ECOOP, 2022)

Recursive Session Logical Relations. - Farzaneh Derakhshan; Stephanie Balzer (CoRR, 2022)

Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). - Ruofei Chen; Stephanie Balzer; Bernardo Toninho (Dagstuhl Artifacts Ser., 2022)

Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. - Stephanie Balzer; Luca Padovani (J. Log. Algebraic Methods Program., 2022)

Connectivity graphs: a method for proving deadlock freedom based on separation logic. - Jules Jacobs; Stephanie Balzer; Robbert Krebbers (Proc. ACM Program. Lang., 2022)

Multiparty GV: functional multiparty session types with certified deadlock freedom. - Jules Jacobs; Stephanie Balzer; Robbert Krebbers (Proc. ACM Program. Lang., 2022)

Logical Relations for Session-Typed Concurrency. - Stephanie Balzer; Farzaneh Derakhshan; Robert Harper 001; Yue Yao (CoRR, 2023)

Higher-Order Leak and Deadlock Free Locks. - Jules Jacobs; Stephanie Balzer (Proc. ACM Program. Lang., 2023)

Information Flow Control in Cyclic Process Networks. - Bas van den Heuvel 001; Farzaneh Derakhshan; Stephanie Balzer (ECOOP, 2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. - Farzaneh Derakhshan; Stephanie Balzer; Yue Yao (ECOOP, 2024)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version). - Yue Yao; Grant Iraci; Cheng-En Chuang; Stephanie Balzer; Lukasz Ziarek (CoRR, 2024)

Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). - Stephanie Balzer; Marco Carbone; Roland Kuhn 002; Peter Thiemann 001 (Dagstuhl Reports, 2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). - Farzaneh Derakhshan; Stephanie Balzer; Yue Yao (Dagstuhl Artifacts Ser., 2024)

DisLog: A Separation Logic for Disentanglement. - Alexandre Moine 001; Sam Westrick; Stephanie Balzer (Proc. ACM Program. Lang., 2024)

Semantic Logical Relations for Timed Message-Passing Protocols. - Yue Yao; Grant Iraci; Cheng-En Chuang; Stephanie Balzer; Lukasz Ziarek (Proc. ACM Program. Lang., 2025)

A Language-Agnostic Logical Relation for Message-Passing Protocols. - Tesla Zhang; Sonya Simkin; Rui Li; Yue Yao; Stephanie Balzer (CoRR, 2025)