Sign in
Cameron Moy
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 7
Top Topics
Highly Efficient
Information Systems
Piecewise Linear
Labeled Trees
Top Venues
Proc. ACM Program. Lang.
CoRR
TFP
CHI
</>
Publications
</>
Cameron Moy
,
Christos Dimoulas
,
Matthias Felleisen
Effectful Software Contracts.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Alex Jiahong Lu
,
Shruti Sannon
,
Cameron Moy
,
Savana Brewer
,
Jaye Green
,
Kisha N. Jackson
,
Daivon Reeder
,
Camaria Wafer
,
Mark S. Ackerman
,
Tawanna R. Dillahunt
Shifting from Surveillance-as-Safety to Safety-through-Noticing: A Photovoice Study with Eastside Detroit Residents.
CHI
(2023)
Cameron Moy
Faster, Simpler Red-Black Trees.
TFP
(2023)
Alex Jiahong Lu
,
Shruti Sannon
,
Cameron Moy
,
Savana Brewer
,
Jaye Green
,
Kisha N. Jackson
,
Daivon Reeder
,
Camaria Wafer
,
Mark S. Ackerman
,
Tawanna R. Dillahunt
Participatory Noticing through Photovoice: Engaging Arts- and Community-Based Approaches in Design Research.
Conference on Designing Interactive Systems
(2023)
Cameron Moy
,
Phuc C. Nguyen
,
Sam Tobin-Hochstadt
,
David Van Horn
Corpse reviver: sound and efficient gradual typing via contract verification.
Proc. ACM Program. Lang.
5 (POPL) (2021)
Cameron Moy
,
Julia Belyakova
,
Alexi Turcotte
,
Sara Di Bartolomeo
,
Cody Dunne
Just TYPEical: Visualizing Common Function Type Signatures in R.
IEEE VIS (Short Papers)
(2020)
Cameron Moy
,
Phuc C. Nguyen
,
Sam Tobin-Hochstadt
,
David Van Horn
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification.
CoRR
(2020)