Joshua M. Cohen - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

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

2024

POPL

A Formalization of Core Why3 in Coq

Show activities from other conferences

POPL 2024-profile
View general profile