Author of the publication

Dataflow Analysis for Datarace-Free Programs.

, , and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 196-215. Springer, (2011)

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

BOLD: an ontology-based log debugger for C programs., , and . Autom. Softw. Eng., 29 (1): 2 (2022)Efficient online cycle detection technique combining with Steensgaard points-to information., , and . Softw. Pract. Exp., 46 (5): 601-623 (2016)Distributed Graph Analytics - Programming, Languages, and Their Compilation, , and . Springer, (2020)LightHouse: An Automatic Code Generator for Graph Algorithms on GPUs., and . LCPC, volume 10136 of Lecture Notes in Computer Science, page 235-249. Springer, (2016)Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters., , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 47-62. Springer, (2009)FastCollect: offloading generational garbage collection to integrated GPUs., and . CASES, page 21:1-21:10. ACM, (2016)DH-Falcon: A Language for Large-Scale Graph Processing on Distributed Heterogeneous Systems., , and . CLUSTER, page 439-450. IEEE Computer Society, (2017)Graffix: Efficient Graph Processing with a Tinge of GPU-Specific Approximations., and . ICPP, page 23:1-23:11. ACM, (2020)Dataflow Analysis for Datarace-Free Programs., , and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 196-215. Springer, (2011)Fast Dynamic Graph Algorithms., , and . LCPC, volume 11403 of Lecture Notes in Computer Science, page 262-277. Springer, (2017)