Follow
Stephanie Balzer
Title
Cited by
Cited by
Year
Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29
S Balzer, F Pfenning
101*2017
A relational model of object collaborations and its use in reasoning about relationships
S Balzer, TR Gross, P Eugster
European Conference on Object-Oriented Programming, 323-346, 2007
682007
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
662021
Manifest Deadlock-Freedom for Shared Session Types.
S Balzer, B Toninho, F Pfenning
ESOP, 611-639, 2019
602019
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
372013
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
362021
Can aspects implement contracts?
S Balzer, PT Eugster, B Meyer
Rapid Integration of Software Engineering Techniques: Second International …, 2006
362006
Connectivity graphs: a method for proving deadlock freedom based on separation logic
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (POPL), 1-33, 2022
28*2022
Verifying multi-object invariants with relationships
S Balzer, TR Gross
European Conference on Object-Oriented Programming, 358-382, 2011
252011
Ferrite: A judgmental embedding of session types in Rust
R Chen, S Balzer, B Toninho
arXiv preprint arXiv:2009.13619, 2020
242020
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
212022
A universal session type for untyped asynchronous communication
S Balzer, F Pfenning, B Toninho
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
182018
Rumer: A programming language and modular verification technique based on relationships
S Balzer
ETH Zurich, 2011
17*2011
Objects as session-typed processes
S Balzer, F Pfenning
Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015
132015
Object propositions
L Nistor, J Aldrich, S Balzer, H Mehnert
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
112014
Session Logical Relations for Noninterference
F Derakhshan, S Balzer, L Jia
Symposium on Logic in Computer Science, 1--14, 2021
82021
Contracted persistent object programming
S Balzer
PhD Workshop, ECOOP 11, 2005
82005
Higher-order leak and deadlock free locks
J Jacobs, S Balzer
Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023
62023
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
62010
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20