Publications: 1. 'Bridging the Gap Between Binary and Source Based Package Management in Spack', Super Computing 2025. 2. 'Scaling Optimization Over Uncertainty via Compilation', OOPSLA 2025.
Research Experience
Currently working with Todd Gamblin at Lawrence Livermore National Laboratory on extending Spack's solver to better reuse already-built packages; previously worked on evaluating and improving large language models for code generation and building scalable abstractions for probabilistic programs with Steven Holtzen.
Education
Pursuing a PhD at Northeastern University, advised by Arjun Guha; BA in Computer Science and Mathematics from Grinnell College, where I worked with Professor Jerod Weinman on automated alignment of historical map images to modern GIS data and participated in the Rutgers-DIMACS REU program, working with Professor Eric Allender on proving circuit lower bounds for non-interactive statistical zero-knowledge proof protocols.
Background
I am a 5th year PhD. student in the Programming Research Laboratory at Northeastern University, broadly interested in applying programming languages techniques (especially those related to building compilers and DSLs) across the landscape of computing to make programs faster, safer, and more expressive.