Autor der Publikation

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers.

, , und . LCPC, Volume 5234 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2007)

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

Reducing the Cost of Data Flow Analysis By Congruence Partitioning., , und . CC, Volume 786 von Lecture Notes in Computer Science, Seite 357-373. Springer, (1994)Cultivating Human Expertise Through AI-Assisted Data Science., , , , , , , , , und 2 andere Autor(en). DaSH@KDD, (2020)Towards Automating the AI Operations Lifecycle., , , , , , , und . CoRR, (2020)Barrier matching for programs with textually unaligned barriers., und . PPoPP, Seite 194-204. ACM, (2007)DiSTRICT: Dialogue State Tracking with Retriever Driven In-Context Tuning., , und . EMNLP, Seite 5101-5112. Association for Computational Linguistics, (2023)Characterizing defect trends in software support., , , , und . ICSE Companion, Seite 508-511. ACM, (2014)New opportunities for extracting insights from cloud based IDEs., , , und . ICSE Companion, Seite 408-411. ACM, (2014)Demand-driven Computation of Interprocedural Data Flow., , und . POPL, Seite 37-48. ACM Press, (1995)Distributed Slicing and Partial Re-execution for Distributed Programs., , und . LCPC, Volume 757 von Lecture Notes in Computer Science, Seite 497-511. Springer, (1992)Software Profiling for Hot Path Prediction: Less is More., und . ASPLOS, Seite 202-211. ACM Press, (2000)