Fabian Muehlboeck
About
Projects
Students
Awards
Teaching
Activities
Publications
VAMOS: Middleware for Best-Effort Third-Party Monitoring
FASE 2023
With Marek Chalupa, Stefanie Muroya Lei,
and
Thomas A. Henzinger
Paper
Technical Report
BibTeX
Artifact (Zenodo)
Artifact (GitHub)
Artifact BibTeX
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
OOPSLA 2021
With
Ross Tate
Paper
BibTeX
Technical Report
Artifact (Zenodo)
Artifact (GitHub)
Artifact BibTeX
Differential Monitoring
RV 2021
With
Thomas A. Henzinger
Paper
Technical Report
BibTeX
Formal Verification of Zagier's One-Sentence Proof
March 2021
With
Guillaume Dubach
Paper
BibTeX
Coq-Proofs
Efficient Runtimes for Gradual Typing
Cornell University, 2019
PhD Thesis, advised by
Ross Tate
Thesis
Empowering Union and Intersection Types with Integrated Subtyping
OOPSLA 2018
With
Ross Tate
Paper
BibTeX
Artifact (Coq-Proofs)
Artifact BibTeX
Sound Gradual Typing is Nominally Alive and Well
OOPSLA 2017
With
Ross Tate
Paper
Technical Report
BibTeX
Supplementary Material (without VMs)
Supplementary Material (including VMs)
Getting F-Bounded Polymorphism into Shape
PLDI 2014
With
Ben Greenman
and
Ross Tate
Paper
Technical Report
BibTeX
Your browser does not support the video tag.
Checking Binding Hygiene Statically
Northeastern University, 2013
MS Thesis, advised by
Mitchell Wand
Thesis