| Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29 S Balzer, F Pfenning | 102* | 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 | 69 | 2007 |
| 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 | 67 | 2021 |
| Manifest Deadlock-Freedom for Shared Session Types. S Balzer, B Toninho, F Pfenning ESOP, 611-639, 2019 | 62 | 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 |
| 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 | 36 | 2021 |
| Can aspects implement contracts? S Balzer, PT Eugster, B Meyer Rapid Integration of Software Engineering Techniques: Second International …, 2006 | 36 | 2006 |
| 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 | 27* | 2022 |
| Ferrite: A judgmental embedding of session types in Rust R Chen, S Balzer, B Toninho arXiv preprint arXiv:2009.13619, 2020 | 25 | 2020 |
| Verifying multi-object invariants with relationships S Balzer, TR Gross European Conference on Object-Oriented Programming, 358-382, 2011 | 25 | 2011 |
| 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 | 20 | 2022 |
| 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 |
| Rumer: A programming language and modular verification technique based on relationships S Balzer ETH Zurich, 2011 | 16* | 2011 |
| Objects as session-typed processes S Balzer, F Pfenning Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015 | 13 | 2015 |
| Object propositions L Nistor, J Aldrich, S Balzer, H Mehnert FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 11 | 2014 |
| Session Logical Relations for Noninterference F Derakhshan, S Balzer, L Jia Symposium on Logic in Computer Science, 1--14, 2021 | 10 | 2021 |
| Contracted persistent object programming S Balzer PhD Workshop, ECOOP 12, 2005 | 8 | 2005 |
| Higher-order leak and deadlock free locks J Jacobs, S Balzer Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023 | 6 | 2023 |
| 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 |
| Logical Relations for Session-Typed Concurrency S Balzer, F Derakhshan, R Harper, Y Yao arXiv preprint arXiv:2309.00192, 2023 | 2 | 2023 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
