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

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions., , , and . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)Programming, compilation, and resource management issues for multithreading (panel session II)., , , , and . SIGARCH Comput. Archit. News, 22 (1): 19-33 (1994)HIPLZ: Enabling performance portability for exascale systems., , , , , and . Concurr. Comput. Pract. Exp., (2023)Introduction., and . SSA-based Compiler Design, Springer, (2022)Accelerating Habanero-Java programs with OpenCL generation., , , , and . PPPJ, page 124-134. ACM, (2013)HJ-Viz: a new tool for visualizing, debugging and optimizing parallel programs., , , and . SPLASH (Companion Volume), page 53-54. ACM, (2014)Exploiting parallelism in mobile devices., , , , and . SPLASH (Companion Volume), page 38-39. ACM, (2015)A Simple and Efficient Implmentation Approach for Single Assignment Languages., , and . LISP and Functional Programming, page 259-268. ACM, (1988)Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries., and . AGERE!@SPLASH, page 67-80. ACM, (2014)Memory access scheduling to reduce thread migrations., , and . CC, page 144-155. ACM, (2022)