Fabian Muehlboeck

According to our database, Fabian Muehlboeck authored at least 9 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

VAMOS: Middleware for Best-Effort Third-Party Monitoring.

Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger

Dataset, January, 2023

Vamos: Middleware for Best-Effort Third-Party Monitoring.

Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2021

Transitioning from structural to nominal code with efficient gradual typing.

Fabian Muehlboeck, Ross Tate

Proc. ACM Program. Lang., 2021

Formal verification of Zagier's one-sentence proof.

Guillaume Dubach, Fabian Muehlboeck

CoRR, 2021

Differential Monitoring.

Fabian Muehlboeck, Thomas A. Henzinger

Proceedings of the Runtime Verification - 21st International Conference, 2021

2019

Efficient Runtimes for Gradual Typing.

Fabian Muehlboeck

PhD thesis, 2019

2018

Empowering union and intersection types with integrated subtyping.

Fabian Muehlboeck, Ross Tate

Proc. ACM Program. Lang., 2018

2017

Sound gradual typing is nominally alive and well.

Fabian Muehlboeck, Ross Tate

Proc. ACM Program. Lang., 2017

2014

Getting F-bounded polymorphism into shape.

Ben Greenman, Fabian Muehlboeck, Ross Tate

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014