Getting F-bounded polymorphism into shape. - Ben Greenman; Fabian Muehlboeck; Ross Tate (PLDI, 2014)

Sound gradual typing is nominally alive and well. - Fabian Muehlboeck; Ross Tate (Proc. ACM Program. Lang., 2017)

Empowering union and intersection types with integrated subtyping. - Fabian Muehlboeck; Ross Tate (Proc. ACM Program. Lang., 2018)

Efficient Runtimes for Gradual Typing. - Fabian Muehlboeck (2019)

Differential Monitoring. - Fabian Muehlboeck; Thomas A. Henzinger (RV, 2021)

Formal verification of Zagier's one-sentence proof. - Guillaume Dubach; Fabian Muehlboeck (CoRR, 2021)

Transitioning from structural to nominal code with efficient gradual typing. - Fabian Muehlboeck; Ross Tate (Proc. ACM Program. Lang., 2021)

VAMOS: Middleware for Best-Effort Third-Party Monitoring. - Marek Chalupa; Stefanie Muroya Lei; Fabian Muehlboeck; Thomas A. Henzinger (Zenodo, 2023)

VAMOS: Middleware for Best-Effort Third-Party Monitoring. - Marek Chalupa; Stefanie Muroya Lei; Fabian Muehlboeck; Thomas A. Henzinger (Zenodo, 2024)

Vamos: Middleware for best-effort third-party monitoring. - Marek Chalupa; Fabian Muehlboeck; Stefanie Muroya Lei; Thomas A. Henzinger (Sci. Comput. Program., 2025)