Joshua M. Cohen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Joshua M. Cohen, Philip Johnson-Freyd
A Formalization of Core Why3 in Coq. Proc. ACM Program. Lang. 8 (POPL) (2024)
Joshua M. Cohen, Andrew W. Appel
Specifying and Verifying a Real-World Packet Error-Correction System. VSTTE (2023)
Joshua M. Cohen, Qinshi Wang, Andrew W. Appel
Verified Erasure Correction in Coq with MathComp and VST. CAV (2) (2022)