| 2025 | SC | Guiding Application Users via Estimation of Computational Resources for Massively Parallel Chemistry Computations. | Tanzila Tabassum, Omer Subasi, Ajay Panyala, Epiya Ebiapia, Gerald Baumgartner, Erdal Mutlu, P. Sadayappan, Karol Kowalski |
| 2024 | SC | 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 |
| 2019 | PLDI | Toward generalized tensor algebra for ab initio quantum chemistry methods. | Erdal Mutlu, Karol Kowalski, Sriram Krishnamoorthy |
| 2018 | SC | HPC Software Verification in Action: A Case Study with Tensor Transposition. | Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy |
| 2014 | EuroSys | Towards verifying eventually consistent applications. | Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran |
| 2014 | PLDI | I Know It When I See It: Observable Races in JavaScript Applications. | Erdal Mutlu, Serdar Tasiran, Benjamin Livshits |
| 2014 | RV | Dynamic Verification for Hybrid Concurrent Programming Models. | Erdal Mutlu, Vladimir Gajinov, Adrin Cristal, Serdar Tasiran, Osman S. Unsal |