Cameron Moy

I’m a post­doc­toral research asso­ciate at North­east­ern Uni­ver­sity. Broadly speak­ing, my work aims to improve soft­ware qual­ity by devel­op­ing expres­sive pro­gram­ming-lan­guage abstrac­tions.

Teaching Software Specification (Experience Report)
Cameron Moy and Daniel Patterson
2025 · ICFP · code

Contract Systems Need Domain-Specific Notations
Cameron Moy, Ryan Jung, and Matthias Felleisen
2025 · ECOOP · code

Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, and Steven Holtzen
2025 · PLDI · code

Knuth-Morris-Pratt Illustrated
Cameron Moy
2024 · JFP · code

Effectful Software Contracts
Cameron Moy, Christos Dimoulas, and Matthias Felleisen
2024 · POPL · code

Trace Contracts
Cameron Moy and Matthias Felleisen
2023 · JFP · code

Faster, Simpler Red-Black Trees
Cameron Moy
2023 · TFP · code

Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Cameron Moy, Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn
2021 · POPL · code