Cameron Moy

I’m a Ph.D. stu­dent and mem­ber of the Pro­gram­ming Research Lab­o­ra­tory at North­east­ern Uni­ver­sity. My research area is pro­gram­ming lan­guages with an empha­sis on robust soft­ware con­struc­tion. Reach me at .

Publications

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

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

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

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

Trace Contracts
Cameron Moy and Matthias Felleisen
JFP 23 · code

Faster, Simpler Red-Black Trees
Cameron Moy
TFP 23 · 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
POPL 21 · code