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 .


Knuth-Mor­ris-Pratt Illus­trated
Cameron Moy
JFP 24 · code

Effect­ful Soft­ware Con­tracts
Cameron Moy, Christos Dimoulas, and Matthias Felleisen
POPL 24 · code

Trace Con­tracts
Cameron Moy and Matthias Felleisen
JFP 23 · code

Faster, Sim­pler Red-Black Trees
Cameron Moy
TFP 23 · code

Corpse Reviver: Sound and Effi­cient Grad­ual Typ­ing via Con­tract Ver­i­fi­ca­tion
Cameron Moy, Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn
POPL 21 · code

Just TYPE­ical: Visu­al­iz­ing Com­mon Func­tion Type Sig­na­tures in R
Cameron Moy, Julia Belyakova, Alexi Turcotte, Sara Di Bartolomeo, and Cody Dunne
VIS 20 · code · data