Zvonimir Rakamaric
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
21
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2025 | TACAS | Equivalence Checking of a libm Port. | Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2022 | ISSTA | Testing Dafny (experience paper). | Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak |
| 2022 | SIGCSE | An LGBTQ-Inclusive Problem Set in Discrete Mathematics. | Trysten Scott Richard, Eliane Stampfer Wiese, Zvonimir Rakamaric |
| 2022 | TACAS | Better Counterexamples for Dafny. | Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta |
| 2021 | CAV | Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. | George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia |
| 2020 | CADE | An SMT Theory of Fixed-Point Arithmetic. | Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric |
| 2020 | VMCAI | Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. | Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
| 2019 | CAV | Stochastic Local Search for Solving Floating-Point Constraints. | Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric |
| 2019 | HotOS | RedLeaf: Towards An Operating System for Safe and Verified Firmware. | Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev |
| 2019 | MEMOCODE | A timeless model for the verification of quasi-periodic distributed systems. | Maryam Dabaghchian, Zvonimir Rakamaric |
| 2018 | ATVA | Verifying Rust Programs with SMACK. | Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
| 2018 | IFM | Study of Integrating Random and Symbolic Testing for Object-Oriented Software. | Marko Dimjasevic, Falk Howar, Kasper Se Luckow, Zvonimir Rakamaric |
| 2017 | APLAS | Counterexample-Guided Bit-Precision Selection. | Shaobo He, Zvonimir Rakamaric |
| 2017 | HotOS | System Programming in Rust: Beyond Safety. | Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk |
| 2017 | POPL | Rigorous floating-point mixed-precision tuning. | Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | ICSE | SMACK software verification toolchain. | Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi |
| 2016 | OOPSLA | Portable inter-workgroup barrier synchronisation for GPUs. | Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2015 | FM | Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. | Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2015 | TACAS | SMACK+Corral: A Modular Verifier - (Competition Contribution). | Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric |
| 2014 | CAV | SMACK: Decoupling Source Language Details from Verifier Implementations. | Zvonimir Rakamaric, Michael Emmi |
| 2014 | PPoPP | Efficient search for inputs causing high floating-point errors. | Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev |
| 2014 | SC | Towards providing low-overhead data race detection for large OpenMP applications. | Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Mller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee |
| 2013 | FORTE | Asynchronously Communicating Visibly Pushdown Systems. | Domagoj Babic, Zvonimir Rakamaric |
| 2013 | ICSE | Practical formal correctness checking of million-core problem solving environments for HPC. | Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins |
| 2013 | ISSTA | Hybrid learning: interface generation through static, dynamic, and symbolic analysis. | Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric |
| 2013 | PRDC | Towards Formal Approaches to System Resilience. | Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2013 | SC | Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. | Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna |
| 2012 | SAS | Symbolic Learning of Component Interfaces. | Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman |
| 2011 | POPL | Delay-bounded scheduling. | Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric |
| 2010 | ICSE | STORM: static unit checking of concurrent programs. | Zvonimir Rakamaric |
| 2009 | CAV | Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. | Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
| 2009 | VMCAI | A Scalable Memory Model for Low-Level Code. | Zvonimir Rakamaric, Alan J. Hu |
| 2007 | ATVA | Verifying Heap-Manipulating Programs in an SMT Framework. | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
| 2007 | SEFM | Proving Termination by Divergence. | Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook |
| 2007 | TACAS | A Reachability Predicate for Analyzing Low-Level Software. | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
| 2007 | VMCAI | An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. | Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu |
| 2006 | VMCAI | A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. | Jesse D. Bingham, Zvonimir Rakamaric |