Author of the publication

Declarative Parallel Programming for GPUs.

, , , , , and . PARCO, volume 22 of Advances in Parallel Computing, page 297-304. IOS Press, (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

Kanor - A Declarative Language for Explicit Communication., , , , , and . PADL, volume 6539 of Lecture Notes in Computer Science, page 190-204. Springer, (2011)Towards answering Äm I on the right track?" automatically using program synthesis., , , , and . SPLASH-E, page 13-24. ACM, (2019)Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)., , , and . FLOPS, volume 4989 of Lecture Notes in Computer Science, page 64-80. Springer, (2008)A Simple Complete Search for Logic Programming., , , and . ICLP (Technical Communications), volume 58 of OASIcs, page 14:1-14:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)An Access Control Architecture for Distributing Trust in Pervasive Computing Environments., , and . EUC, page 695-702. IEEE Computer Society, (2010)miniAdapton: A Minimal Implementation of Incremental Computation in Scheme., , , and . CoRR, (2016)Leveraging Constraint Logic Programming for Neural Guided Program Synthesis., , , , , , and . ICLR (Workshop), OpenReview.net, (2018)The reasoned schemer., , and . MIT Press, (2005)Declarative Parallel Programming for GPUs., , , , , and . PARCO, volume 22 of Advances in Parallel Computing, page 297-304. IOS Press, (2011)Lightweight Functional Logic Meta-Programming., , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 225-243. Springer, (2019)