- Asynchronously Communicating Visibly Pushdown Systems. Domagoj Babic, Zvonimir Rakamaric. 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE/15th FMOODS), Florence, Italy.
- Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric. 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, Moffett Field, CA, USA.
- Symbolic Learning of Component Interfaces. Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman. 19th International Static Analysis Symposium (SAS 2012), Deauville, France.
- Delay-Bounded Scheduling. Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric. 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011), Austin, TX, USA.
- STORM: Static Unit Checking of Concurrent Programs. Zvonimir Rakamaric. ACM Student Research Competition at the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa.
Silver Medal Winner in the Competition.
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. 21st International Conference on Computer Aided Verification (CAV 2009), Grenoble, France.
- A Scalable Memory Model for Low-Level Code. Zvonimir Rakamaric, Alan J. Hu. 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009), Savannah, GA, USA.
- Automatic Inference of Frame Axioms Using Static Analysis. Zvonimir Rakamaric, Alan J. Hu. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L’Aquila, Italy.
- Verifying Heap-Manipulating Programs in an SMT Framework. Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Tokyo, Japan.
- Proving Termination by Divergence. Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric. 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK.
- A Reachability Predicate for Analyzing Low-Level Software. Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Braga, Portugal.
Outstanding Student Paper Award. Invited for special section submission to the International Journal on Software Tools for Technology Transfer (STTT).
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu. 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France.
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. Jesse Bingham, Zvonimir Rakamaric. 7th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006), Charleston, SC, USA.
- Bytecode Optimization. Domagoj Babic, Zvonimir Rakamaric. 24th International Conference on Information Technology Interfaces (ITI 2002), Cavtat, Croatia.