Joshua M. Cohen - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

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

2025

CoqPL

Implementing OCaml APIs in Coq

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Show activities from other conferences

POPL 2025-profile
View general profile