Cameron Moy
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2024
all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Sam Tobin-Hochstadt9 talks
- Matthias Felleisen10 talks
- Sam Lindley27 talks
- Yizhou Zhang13 talks
- Phúc C. Nguyễn4 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| Teaching Software Specification (Experience Report) | ICFP 2025 | 2025-10-12 |
Course redesign puts software specification front and center for first-year students and builds a tiny custom language that adds contracts and property-based… | ||
| Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic(…) | PLDI 2025 | 2025-06-16 |
Roulette claims to be the first discrete PPL that pairs exact, scalable inference with a large subset of Racket features (data structures, first‑class… | ||
| A Teaching Language for Specification | Scheme 2024 | 2024-09-07 |
A compact teaching language called LSL (Logical Student Language) builds on ISL so students spend little time on syntax and much time on real specification… | ||
| Effectful Software Contracts | POPL 2024 | 2024-01-14 |
Presents a formal design that lets contracts perform effects while proving they do not change successful runs: an erasure theorem showing contract checks… | ||
| Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification | POPL 2021 | 2021-01-17 |
Tool extracts Type Racket’s boundary contracts, runs the SCV symbolic verifier on the untyped client code, and selectively bypasses only those runtime checks… | ||
| nothing matches | ||