Παρακολούθηση
Joshua M. Cohen
Joshua M. Cohen
PhD Student, Princeton University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα princeton.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
J Breitner, A Spector-Zabusky, Y Li, C Rizkallah, J Wiegley, J Cohen, ...
Journal of Functional Programming 31, e5, 2021
132021
Verified erasure correction in Coq with MathComp and VST
JM Cohen, Q Wang, AW Appel
International Conference on Computer Aided Verification, 272-292, 2022
32022
A Formalization of Core Why3 in Coq
JM Cohen, P Johnson-Freyd
Proceedings of the ACM on Programming Languages 8 (POPL), 1789-1818, 2024
22024
Specifying and Verifying a Real-World Packet Error-Correction System
JM Cohen, AW Appel
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–4