( en | de | ru )

 

Disambiguierung von "Musuvathi, Madanlal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SherLock: unsupervised synchronization-operation inference.

, , , , und . ASPLOS, Seite 314-328. ACM, (2021)

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.

Keine Personen gefunden für den Autorennamen Musuvathi, Madanlal
Eine Person hinzufügen mit dem Namen Musuvathi, Madanlal
 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Data-Race Detection for the Kernel., , , und . OSDI, Seite 151-162. USENIX Association, (2010)Preemption Sealing for Efficient Concurrency Testing., , , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 420-434. Springer, (2010)Show No Weakness: Sequentially Consistent Specifications of TSO Libraries., , und . DISC, Volume 7611 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2012)CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs., , , , , , , und . CoRR, (2018)Zap: Automated Theorem Proving for Software Analysis., , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 2-22. Springer, (2005)CHET: an optimizing compiler for fully-homomorphic neural-network inferencing., , , , , , , und . PLDI, Seite 142-156. ACM, (2019)Ranking LLM-Generated Loop Invariants for Program Verification., , , , , , , , und . EMNLP (Findings), Seite 9164-9175. Association for Computational Linguistics, (2023)Synthesizing optimal collective algorithms., , , , , , und . PPoPP, Seite 62-75. ACM, (2021)A Combination Method for Generating Interpolants., und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 353-368. Springer, (2005)SherLock: unsupervised synchronization-operation inference., , , , und . ASPLOS, Seite 314-328. ACM, (2021)