Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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