( en | de | ru )

 

Disambiguierung von "Musuvathi, Madanlal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.

, , und . DISC, Volume 7611 von Lecture Notes in Computer Science, Seite 31-45. 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

TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems., , , und . Proc. VLDB Endow., 8 (10): 1046-1057 (2015)Safe-by-default Concurrency for Modern Programming Languages., , und . ACM Trans. Program. Lang. Syst., 43 (3): 10:1-10:50 (2021)Verifying Local Transformations on Relaxed Memory Models., , und . CC, Volume 6011 von Lecture Notes in Computer Science, Seite 104-123. Springer, (2010)Model checking system software with CMC., , , und . ACM SIGOPS European Workshop, Seite 219-222. ACM, (2002)Parallelizing user-defined aggregations using symbolic execution., , und . SOSP, Seite 153-167. ACM, (2015)Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing., , , , und . SOSP, Seite 162-180. ACM, (2019)Towards General-Purpose Resource Management in Shared Cloud Services., , , und . HotDep, USENIX Association, (2014)GAMBIT: effective unit testing for concurrency libraries., , und . PPoPP, Seite 15-24. ACM, (2010)Parallelizing dynamic programming through rank convergence., , und . PPoPP, Seite 219-232. ACM, (2014)NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions., , , und . ICSE Companion, Seite 410-411. ACM, (2024)