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

SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection., , , , and . IPDPS, page 835-844. IEEE Computer Society, (2018)Block-Size Independence for GPU Programs., , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 107-126. Springer, (2018)High-performance determinism with total store order consistency., , and . EuroSys, page 31:1-31:13. ACM, (2015)RCDC: a relaxed consistency deterministic computer., , , , and . ASPLOS, page 67-78. ACM, (2011)Hardware Optimizations for Anytime Perception and Control., , , , , , and . RTSS, page 380. IEEE Computer Society, (2015)Atom-Aid: Detecting and Surviving Atomicity Violations., , , and . ISCA, page 277-288. IEEE Computer Society, (2008)BARRACUDA: binary-level analysis of runtime RAces in CUDA programs., , , , and . PLDI, page 126-140. ACM, (2017)GPUDrano: Detecting Uncoalesced Accesses in GPU Programs., , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 507-525. Springer, (2017)PARSNIP: performant architecture for race safety with no impact on precision., , and . MICRO, page 490-502. ACM, (2017)TMI: thread memory isolation for false sharing repair., , , , and . MICRO, page 639-650. ACM, (2017)