Joshua M. Cohen -

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

ICSE

Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

CoqPL

Author of Implementing OCaml APIs in Coq within the CoqPL 2025-track

POPL

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

2024

ICFP

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

POPL

Author of A Formalization of Core Why3 in Coq within the POPL-track