( en | de | ru )

 

Disambiguation of "Freund, Stephen N."

Author of the publication

copydeleteadd this publication to your clipboard
ChatDBG: An AI-Powered Debugging Assistant.

, , , and . CoRR, (2024)

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 Mamphey

 

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)RedCard: Redundant Check Elimination for Dynamic Race Detectors., and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 255-280. Springer, (2013)Dynamic Architecture Extraction., and . FATES/RV, volume 4262 of Lecture Notes in Computer Science, page 209-224. Springer, (2006)Exploiting purity for atomicity., , and . ISSTA, page 221-231. 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)Type Inference Against Races., and . SAS, volume 3148 of Lecture Notes in Computer Science, page 116-132. Springer, (2004)Thread-Modular Verification for Shared-Memory Programs., , and . ESOP, volume 2305 of Lecture Notes in Computer Science, page 262-277. Springer, (2002)Type systems for object-oriented intermediate languages.. Stanford University, USA, (2000)