Jack Garzella, Marek Baranowski, Shaobo He, Zvonimir Rakamaric
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2020

Marek Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
An SMT Theory of Fixed-Point Arithmetic
Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR), 2020

Ian Briggs, Arnab Das, Marek Baranowski, Vishal Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan
FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation
ACM Transactions on Architecture and Code Optimimization (TACO), 2019

Shaobo He, Marek Baranowski, Zvonimir Rakamaric
Stochastic Local Search for Solving Floating-Point Constraints
Proceedings of the 12th International Workshop on Numerical Software Verification (NSV), 2019

Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
A Mixed Real and Floating-Point Solver
Proceedings of the 11th NASA Formal Methods Symposium (NFM), 2019

Maryam Dabaghchian, Zvonimir Rakamaric
A Timeless Model for The Verification of Quasi-Periodic Distributed Systems
Proceedings of the 17th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019

Kento Sato, Ignacio Laguna, Gregory L. Lee, Martin Schulz, Christopher M. Chambreau, Simone Atzeni, Michael Bentley, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Geof Sawaya, Joachim Protze, Dong H. Ahn
PRUNERS: Providing Reproducibility for Uncovering Non-Deterministic Errors in Runs on Supercomputers
International Journal of High Performance Computing Applications (IJHPCA), 2019

Vikram Narayanan, Marek Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev
RedLeaf: Towards An Operating System for Safe and Verified Firmware
Proceedings of the 17th Workshop on Hot Topics in Operating Systems (HotOS), 2019

Rocco Salvia, Zvonimir Rakamaric
Exploring Floating-Point Trade-Offs in ML
Informal Proceedings of the Workshop on Approximate Computing Across the Stack (WAX), 2018

Alexey Solovyev, Marek Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
ACM Transactions on Programming Languages and Systems (TOPLAS), 2018

Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
Verifying Relative Safety, Accuracy, and Termination for Program Approximations
Journal of Automated Reasoning (JAR), 2018

Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ignacio Laguna, Gregory L. Lee, Dong H. Ahn
Sword: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs
Proceedings of the 32nd IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018
 LLNL Deputy Director's 2019 S&T Excellence in Publication Award

Marko Dimjasevic, Falk Howar, Kasper Luckow, Zvonimir Rakamaric
Study of Integrating Random and Symbolic Testing for Object-Oriented Software
Proceedings of the 14th International Conference on Integrated Formal Methods (IFM), 2018

Marek Baranowski, Shaobo He, Zvonimir Rakamaric
Verifying Rust Programs with SMACK
Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2018

Shaobo He, Shuvendu Lahiri, Akash Lal, Zvonimir Rakamaric
Static Assertion Checking of Production Software with Angelic Verification
8th Workshop on Tools for Automatic Program Analysis (TAPAS), 2017

Wei-Fan Chiang, Marek Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Rigorous Floating-Point Mixed-Precision Tuning
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017

Maryam Dabaghchian, Zvonimir Rakamaric
Consistency-Aware Scheduling for Weakly Consistent Programs
ACM SIGSOFT Software Engineering Notes, 2017

Abhiram Balasubramanian, Marek Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety
Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS), 2017

Kento Sato, Ignacio Laguna, Gregory L. Lee, Martin Schulz, Christopher M. Chambreau, Dong H. Ahn, Simone Atzeni, Michael Bentley, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Geof Sawaya, Joachim Protze
PRUNERS: Providing Reproducibility for Uncovering Non-Deterministic Errors in Runs on Supercomputers
Computational Reproducibility at Exascale Workshop (CRE), 2017

Shaobo He, Zvonimir Rakamaric
Counterexample-Guided Bit-Precision Selection
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), 2017

Kasper Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework
Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016

Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Portable Inter-workgroup Barrier Synchronisation for GPUs
Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2016

Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
Verifying Relative Safety, Accuracy, and Termination for Program Approximations
Proceedings of the 8th NASA Formal Methods Symposium (NFM), 2016

Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, Matthias S. Muller
Archer: Effectively Spotting Data Races in Large OpenMP Applications
Proceedings of the 30th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2016

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
SMACK Software Verification Toolchain
Proceedings of the 38th IEEE/ACM International Conference on Software Engineering (ICSE) Companion, 2016

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier (Competition Contribution)
Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015

Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
Proceedings of the 20th International Symposium on Formal Methods (FM), 2015

Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Efficient Search for Inputs Causing High Floating-point Errors
Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2014

Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Systematic Debugging Methods for Large Scale HPC Computational Frameworks
Computing in Science and Engineering (CiSE), 2014

Zvonimir Rakamaric, Michael Emmi
SMACK: Decoupling Source Language Details from Verifier Implementations
Proceedings of the 26th International Conference on Computer Aided Verification (CAV), 2014

Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
Taming Test Inputs for Separation Assurance
Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2014

Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Towards Formal Approaches to System Resilience
Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2013

Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding
Proceedings of the 5th NASA Formal Methods Symposium (NFM), 2013

Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2013

Domagoj Babic, Zvonimir Rakamaric
Asynchronously Communicating Visibly Pushdown Systems
Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE/15th FMOODS), 2013

Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman
Symbolic Learning of Component Interfaces
Proceedings of the 19th International Static Analysis Symposium (SAS), 2012

Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
Proving Termination of Nonlinear Command Sequences
Formal Aspects of Computing (FAC), 2012

Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
Delay-Bounded Scheduling
Proceedings of the 38th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2011

Zvonimir Rakamaric
STORM: Static Unit Checking of Concurrent Programs
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE) - Volume 2, 2010
 Silver Medal Winner in the ACM Student Research Competition

Zvonimir Rakamaric, Alan J. Hu
A Scalable Memory Model for Low-Level Code
Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2009

Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
A Low-Level Memory Model and an Accompanying Reachability Predicate
International Journal on Software Tools for Technology Transfer (STTT), 2009

Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Proceedings of the 21st International Conference on Computer Aided Verification (CAV), 2009

Zvonimir Rakamaric, Alan J. Hu
Automatic Inference of Frame Axioms Using Static Analysis
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008

Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
Proving Termination by Divergence
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2007
 Invited for special section submission to Formal Aspects of Computing (FAC)

Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu., Alessandro Cimatti
Verifying Heap-Manipulating Programs in an SMT Framework
Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2007

Zvonimir Rakamaric
Modular Verification of Shared-Memory Concurrent System Software
University of British Columbia, PhD Thesis, March 2011