1. Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric. Journal of Automated Reasoning (JAR), 2018. (Invited.)
  2. Systematic Debugging Methods for Large Scale HPC Computational Frameworks. Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan. Computing in Science and Engineering (CiSE), 2014.
  3. Proving Termination of Nonlinear Command Sequences. Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric. Formal Aspects of Computing (FAC), 2012. (Invited.)
  4. A Low-Level Memory Model and an Accompanying Reachability Predicate. Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. International Journal on Software Tools for Technology Transfer (STTT), 2009. (Invited.)