Stephanie Balzer

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 22

Top Topics

Spatial Relations

Information Flow

Logical Reasoning

Asynchronous Communication

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
Information Flow Control in Cyclic Process Networks. CoRR (2024)
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. CoRR (2024)
Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14 (1) (2024)
Alexandre Moine, Sam Westrick, Stephanie Balzer
DisLog: A Separation Logic for Disentanglement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jules Jacobs, Stephanie Balzer
Higher-Order Leak and Deadlock Free Locks. Proc. ACM Program. Lang. 7 (POPL) (2023)
Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
Logical Relations for Session-Typed Concurrency. CoRR (2023)
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
Ferrite: A Judgmental Embedding of Session Types in Rust. ECOOP (2022)
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
Multiparty GV: functional multiparty session types with certified deadlock freedom. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Stephanie Balzer, Luca Padovani
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. 127 (2022)
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
Connectivity graphs: a method for proving deadlock freedom based on separation logic. Proc. ACM Program. Lang. 6 (POPL) (2022)
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Farzaneh Derakhshan, Stephanie Balzer
Recursive Session Logical Relations. CoRR (2022)
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
Session Logical Relations for Noninterference. CoRR (2021)
Chuta Sano, Stephanie Balzer, Frank Pfenning
Manifestly Phased Communication via Shared Session Types. CoRR (2021)
Chuta Sano, Stephanie Balzer, Frank Pfenning
Manifestly Phased Communication via Shared Session Types. COORDINATION (2021)
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar
Resource-Aware Session Types for Digital Contracts. CSF (2021)
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
Session Logical Relations for Noninterference. LICS (2021)
Ruofei Chen, Stephanie Balzer
Ferrite: A Judgmental Embedding of Session Types in Rust. CoRR (2020)
Stephanie Balzer, Bernardo Toninho, Frank Pfenning
Manifest Deadlock-Freedom for Shared Session Types. ESOP (2019)
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning
Resource-Aware Session Types for Digital Contracts. CoRR (2019)
Stephanie Balzer, Frank Pfenning, Bernardo Toninho
A Universal Session Type for Untyped Asynchronous Communication. CONCUR (2018)
Stephanie Balzer, Frank Pfenning
Manifest sharing with session types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Stephanie Balzer, Frank Pfenning
Objects as session-typed processes. AGERE!@SPLASH (2015)
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
Object Propositions. FM (2014)
Stephanie Balzer, Ulrik Pagh Schultz
Splash'13 workshops summary. SPLASH (Companion Volume) (2013)
Stephanie Balzer, Thomas R. Gross
Verifying Multi-object Invariants with Relationships. ECOOP (2011)
Stephanie Balzer, Thomas R. Gross
Modular reasoning about invariants over shared state with interposed data members. PLPV (2010)
Stephanie Balzer, Thomas R. Gross
Modular reasoning about invariants over shared state with interposed data members: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip
Relationships and associations in object-oriented languages. OOPSLA Companion (2008)
Stephanie Balzer, Thomas R. Gross, Patrick Eugster
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. ECOOP (2007)
Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer
Can Aspects Implement Contracts?. RISE (2005)