Stephanie Balzer

According to our database, Stephanie Balzer authored at least 31 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DisLog: A Separation Logic for Disentanglement.

Alexandre Moine, Sam Westrick, Stephanie Balzer

Proc. ACM Program. Lang., January, 2024

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact).

Farzaneh Derakhshan, Stephanie Balzer, Yue Yao

Dagstuhl Artifacts Ser., 2024

Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051).

Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann

Dagstuhl Reports, 2024

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.

Farzaneh Derakhshan, Stephanie Balzer, Yue Yao

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Information Flow Control in Cyclic Process Networks.

Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Higher-Order Leak and Deadlock Free Locks.

Jules Jacobs, Stephanie Balzer

Proc. ACM Program. Lang., January, 2023

Logical Relations for Session-Typed Concurrency.

Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao

CoRR, 2023

2022

Multiparty GV: functional multiparty session types with certified deadlock freedom.

Jules Jacobs, Stephanie Balzer, Robbert Krebbers

Proc. ACM Program. Lang., 2022

Connectivity graphs: a method for proving deadlock freedom based on separation logic.

Jules Jacobs, Stephanie Balzer, Robbert Krebbers

Proc. ACM Program. Lang., 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

Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact).

Ruofei Chen, Stephanie Balzer, Bernardo Toninho

Dagstuhl Artifacts Ser., 2022

Recursive Session Logical Relations.

Farzaneh Derakhshan, Stephanie Balzer

CoRR, 2022

Ferrite: A Judgmental Embedding of Session Types in Rust.

Ruofei Chen, Stephanie Balzer, Bernardo Toninho

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Session Logical Relations for Noninterference.

Farzaneh Derakhshan, Stephanie Balzer, Limin Jia

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Resource-Aware Session Types for Digital Contracts.

Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Manifestly Phased Communication via Shared Session Types.

Chuta Sano, Stephanie Balzer, Frank Pfenning

Proceedings of the Coordination Models and Languages, 2021

2020

Ferrite: A Judgmental Embedding of Session Types in Rust.

Ruofei Chen, Stephanie Balzer

CoRR, 2020

2019

Resource-Aware Session Types for Digital Contracts.

Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning

CoRR, 2019

Manifest Deadlock-Freedom for Shared Session Types.

Stephanie Balzer, Bernardo Toninho, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2019

2018

A Universal Session Type for Untyped Asynchronous Communication.

Stephanie Balzer, Frank Pfenning, Bernardo Toninho

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Manifest sharing with session types.

Stephanie Balzer, Frank Pfenning

Proc. ACM Program. Lang., 2017

2015

Objects as session-typed processes.

Stephanie Balzer, Frank Pfenning

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

Object Propositions.

Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert

Proceedings of the FM 2014: Formal Methods, 2014

2013

Splash'13 workshops summary.

Stephanie Balzer, Ulrik Pagh Schultz

Proceedings of the SPLASH'13, 2013

2011

Rumer: A programming language and modular verification technique based on relationships.

Stephanie Balzer

PhD thesis, 2011

Verifying Multi-object Invariants with Relationships.

Stephanie Balzer, Thomas R. Gross

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Modular reasoning about invariants over shared state with interposed data members.

Stephanie Balzer, Thomas R. Gross

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Modular reasoning about invariants over shared state with interposed data members: (abstract only).

Stephanie Balzer, Thomas R. Gross

ACM SIGPLAN Notices, 2009

2008

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

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships.

Stephanie Balzer, Thomas R. Gross, Patrick Eugster

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2005

Can Aspects Implement Contracts?.

Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005