Sobre el autor
Ao Li es estudiante de quinto año de doctorado en la Universidad Carnegie Mellon. Su investigación se centra en desarrollar herramientas prácticas y de prueba de propósito general para aplicaciones heterogéneas en la nube.
Artículos del autor
7 de febrero de 2025
Errores de concurrencia en Lucene: Cómo corregir fallos de concurrencia optimistas
Gracias a Fray, un marco determinista de pruebas de concurrencia del laboratorio PASTA de CMU, localizamos un bug complicado de Lucene y lo eliminamos