Fabian Muehlboeck

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Formal Verification

Text Summarization

Top Venues

Proc. ACM Program. Lang.

Publications

Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE (2023)
Fabian Muehlboeck, Thomas A. Henzinger
Differential Monitoring. RV (2021)
Guillaume Dubach, Fabian Muehlboeck
Formal verification of Zagier's one-sentence proof. CoRR (2021)
Fabian Muehlboeck, Ross Tate
Transitioning from structural to nominal code with efficient gradual typing. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Fabian Muehlboeck, Ross Tate
Empowering union and intersection types with integrated subtyping. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Fabian Muehlboeck, Ross Tate
Sound gradual typing is nominally alive and well. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Ben Greenman, Fabian Muehlboeck, Ross Tate
Getting F-bounded polymorphism into shape. PLDI (2014)