| Manifest sharing with session types S Balzer, F Pfenning Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 83 | 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 | 67 | 2007 |
| Manifest Deadlock-Freedom for Shared Session Types. S Balzer, B Toninho, F Pfenning ESOP, 611-639, 2019 | 56 | 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 | 37 | 2013 |
| Can aspects implement contracts? S Balzer, PT Eugster, B Meyer Rapid Integration of Software Engineering Techniques: Second International …, 2006 | 35 | 2006 |
| Resource-aware session types for digital contracts A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar arXiv preprint arXiv:1902.06056, 2019 | 32 | 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 | 28 | 2021 |
| Verifying multi-object invariants with relationships S Balzer, TR Gross ECOOP 2011–Object-Oriented Programming: 25th European Conference, Lancaster …, 2011 | 25 | 2011 |
| A universal session type for untyped asynchronous communication S Balzer, F Pfenning, B Toninho 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 18 | 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 | 15 | 2022 |
| Ferrite: A judgmental embedding of session types in Rust R Chen, S Balzer, B Toninho arXiv preprint arXiv:2009.13619, 2020 | 13 | 2020 |
| Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29 S Balzer, F Pfenning | 13 | 2017 |
| Objects as session-typed processes S Balzer, F Pfenning Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015 | 13 | 2015 |
| Rumer: A programming language and modular verification technique based on relationships S Balzer ETH Zurich, 2011 | 13 | 2011 |
| Object propositions L Nistor, J Aldrich, S Balzer, H Mehnert FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 12 | 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 | 9 | 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 | 6 | 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 | 6 | 2010 |
| Contracted persistent object programming S Balzer PhD Workshop, ECOOP 12, 2005 | 6 | 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 | 4 | 2012 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
