Towards verifying eventually consistent applications. - Burcu Kulahcioglu Ozkan; Erdal Mutlu; Serdar Tasiran (PaPEC@EuroSys, 2014)

I Know It When I See It: Observable Races in JavaScript Applications. - Erdal Mutlu; Serdar Tasiran; Benjamin Livshits (Dyla@PLDI, 2014)

Dynamic Verification for Hybrid Concurrent Programming Models. - Erdal Mutlu; Vladimir Gajinov; Adrián Cristal; Serdar Tasiran; Osman S. Unsal (RV, 2014)

Detecting JavaScript races that matter. - Erdal Mutlu; Serdar Tasiran; Benjamin Livshits (ESEC/SIGSOFT FSE, 2015)

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

Consistency-Aware Scheduling for Weakly Consistent Programs. - Maryam Dabaghchian; Zvonimir Rakamaric; Burcu Kulahcioglu Ozkan; Erdal Mutlu; Serdar Tasiran (ACM SIGSOFT Softw. Eng. Notes, 2017)

HPC Software Verification in Action: A Case Study with Tensor Transposition. - Erdal Mutlu; Ajay Panyala; Sriram Krishnamoorthy (CORRECTNESS@SC, 2018)

Output nondeterminism detection for programming models combining dataflow with shared memory. - Hassan Salehe Matar; Erdal Mutlu; Serdar Tasiran; Didem Unat (Parallel Comput., 2018)

Toward generalized tensor algebra for ab initio quantum chemistry methods. - Erdal Mutlu; Karol Kowalski; Sriram Krishnamoorthy (ARRAY@PLDI, 2019)

COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry. - Erdal Mutlu; Ruiqin Tian; Bin Ren; Sriram Krishnamoorthy; Roberto Gioiosa; Jacques Pienaar; Gokcen Kestor (LCPC, 2020)

TAMM: Tensor Algebra for Many-body Methods. - Erdal Mutlu; Ajay Panyala; Karol Kowalski; Nicholas P. Bauman; Bo Peng; Jiri Brabec; Sriram Krishnamoorthy (CoRR, 2022)

Lamellar: A Rust-based Asynchronous Tasking and PGAS Runtime for High Performance Computing. - Ryan D. Friese; Roberto Gioiosa; Joseph Cottam; Erdal Mutlu; Gregory Roek; Polykarpos Thomadakis; Mark Raugas (SC Workshops, 2024)