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

Towards verifying eventually consistent applications., , and . PaPEC@EuroSys, page 11:1-11:4. ACM, (2014)HPC Software Verification in Action: A Case Study with Tensor Transposition., , and . CORRECTNESS@SC, page 9-16. IEEE, (2018)Consistency-Aware Scheduling for Weakly Consistent Programs., , , , and . ACM SIGSOFT Softw. Eng. Notes, 42 (4): 1-5 (2017)Toward generalized tensor algebra for ab initio quantum chemistry methods., , and . ARRAY@PLDI, page 46-56. ACM, (2019)Race detection techniques for applications using asynchronous programming models (Asenkron programlama modellerini kullanan uygulamalar için yarış durumu yakalama teknikleri). Koç University, Turkey, (2016)COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry., , , , , , and . LCPC, volume 13149 of Lecture Notes in Computer Science, page 87-103. Springer, (2020)I Know It When I See It: Observable Races in JavaScript Applications., , and . Dyla@PLDI, page 1:1-1:7. ACM, (2014)TAMM: Tensor Algebra for Many-body Methods., , , , , , and . CoRR, (2022)COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry., , , , , , and . CoRR, (2021)Dynamic Verification for Hybrid Concurrent Programming Models., , , , and . RV, volume 8734 of Lecture Notes in Computer Science, page 156-161. Springer, (2014)