Author of the publication

An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection.

, , , and . LCPC, volume 10136 of Lecture Notes in Computer Science, page 106-120. Springer, (2016)

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

The Eureka Programming Model for Speculative Task Parallelism., and . ECOOP, volume 37 of LIPIcs, page 421-444. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Lightweight Object-Oriented Shared Variables for Cluster Computing in Java., and . J. Parallel Distributed Comput., 60 (10): 1238-1259 (2000)Dynamic Task Parallelism with a GPU Work-Stealing Runtime System., , , and . LCPC, volume 7146 of Lecture Notes in Computer Science, page 203-217. Springer, (2011)Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs., , , , and . LCPC, volume 8664 of Lecture Notes in Computer Science, page 342-356. Springer, (2013)CnC-CUDA: Declarative Programming for GPUs., , , and . LCPC, volume 6548 of Lecture Notes in Computer Science, page 230-245. Springer, (2010)A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs.. LCPC, volume 757 of Lecture Notes in Computer Science, page 16-30. Springer, (1992)Practical Permissions for Race-Free Parallelism., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 614-639. Springer, (2012)A Transformation Framework for Optimizing Task-Parallel Programs., , , and . ACM Trans. Program. Lang. Syst., 35 (1): 3:1-3:48 (2013)Bounded memory scheduling of dynamic task graphs., , and . PACT, page 343-356. ACM, (2014)HabaneroUPC++: a Compiler-free PGAS Library., , , , and . PGAS, page 5:1-5:10. ACM, (2014)