Joshua M. Cohen - POPL 2024

Wed 17 - Fri 19 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

Using general profile