Stephanie Balzer

According to our database, Stephanie Balzer authored at least 15 papers between 2005 and 2021.

Collaborative distances:

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

2021

Manifestly Phased Communication via Shared Session Types.

Chuta Sano, Stephanie Balzer, Frank Pfenning

CoRR, 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 Conference on Systems, 2013

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