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

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference., , , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 205-219. Springer, (2011)A constraint-based approach to automatic data partitioning for distributed memory execution., , , and . SC, page 45:1-45:24. ACM, (2019)Selective X-Sensitive Analysis Guided by Impact Pre-Analysis., , , , and . ACM Trans. Program. Lang. Syst., 38 (2): 6:1-6:45 (2016)Control replication: compiling implicit parallelism to efficient SPMD with logical regions., , , , , , , and . SC, page 14. ACM, (2017)Sound Non-Statistical Clustering of Static Analysis Alarms., , , , , and . ACM Trans. Program. Lang. Syst., 39 (4): 16:1-16:35 (2017)Sound Non-statistical Clustering of Static Analysis Alarms., , and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 299-314. Springer, (2012)Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance., , , , , , , , , and 5 other author(s). CoRR, (2019)Selective context-sensitivity guided by impact pre-analysis., , , , and . PLDI, page 475-484. ACM, (2014)The implicit calculus: a new foundation for generic programming., , , , and . PLDI, page 35-44. ACM, (2012)Task bench: a parameterized benchmark for evaluating parallel runtime performance., , , , , , , , , and 5 other author(s). SC, page 62. IEEE/ACM, (2020)