| Getting F-bounded polymorphism into shape B Greenman, F Muehlboeck, R Tate ACM SIGPLAN Notices 49 (6), 89-99, 2014 | 59 | 2014 |
| Sound gradual typing is nominally alive and well F Muehlboeck, R Tate Proceedings of the ACM on Programming Languages 1 (OOPSLA), 56, 2017 | 51 | 2017 |
| Empowering union and intersection types with integrated subtyping F Muehlboeck, R Tate Proceedings of the ACM on Programming Languages 2 (OOPSLA), 112, 2018 | 29 | 2018 |
| Transitioning from structural to nominal code with efficient gradual typing F Muehlboeck, R Tate Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 6 | 2021 |
| Checking binding hygiene statically F Muehlboeck Master's thesis, Northeastern University, 2013 | 4 | 2013 |
| Differential monitoring F Muehlboeck, TA Henzinger International Conference on Runtime Verification, 231-243, 2021 | 3 | 2021 |
| Vamos: Middleware for Best-Effort Third-Party Monitoring M Chalupa, F Muehlboeck, SM Lei, TA Henzinger International Conference on Fundamental Approaches to Software Engineering …, 2023 | 1 | 2023 |
| Formal verification of Zagier's one-sentence proof G Dubach, F Muehlboeck arXiv preprint arXiv:2103.11389, 2021 | 1 | 2021 |
| Efficient Runtimes for Gradual Typing F Muehlboeck Cornell University, 2019 | | 2019 |
| Differential Monitoring-Technical Report⋆ F Muehlboeck, TA Henzinger | | |
Ross TateAssistant Professor in Computer Science at Cornell UniversityVerified email at cs.cornell.edu
