Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient flow profiling for detecting performance bugs., and . ISSTA, page 413-424. ACM, (2016)Protocol Inference Using Static Path Profiles., , , and . SAS, volume 5079 of Lecture Notes in Computer Science, page 78-92. Springer, (2008)Multithreaded test synthesis for deadlock detection., and . OOPSLA, page 473-489. ACM, (2014)Randomized leader election., , , , and . Distributed Comput., 19 (5-6): 403-418 (2007)Dyssect: Dynamic Scaling of Stateful Network Functions., , , , and . INFOCOM, page 1529-1538. IEEE, (2022)CoCoMIC: Code Completion by Jointly Modeling In-file and Cross-file Context., , , , , , , and . LREC/COLING, page 3433-3445. ELRA and ICCL, (2024)ReCode: Robustness Evaluation of Code Generation Models., , , , , , , , , and 4 other author(s). ACL (1), page 13818-13843. Association for Computational Linguistics, (2023)Redundant reader elimination in RFID systems., , , , and . SECON, page 176-184. IEEE, (2005)Omen+: a precise dynamic deadlock detector for multithreaded Java libraries., and . SIGSOFT FSE, page 735-738. ACM, (2014)Static specification inference using predicate mining., , and . PLDI, page 123-134. ACM, (2007)