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

Type inference for atomicity., , and . TLDI, page 47-58. ACM, (2005)The RoadRunner dynamic analysis framework for concurrent programs., and . PASTE, page 1-8. ACM, (2010)Modular verification of multithreaded programs., , , and . Theor. Comput. Sci., 338 (1-3): 153-183 (2005)ChatDBG: An AI-Powered Debugging Assistant., , , and . CoRR, (2024)RedCard: Redundant Check Elimination for Dynamic Race Detectors., and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 255-280. Springer, (2013)The type system for object initializatiion in the Jave bytecode language., and . ACM Trans. Program. Lang. Syst., 21 (6): 1196-1250 (1999)Exploiting purity for atomicity., , and . ISSTA, page 221-231. ACM, (2004)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)Adding Type Parameterization to the Java Language., , and . OOPSLA, page 49-65. ACM, (1997)SIGPLAN Notices 32(10).