Stephanie Balzer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Manifestly Phased Communication via Shared Session Types.
CoRR, 2021

2020
Ferrite: A Judgmental Embedding of Session Types in Rust.
CoRR, 2020

2019
Resource-Aware Session Types for Digital Contracts.
CoRR, 2019

Manifest Deadlock-Freedom for Shared Session Types.
Proceedings of the Programming Languages and Systems, 2019

2018
A Universal Session Type for Untyped Asynchronous Communication.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Manifest sharing with session types.
Proc. ACM Program. Lang., 2017

2015
Objects as session-typed processes.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014
Object Propositions.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Splash'13 workshops summary.
Proceedings of the Conference on Systems, 2013

2011
Verifying Multi-object Invariants with Relationships.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
Modular reasoning about invariants over shared state with interposed data members.
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).
ACM SIGPLAN Notices, 2009

2008
Relationships and associations in object-oriented languages.
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.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2005
Can Aspects Implement Contracts?.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005


  Loading...