Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration., , , und . HotPar, USENIX Association, (2012)DETERMIN: inferring likely deterministic specifications of multithreaded programs., und . ICSE (1), Seite 415-424. ACM, (2010)FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage., und . CoRR, (2017)Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions., , und . FMOODS, Volume 3535 von Lecture Notes in Computer Science, Seite 211-226. Springer, (2005)Efficient data race detection for distributed memory parallel programs., , , und . SC, Seite 51:1-51:12. ACM, (2011)LLM-Assisted Code Cleaning For Training Accurate Code Generators., , , , , und . CoRR, (2023)Scalable Automated Methods for Dynamic Program Analysis. University of Illinois Urbana-Champaign, USA, (2006)QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis., , , und . QCE, Seite 232-243. IEEE, (2021)Efficient and transferable adversarial examples from bayesian neural networks., , , , und . UAI, Volume 180 von Proceedings of Machine Learning Research, Seite 738-748. PMLR, (2022)Runtime safety analysis of multithreaded programs., , und . ESEC / SIGSOFT FSE, Seite 337-346. ACM, (2003)