( en | de | ru )

 

Disambiguierung von "Musuvathi, Madanlal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
What's Decidable about Weak Memory Models?

, , , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 26-46. Springer, (2012)

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

CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs., , , , , , , und . CoRR, (2018)Preemption Sealing for Efficient Concurrency Testing., , , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 420-434. Springer, (2010)Zap: Automated Theorem Proving for Software Analysis., , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 2-22. Springer, (2005)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: an optimizing compiler for fully-homomorphic neural-network inferencing., , , , , , , und . PLDI, Seite 142-156. ACM, (2019)Effective Data-Race Detection for the Kernel., , , und . OSDI, Seite 151-162. USENIX Association, (2010)A Combination Method for Generating Interpolants., und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 353-368. Springer, (2005)Synthesizing optimal collective algorithms., , , , , , und . PPoPP, Seite 62-75. ACM, (2021)SherLock: unsupervised synchronization-operation inference., , , , und . ASPLOS, Seite 314-328. ACM, (2021)An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals., und . PDPAR@CAV, Volume 144 von Electronic Notes in Theoretical Computer Science, Seite 27-41. Elsevier, (2005)