Conferences

  1. Counterexample-Guided Bit-Precision Selection. Shaobo He, Zvonimir Rakamaric. 15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China.
  2. Rigorous Floating-Point Mixed-Precision Tuning. Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric. 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), Paris, France.
  3. Portable Inter-workgroup Barrier Synchronisation for GPUs. Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016), Amsterdam, the Netherlands.
  4. Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric. 8th NASA Formal Methods Symposium (NFM 2016), Minneapolis, MN, USA.
  5. Archer: Effectively Spotting Data Races in Large OpenMP Applications. Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Greg L. Lee, Joachim Protze, Matthias S. Muller. 30th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2016), Chicago, IL, USA.
  6. SMACK Software Verification Toolchain. Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi. Demonstrations Track at the 38th IEEE/ACM International Conference on Software Engineering (ICSE 2016), Austin, TX, USA.
  7. JDart: A Dynamic Symbolic Analysis Framework. Kasper Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, the Netherlands.
  8. Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers. Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric. 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Lincoln, NE, USA.
  9. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan. 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway.
  10. SMACK+Corral: A Modular Verifier (Competition Contribution). Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), London, UK.
  11. Taming Test Inputs for Separation Assurance. Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman. 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), VästerĂ¥s, Sweden.
  12. SMACK: Decoupling Source Language Details from Verifier Implementations. Zvonimir Rakamaric, Michael Emmi. 26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria.
  13. Efficient Search for Inputs Causing High Floating-point Errors. Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev. 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2014), Orlando, FL, USA.
  14. Towards Formal Approaches to System Resilience. Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan. 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Vancouver, Canada.
  15. Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis. Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric. International Symposium on Software Testing and Analysis (ISSTA 2013), Lugano, Switzerland.
  16. 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.
  17. 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.
  18. Symbolic Learning of Component Interfaces. Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman. 19th International Static Analysis Symposium (SAS 2012), Deauville, France.
  19. Delay-Bounded Scheduling. Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric. 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011), Austin, TX, USA.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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).
  27. 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.
  28. 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.
  29. Bytecode Optimization. Domagoj Babic, Zvonimir Rakamaric. 24th International Conference on Information Technology Interfaces (ITI 2002), Cavtat, Croatia.