Marco Primi

Distributed Systems Engineer at Antithesis

Carnegie Mellon University

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software

Standalone talks by Marco Primi

Self-contained public lectures, keynote addresses, and research seminars.

Deterministic Simulation Testing for Distributed Databases (Antithesis)

4 ch1:01:02

Systems & CS·Research Seminar

Deterministic Simulation Testing for Distributed Databases (Antithesis)

Marco Primi·Carnegie Mellon University

CMU Database Group seminar unpacking deterministic hypervisor fuzzing—reproducing once-in-a-decade distributed consensus and storage corruption bugs deterministically.