( en | de | ru )

 

Disambiguation of "Freund, Stephen N."

Author of the publication

copydeleteadd this publication to your clipboard
FastTrack: efficient and precise dynamic race detection.

, and . PLDI, page 121-133. ACM, (2009)

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.

n n n

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

Stephen Stürzenbaum

 

Other publications of authors with the same name

Adding Type Parameterization to the Java Language., , and . OOPSLA, page 49-65. ACM, (1997)SIGPLAN Notices 32(10).Atomizer: a dynamic atomicity checker for multithreaded programs., and . POPL, page 256-267. ACM, (2004)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)Type-based race detection for Java., and . PLDI, page 219-232. ACM, (2000)RedCard: Redundant Check Elimination for Dynamic Race Detectors., and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 255-280. Springer, (2013)Exploiting purity for atomicity., , and . ISSTA, page 221-231. ACM, (2004)Dynamic Architecture Extraction., and . FATES/RV, volume 4262 of Lecture Notes in Computer Science, page 209-224. Springer, (2006)The RoadRunner dynamic analysis framework for concurrent programs., and . PASTE, page 1-8. ACM, (2010)Type inference for atomicity., , and . TLDI, page 47-58. ACM, (2005)Modular verification of multithreaded programs., , , and . Theor. Comput. Sci., 338 (1-3): 153-183 (2005)