I am a 5th year undergraduate (expected graduation May 2020) studying programming languages with Amal Ahmed at Northeastern University. My past and current research ranges from gradual typing and parametric polymorphism to compositional compiler correctness. In the future, I would like to develop a mechanized framework for modular specification and reasoning about programming languages. See my extended resume here.


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.