Cameron Moy

email
office IRB 5252

I鈥檓 a post颅doc in the Mary颅land Cyber颅se颅cu颅rity Cen颅ter at the Uni颅ver颅sity of Mary颅land. 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.

Publications

Mixing Visual and Textual Code
Leif聽Andersen, Michael聽Ballantyne, Cameron聽Moy, Matthias聽Felleisen, and Stephen聽Chang
2026 路 JFP

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峄卬, Sam聽Tobin-Hochstadt, and David聽Van聽Horn
2021 路 POPL 路 code

Dissertation

Contracts and Effects
Cameron Moy
2025 路 North颅east颅ern Uni颅ver颅sity