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

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)The Eureka Programming Model for Speculative Task Parallelism (Artifact)., and . Dagstuhl Artifacts Ser., 1 (1): 06:1-06:2 (2015)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)Advanced Graph-Based Deep Learning for Probabilistic Type Inference., , and . CoRR, (2020)S2FA: an accelerator automation framework for heterogeneous computing in datacenters., , , , , and . DAC, page 153:1-153:6. ACM, (2018)Linear Promises: Towards Safer Concurrent Programming (Artifact)., , and . Dagstuhl Artifacts Ser., 7 (2): 15:1-15:3 (2021)Using Dynamic Compilation to Achieve Ninja Performance for CNN Training on Many-Core Processors., , and . Euro-Par, volume 11014 of Lecture Notes in Computer Science, page 265-278. Springer, (2018)Practical Permissions for Race-Free Parallelism., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 614-639. Springer, (2012)Optimizing Array Accesses in High Productivity Languages., , and . HPCC, volume 4782 of Lecture Notes in Computer Science, page 432-445. Springer, (2007)Subregion Analysis and Bounds Check Elimination for High Level Arrays., , and . CC, volume 6601 of Lecture Notes in Computer Science, page 246-265. Springer, (2011)