Personal information

Verified email domains

Activities

Education and qualifications (1)

Princeton University: Princeton, NJ, US

2020-08-01 to present | PhD (Computer Science)
Education
Source: Self-asserted source
Joshua Cohen

Works (4)

Specifying and Verifying a Real-World Packet Error-Correction System

2024 | Book chapter
Contributors: Joshua M. Cohen; Andrew W. Appel
Source: check_circle
Crossref

A Formalization of Core Why3 in Coq

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Joshua M. Cohen; Philip Johnson-Freyd
Source: check_circle
Crossref

Verified Erasure Correction in Coq with MathComp and VST

2022 | Book chapter
Contributors: Joshua M. Cohen; Qinshi Wang; Andrew W. Appel
Source: check_circle
Crossref

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

Journal of Functional Programming
2021 | Journal article
Part of ISSN: 0956-7968
Part of ISSN: 1469-7653
Source: Self-asserted source
Joshua Cohen