Takip et
Stephanie Balzer
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29
S Balzer, F Pfenning
109*2017
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
762021
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
762021
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
702007
Manifest Deadlock-Freedom for Shared Session Types.
S Balzer, B Toninho, F Pfenning
ESOP, 611-639, 2019
692019
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
392013
Can aspects implement contracts?
S Balzer, PT Eugster, B Meyer
Rapid Integration of Software Engineering Techniques: Second International …, 2006
352006
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
322022
Ferrite: A judgmental embedding of session types in Rust
R Chen, S Balzer, B Toninho
arXiv preprint arXiv:2009.13619, 2020
312020
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
292022
Verifying multi-object invariants with relationships
S Balzer, TR Gross
European Conference on Object-Oriented Programming, 358-382, 2011
252011
Rumer: A programming language and modular verification technique based on relationships
S Balzer
ETH Zurich, 2011
18*2011
A universal session type for untyped asynchronous communication
S Balzer, F Pfenning, B Toninho
29th International Conference on Concurrency Theory (CONCUR 2018), 30: 1-30: 18, 2018
172018
Session Logical Relations for Noninterference
F Derakhshan, S Balzer, L Jia
Symposium on Logic in Computer Science, 1--14, 2021
162021
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
Higher-order leak and deadlock free locks
J Jacobs, S Balzer
Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023
92023
Contracted persistent object programming
S Balzer
PhD Workshop, ECOOP 12, 2005
72005
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
Logical relations for session-typed concurrency
S Balzer, F Derakhshan, R Harper, Y Yao
arXiv preprint arXiv:2309.00192, 2023
52023
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20