Patrick LaFontaine

I am a PhD student in CS at Purdue University, studying programming languages, formal methods, automated reasoning, program synthesis, and refinement types advised by Professors Ben Delaware.

I presented some upcoming work on synthesizing coverage-complete test input generators at MWPLS 2024. The slides are available from google slides.

In the summer of 2024 I interned at Amazon Web Services(AWS) as an Applied Scientist in the Sysmtes Manager Org. I combined my interests in Abstract Interpretation, Refinement Types, and some classical ML(DBSCAN / K Nearest Neighbors) to build a generalizeable Anomaly Detection framework.

During my undergrad at Cornell University, I worked in the APL reseach group on bringing the proposed Gallifrey Programming Language for distributed programming to life. I finished my time in Ithaca as a member of the Capra research group where I worked on designing a DSL for the CPU-GPU interface in Rust.

I have also interned at IBM Research working on NLP models for corpus conversion.

Occasionally I spend my free time(procrasinate) by adding features and tooling to the Bril(Big Red Intermediate Language) compiler ir. I help maintain a rust crate called LALRPOP for parser generation. I often like to contribute back to Rust crates that I use.