Ao Li

Ao Li

Ao Li est en cinquième année de doctorat à l'université Carnegie Mellon. Ses recherches portent sur le développement d'outils de débogage et de test pratiques et polyvalents pour les applications hétérogènes en nuage.

Articles de Ao Li
Lucene

Bugs de concurrence dans Lucene : Comment corriger les échecs de concurrence optimiste

Grâce à Fray, un cadre de test de concurrence déterministe du PASTA Lab de CMU, nous avons découvert un bogue Lucene délicat et l'avons éliminé.

Benjamin Trent