About the author
Ao Li is a fifth-year PhD student at Carnegie Mellon University. His research focuses on developing practical and general-purpose debugging and testing tools for heterogeneous cloud applications.
Author’s articles

February 7, 2025
Concurrency bugs in Lucene: How to fix optimistic concurrency failures
Thanks to Fray, a deterministic concurrency testing framework from CMU’s PASTA Lab, we tracked down a tricky Lucene bug and squashed it