Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cameron Moy
conf.researchr.org general profile
ECOOP 2025 profile
ICFP 2024 profile
PLDI 2021 profile
PLDI 2025 profile
POPL 2021 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Sun 8 Nov 2020
Name:
Cameron Moy
Country:
United States
Affiliation:
Northeastern University
Personal website:
http://camoy.name
Contributions
2025
ECOOP
Author of Contract Systems Need Domain-Specific Notations within the Technical Papers-track
PLDI
Author of Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming within the PLDI Research Papers-track
2024
ICFP
Author of Trace contracts within the JFP First Papers-track
Author of Knuth–Morris–Pratt illustrated (JFP Functional Pearls ) within the JFP First Papers-track
Scheme
Invited Speaker of A Teaching Language for Specification within the Scheme 2024-track
POPL
Author of Effectful Software Contracts within the POPL-track
2023
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2021
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL
Author of Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification within the POPL-track
Share
x
Tue 17 Jun 20:52
