Publications

Type-Safe Monotonic Object Evolution

OOPSLA 2026 With Alex Mirrlees-Black, Haoyu Wu, and Gregor Richards

VAMOS: Middleware for Best-Effort Third-Party Monitoring

FASE 2023 With Marek Chalupa, Stefanie Muroya Lei,
and Thomas A. Henzinger

OOPSLA 2021 With Ross Tate

RV 2021 With Thomas A. Henzinger

March 2021 With Guillaume Dubach

Cornell University, 2019 PhD Thesis, advised by Ross Tate

OOPSLA 2018 With Ross Tate

OOPSLA 2017 With Ross Tate

PLDI 2014 With Ben Greenman and Ross Tate

Northeastern University, 2013 MS Thesis, advised by Mitchell Wand