Stephanie Balzer

44 papers A* 1A 7B 2C 1Journal 25Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Recursive Logical Relations for Intuitionistic Linear Logic Session Types.
ESOP (1)
Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
2026 J jnl
TypeDis: A Type System for Disentanglement.
Proc. ACM Program. Lang.
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
2025 J jnl
A Language-Agnostic Logical Relation for Message-Passing Protocols.
CoRR
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, Stephanie Balzer
2025 J jnl
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs.
CoRR
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti, Stephanie Balzer, Guy E. Blelloch
2025 J jnl
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols.
CoRR
Tesla Zhang, Asher Kornfeld, Rui Li, Sonya Simkin, Yue Yao, Stephanie Balzer
2025 J jnl
Semantic Logical Relations for Timed Message-Passing Protocols.
Proc. ACM Program. Lang.
Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek
2025 J jnl
TypeDis: A Type System for Disentanglement.
CoRR
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
2024 J jnl
DisLog: A Separation Logic for Disentanglement.
Proc. ACM Program. Lang.
Alexandre Moine, Sam Westrick, Stephanie Balzer
2024 A conf
Information Flow Control in Cyclic Process Networks.
ECOOP
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024 J jnl
Information Flow Control in Cyclic Process Networks.
CoRR
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024 J jnl
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051).
Dagstuhl Reports
Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
2024 J jnl
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact).
Dagstuhl Artifacts Ser.
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024 A conf
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.
ECOOP
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024 J jnl
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.
CoRR
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024 J jnl
Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version).
CoRR
Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek
2023 J jnl
Higher-Order Leak and Deadlock Free Locks.
Proc. ACM Program. Lang.
Jules Jacobs, Stephanie Balzer
2023 J jnl
Logical Relations for Session-Typed Concurrency.
CoRR
Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
2022 J jnl
Connectivity graphs: a method for proving deadlock freedom based on separation logic.
Proc. ACM Program. Lang.
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
2022 J jnl
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact).
Dagstuhl Artifacts Ser.
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
2022 A conf
Ferrite: A Judgmental Embedding of Session Types in Rust.
ECOOP
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
2022 J jnl
Multiparty GV: functional multiparty session types with certified deadlock freedom.
Proc. ACM Program. Lang.
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
2022 J jnl
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020.
J. Log. Algebraic Methods Program.
Stephanie Balzer, Luca Padovani
2022 J jnl
Recursive Session Logical Relations.
CoRR
Farzaneh Derakhshan, Stephanie Balzer
2021 C conf
Manifestly Phased Communication via Shared Session Types.
COORDINATION
Chuta Sano, Stephanie Balzer, Frank Pfenning
2021 J jnl
Manifestly Phased Communication via Shared Session Types.
CoRR
Chuta Sano, Stephanie Balzer, Frank Pfenning
2021 A conf
Resource-Aware Session Types for Digital Contracts.
CSF
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar
2021 A* conf
Session Logical Relations for Noninterference.
LICS
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2021 J jnl
Session Logical Relations for Noninterference.
CoRR
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2020 J jnl
Ferrite: A Judgmental Embedding of Session Types in Rust.
CoRR
Ruofei Chen, Stephanie Balzer
2020 — ed.
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020.
PLACES@ETAPS
Stephanie Balzer, Luca Padovani
2019 A conf
Manifest Deadlock-Freedom for Shared Session Types.
ESOP
Stephanie Balzer, Bernardo Toninho, Frank Pfenning
2019 J jnl
Resource-Aware Session Types for Digital Contracts.
CoRR
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning
2018 B conf
A Universal Session Type for Untyped Asynchronous Communication.
CONCUR
Stephanie Balzer, Frank Pfenning, Bernardo Toninho
2017 J jnl
Manifest sharing with session types.
Proc. ACM Program. Lang.
Stephanie Balzer, Frank Pfenning
2015 — conf
Objects as session-typed processes.
AGERE!@SPLASH
Stephanie Balzer, Frank Pfenning
2014 B conf
Object Propositions.
FM
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
2013 — conf
Splash'13 workshops summary.
SPLASH (Companion Volume)
Stephanie Balzer, Ulrik Pagh Schultz
2011 — —
Rumer: A programming language and modular verification technique based on relationships.
Stephanie Balzer
2011 A conf
Verifying Multi-object Invariants with Relationships.
ECOOP
Stephanie Balzer, Thomas R. Gross
2010 — conf
Modular reasoning about invariants over shared state with interposed data members.
PLPV
Stephanie Balzer, Thomas R. Gross
2009 J jnl
Modular reasoning about invariants over shared state with interposed data members: (abstract only).
ACM SIGPLAN Notices
Stephanie Balzer, Thomas R. Gross
2008 — conf
Relationships and associations in object-oriented languages.
OOPSLA Companion
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip
2007 A conf
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships.
ECOOP
Stephanie Balzer, Thomas R. Gross, Patrick Eugster
2005 — conf
Can Aspects Implement Contracts?.
RISE
Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer