Sotabase

Career

· PhD Student, Northeastern University

Publications (14)

Corpse reviver: sound and efficient gradual typing via contract verification
Proc. ACM Program. Lang. · 2020
17
cited
Effectful Software Contracts
Proc. ACM Program. Lang. · 2024
4
cited
Trace contracts
Journal of functional programming · 2023
2
cited
Just TYPEical: Visualizing Common Function Type Signatures in R
Visual .. · 2020
1
cited
Teaching Software Specification (Experience Report)
Proceedings of the ACM on Programming Languages · 2025
1
cited
Contract Systems Need Domain-Specific Notations (Artifact)
Dagstuhl Artifacts Ser. · 2025
Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea)
European Conference on Object-Oriented Programming · 2025
Effectful Software Contracts (with Appendices)
Faster, Simpler Red-Black Trees
Symposium on Trends in Functional Programming · 2023
Knuth–Morris–Pratt illustrated
Journal of functional programming · 2024
Making Hybrid Languages: A Recipe
arXiv.org · 2024
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Proc. ACM Program. Lang. · 2025
Sotabase
Cameron Moy | Researcher Profile | Sotabase | Sotabase