
Registered user since Wed 8 Nov 2023
Name:Joshua M. Cohen
Affiliation:Princeton University
Personal website: https://www.cs.princeton.edu/~jmc16/
GitHub: https://github.com/joscoh
Contributions
POPL 2025-profile
View general profile
View general profile