I'm a PhD student in Adam Chlipala's group at MIT, working on developing a mechanized framework for extension-proof compiler verification based on modular specifications for programming languages. I completed my Bachelor's degree in May 2020 at Northeastern University, where I researched gradual typing, parametric polymorphism, and compositional compiler correctness in Amal Ahmed's group. See my extended resume here.


Graduality and Parametricity: Together Again for the First Time.
Max New, Dustin Jamner, and Amal Ahmed.
To appear in 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '20), New Orleans, Louisiana, USA. January 2020.

Using Binary Analysis Frameworks: The Case for BAP and angr.
Chris Casinghino, Michael Dixon, Jt Paasch, Cody Roux, John Altidor and Dustin Jamner.
In 11th Annual NASA Formal Methods Symposium (NFM 2019), Houston, Texas, USA. May 2019.

Theorems for Free for Free: Parametricity, With and Without Types.
Amal Ahmed, Dustin Jamner, Jeremy Siek, and Philip Wadler.
In 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP '17), Oxford, UK. September 2017.
Technical report, June 2017.