Erdal Mutlu

Orcid: 0000-0001-7472-3621

According to our database1, Erdal Mutlu authored at least 11 papers between 2014 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
TAMM: Tensor Algebra for Many-body Methods.
CoRR, 2022

2020
COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry.
Proceedings of the Languages and Compilers for Parallel Computing, 2020

2019
Toward generalized tensor algebra for ab initio quantum chemistry methods.
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

2018
Output nondeterminism detection for programming models combining dataflow with shared memory.
Parallel Comput., 2018

HPC Software Verification in Action: A Case Study with Tensor Transposition.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

2017
Consistency-Aware Scheduling for Weakly Consistent Programs.
ACM SIGSOFT Softw. Eng. Notes, 2017

2016
Race detection techniques for applications using asynchronous programming models (Asenkron programlama modellerini kullanan uygulamalar için yarış durumu yakalama teknikleri)
PhD thesis, 2016

2015
Detecting JavaScript races that matter.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014
Dynamic Verification for Hybrid Concurrent Programming Models.
Proceedings of the Runtime Verification - 5th International Conference, 2014

I Know It When I See It: Observable Races in JavaScript Applications.
Proceedings of the Workshop on Dynamic Languages and Applications, 2014

Towards verifying eventually consistent applications.
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014


  Loading...