Erdal Mutlu

Toward generalized tensor algebra for ab initio quantum chemistry methods

Sriram Krishnamoorthy, Erdal Mutlu, Karol Kowalski, 2019, ARRAY@PLDI.

HPC Software Verification in Action: A Case Study with Tensor Transposition

Sriram Krishnamoorthy, Erdal Mutlu, Ajay Panyala, 2018, 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness).

Detecting JavaScript races that matter

Benjamin Livshits, Serdar Tasiran, Erdal Mutlu, 2015, ESEC/SIGSOFT FSE.

Towards verifying eventually consistent applications

Serdar Tasiran, Erdal Mutlu, Burcu Kulahcioglu Ozkan, 2014, PaPEC '14.

Output nondeterminism detection for programming models combining dataflow with shared memory

Serdar Tasiran, Didem Unat, Hassan Salehe Matar, 2018, Parallel Comput..

High level rule modelling language for airline crew pairing: design and implementation

Erdal Mutlu, 2011 .

Dynamic Verification for Hybrid Concurrent Programming Models

Osman S. Unsal, Serdar Tasiran, Adrián Cristal, 2014, RV.

I Know It When I See It: Observable Races in JavaScript Applications

Benjamin Livshits, Serdar Tasiran, Erdal Mutlu, 2014, Dyla'14.

Consistency-Aware Scheduling for Weakly Consistent Programs

Serdar Tasiran, Zvonimir Rakamaric, Erdal Mutlu, 2018, SOEN.

High Level Rule Modeling Language for Airline Crew Pairing

Kerem Bülbül, Hüsnü Yenigün, Ş. İlker Birbil, 2011 .

TAMM: Tensor Algebra for Many-body Methods pdf

Sriram Krishnamoorthy, Erdal Mutlu, Karol Kowalski, 2022, ArXiv.

COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry pdf

Gokcen Kestor, Sriram Krishnamoorthy, Roberto Gioiosa, 2021, LCPC.