Ao Li

Ao Li

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.

Articles by Ao Li
Lucene

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

Benjamin Trent