1. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan. ACM Transactions on Programming Languages and Systems (TOPLAS), 2018.
  2. Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric. Journal of Automated Reasoning (JAR), 2018. (Invited.)
  3. 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.
  4. Proving Termination of Nonlinear Command Sequences. Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric. Formal Aspects of Computing (FAC), 2012. (Invited.)
  5. 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.)