Publications

Filter by type:

. Testing for Race Conditions in Distributed Systems via SMT Solving. in TAP, 2020.

PDF

. Exploiting Symbolic Execution to Accelerate Deterministic Databases. in ICDCS, 2020.

. Minha: Large-Scale Distributed Systems Testing Made Practical. in OPODIS, 2019.

PDF

. d'Artagnan: a Trusted NoSQL Database on Untrusted Clouds. in SRDS, 2019.

PDF

. Concurrency Debugging with MaxSMT. in AAAI, 2019.

PDF

. CoopREP: Cooperative Record and Replay of Concurrency Bugs. in Journal of Software Testing, Verification and Reliability, 2018.

PDF

. BuzzPSS: A Dependable and Efficient Peer Sampling Service. in LADC, 2016.

PDF

. Production-guided Concurrency Debugging. in PPoPP, 2016.

PDF Project

. Concurrency Debugging with Differential Schedule Projections. in ACM TOSEM Vol. 25, No. 2, Article 14, 2016.

PDF Project

. Concurrency Debugging with Differential Schedule Projections. in PLDI, 2015.

PDF Project