Autor der Publikation

Type Inference Against Races.

, und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2004)

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

Exploiting purity for atomicity., , und . ISSTA, Seite 221-231. ACM, (2004)The type system for object initializatiion in the Jave bytecode language., und . ACM Trans. Program. Lang. Syst., 21 (6): 1196-1250 (1999)RedCard: Redundant Check Elimination for Dynamic Race Detectors., und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 255-280. Springer, (2013)Dynamic Architecture Extraction., und . FATES/RV, Volume 4262 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2006)Atomizer: A dynamic atomicity checker for multithreaded programs., und . Sci. Comput. Program., 71 (2): 89-109 (2008)SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations., , , , , , , , , und 8 andere Autor(en). ACM SIGPLAN Notices, 43 (11): 6-29 (2008)Type-based race detection for Java., und . PLDI, Seite 219-232. ACM, (2000)Adding Type Parameterization to the Java Language., , und . OOPSLA, Seite 49-65. ACM, (1997)SIGPLAN Notices 32(10).Atomizer: a dynamic atomicity checker for multithreaded programs., und . POPL, Seite 256-267. ACM, (2004)A Type System For Object Initialization In the Java Bytecode Language., und . HOOTS, Volume 10 von Electronic Notes in Theoretical Computer Science, Seite 242-245. Elsevier, (1997)