C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Joshua M. Cohen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Database
Theorem Prover
Top Venues
Proc. ACM Program. Lang.
CAV (2)
</>
Publications
</>
Joshua M. Cohen
,
Philip Johnson-Freyd
A Formalization of Core Why3 in Coq.
Proc. ACM Program. Lang.
8 (POPL) (2024)
Joshua M. Cohen
,
Qinshi Wang
,
Andrew W. Appel
Verified Erasure Correction in Coq with MathComp and VST.
CAV (2)
(2022)