Stephanie Balzer
Cited by
Cited by
Manifest sharing with session types
S Balzer, F Pfenning
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
A relational model of object collaborations and its use in reasoning about relationships
S Balzer, TR Gross, P Eugster
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
Manifest Deadlock-Freedom for Shared Session Types.
S Balzer, B Toninho, F Pfenning
ESOP, 611-639, 2019
Wyvern: A simple, typed, and pure object-oriented language
L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich
Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013
Can aspects implement contracts?
S Balzer, PT Eugster, B Meyer
Rapid Integration of Software Engineering Techniques: Second International …, 2006
Resource-aware session types for digital contracts
A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar
arXiv preprint arXiv:1902.06056, 2019
Resource-aware session types for digital contracts
A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
Verifying multi-object invariants with relationships
S Balzer, TR Gross
ECOOP 2011–Object-Oriented Programming: 25th European Conference, Lancaster …, 2011
A universal session type for untyped asynchronous communication
S Balzer, F Pfenning, B Toninho
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
Connectivity graphs: a method for proving deadlock freedom based on separation logic.
J Jacobs, S Balzer, R Krebbers
Proc. ACM Program. Lang. 6 (POPL), 1-33, 2022
Ferrite: A judgmental embedding of session types in Rust
R Chen, S Balzer, B Toninho
arXiv preprint arXiv:2009.13619, 2020
Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29
S Balzer, F Pfenning
Objects as session-typed processes
S Balzer, F Pfenning
Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015
Rumer: A programming language and modular verification technique based on relationships
S Balzer
ETH Zurich, 2011
Object propositions
L Nistor, J Aldrich, S Balzer, H Mehnert
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Multiparty GV: functional multiparty session types with certified deadlock freedom
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (ICFP), 466-495, 2022
Session Logical Relations for Noninterference
F Derakhshan, S Balzer, L Jia
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1--14, 2021
Modular reasoning about invariants over shared state with interposed data members
S Balzer, TR Gross
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets …, 2010
Contracted persistent object programming
S Balzer
PhD Workshop, ECOOP 12, 2005
Objects in context: An empirical study of object relationships
S Balzer, A Burns, T Gross
Technical Report/ETH Zurich, Department of Computer Science 594, 2012
The system can't perform the operation now. Try again later.
Articles 1–20