Lizzie Hernandez

Publication Activity (10 Years)

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

Top Topics

Set Of Inference Rules

Mathematical Proofs

Concurrent Execution

Top Venues

Proc. ACM Program. Lang.

Publications

Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability. Proc. ACM Program. Lang. 8 (POPL) (2024)
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract). HOPC@SPAA (2024)
Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez
A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms. CoRR (2023)