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

High-coverage, Unbounded Sound Predictive Race Detection, , und . Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 374--389. ACM, (2018)Correcting the Dynamic Call Graph Using Control-Flow Constraints., , , und . CC, Volume 4420 von Lecture Notes in Computer Science, Seite 80-95. Springer, (2007)Dependence-aware, unbounded sound predictive race detection., , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 179:1-179:30 (2019)Instrumentation bias for dynamic data race detection., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 69:1-69:31 (2017)Neat: Low-Complexity, Efficient On-Chip Cache Coherence., , , , und . CoRR, (2021)Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support., , , , und . ACM Trans. Parallel Comput., 4 (2): 9:1-9:42 (2017)Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases., , , , , und . CIDR, www.cidrdb.org, (2023)Legato: end-to-end bounded region serializability using commodity hardware transactional memory., , , und . CGO, Seite 1-13. ACM, (2017)Finding heterogeneous-unsafe configuration parameters in cloud systems., , , und . EuroSys, Seite 410-425. ACM, (2021)Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization., , , und . PPPJ, Seite 65-75. ACM, (2015)