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

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks., and . ECOOP, volume 6813 of Lecture Notes in Computer Science, page 306-332. Springer, (2011)Parallel program performance prediction using deterministic task graph analysis., and . ACM Trans. Comput. Syst., 22 (1): 94-136 (2004)ApproxHPVM: a portable compiler IR for accuracy-aware optimizations., , , , , , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 186:1-186:30 (2019)Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software., , , and . CoRR, (2021)Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL., , and . CoRR, (2022)Wok: statistical program slicing in production., , , and . ICSE (Companion Volume), page 324-325. IEEE / ACM, (2019)SAFECode: enforcing alias analysis for weakly typed languages., , and . PLDI, page 144-157. ACM, (2006)Comparison of Hardware and Software Cache Coherence Schemes., , , and . ISCA, page 298-308. ACM, (1991)Vector LLVA: a virtual vector instruction set for media processing., and . VEE, page 46-56. ACM, (2006)Using likely invariants for automated software fault localization., , , and . ASPLOS, page 139-152. ACM, (2013)