Cezar-Constantin Andrici

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
Securing Verified IO Programs Against Unverified Code in F. Proc. ACM Program. Lang. 8 (POPL) (2024)
Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
Securely Compiling Verified F* Programs With IO. CoRR (2023)
Cezar-Constantin Andrici, Stefan Ciobaca
Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny. CoRR (2020)
Cezar-Constantin Andrici, Stefan Ciobaca
Verifying the DPLL Algorithm in Dafny. FROM (2019)