Zvonimir Rakamaric

72 papers A* 7A 10B 12C 2Journal 14Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, 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 — ed.
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
CAV (1)
Ruzica Piskac, Zvonimir Rakamaric
2025 — ed.
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
CAV (2)
Ruzica Piskac, Zvonimir Rakamaric
2025 — ed.
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
CAV (3)
Ruzica Piskac, Zvonimir Rakamaric
2025 — ed.
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
CAV (4)
Ruzica Piskac, Zvonimir Rakamaric
2025 — conf
Equivalence Checking of a libm Port.
TACAS (2)
Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2023 — conf
A Toolkit for Automated Testing of Dafny.
NFM
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas G. Wagner, Cassidy Waldrip
2022 — conf
An LGBTQ-Inclusive Problem Set in Discrete Mathematics.
SIGCSE (1)
Trysten Scott Richard, Eliane Stampfer Wiese, Zvonimir Rakamaric
2022 — conf
Better Counterexamples for Dafny.
TACAS (1)
Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta
2022 — conf
Synthesis of Rigorous Floating-Point Predicates.
SPIN
Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric
2022 A conf
Testing Dafny (experience paper).
ISSTA
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
2021 — conf
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.
CAV (2)
George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
2021 J jnl
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.
CoRR
George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
2020 — conf
An SMT Theory of Fixed-Point Arithmetic.
IJCAR (1)
Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
2020 J jnl
FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation.
ACM Trans. Archit. Code Optim.
Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2020 B conf
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.
VMCAI
Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
2019 — conf
A Mixed Real and Floating-Point Solver.
NFM
Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
2019 C conf
A timeless model for the verification of quasi-periodic distributed systems.
MEMOCODE
Maryam Dabaghchian, Zvonimir Rakamaric
2019 J jnl
Pruners.
Int. J. High Perform. Comput. Appl.
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
2019 A conf
RedLeaf: Towards An Operating System for Safe and Verified Firmware.
HotOS
Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev
2019 J jnl
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.
ACM Trans. Program. Lang. Syst.
Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2019 — conf
Stochastic Local Search for Solving Floating-Point Constraints.
NSV@CAV
Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric
2018 A conf
SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs.
IPDPS
Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ignacio Laguna, Gregory L. Lee, Dong H. Ahn
2018 B conf
Study of Integrating Random and Symbolic Testing for Object-Oriented Software.
IFM
Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric
2018 J jnl
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.
J. Autom. Reason.
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
2018 B conf
Verifying Rust Programs with SMACK.
ATVA
Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
2017 J jnl
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352).
Dagstuhl Reports
Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González
2017 J jnl
Consistency-Aware Scheduling for Weakly Consistent Programs.
ACM SIGSOFT Softw. Eng. Notes
Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
2017 B conf
Counterexample-Guided Bit-Precision Selection.
APLAS
Shaobo He, Zvonimir Rakamaric
2017 — conf
Moving the Needle on Rigorous Floating-Point Precision Tuning.
AFM@NFM
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
2017 A* conf
Rigorous floating-point mixed-precision tuning.
POPL
Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2017 A conf
System Programming in Rust: Beyond Safety.
HotOS
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
2017 J jnl
System Programming in Rust: Beyond Safety.
ACM SIGOPS Oper. Syst. Rev.
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
2016 A conf
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications.
IPDPS
Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, Matthias S. Müller
2016 — conf
Evaluation of Android Malware Detection Based on System Calls.
IWSPA@CODASPY
Marko Dimjasevic, Simone Atzeni, Ivo Ugrina, Zvonimir Rakamaric
2016 A conf
JDart: A Dynamic Symbolic Analysis Framework.
TACAS
Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
2016 A conf
Portable inter-workgroup barrier synchronisation for GPUs.
OOPSLA
Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2016 J jnl
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java.
ACM SIGSOFT Softw. Eng. Notes
Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric
2016 — conf
SMACK software verification toolchain.
ICSE (Companion Volume)
Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
2016 — conf
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.
NFM
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
2015 A* conf
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).
ASE
Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
2015 — conf
Practical Floating-Point Divergence Detection.
LCPC
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2015 B conf
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.
FM
Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2015 A conf
SMACK+Corral: A Modular Verifier - (Competition Contribution).
TACAS
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
2015 J jnl
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.
ACM SIGSOFT Softw. Eng. Notes
Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman
2014 B conf
Efficient search for inputs causing high floating-point errors.
PPoPP
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
2014 A* conf
SMACK: Decoupling Source Language Details from Verifier Implementations.
CAV
Zvonimir Rakamaric, Michael Emmi
2014 J jnl
Systematic Debugging Methods for Large-Scale HPC Computational Frameworks.
Comput. Sci. Eng.
Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2014 — conf
Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs.
LCPC
Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
2014 A* conf
Taming test inputs for separation assurance.
ASE
Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
2014 — conf
Towards providing low-overhead data race detection for large OpenMP applications.
LLVM@SC
Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Müller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee
2014 — conf
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs.
NSV
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2013 — conf
Asynchronously Communicating Visibly Pushdown Systems.
FMOODS/FORTE
Domagoj Babic, Zvonimir Rakamaric
2013 — conf
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.
NASA Formal Methods
Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric
2013 A conf
Hybrid learning: interface generation through static, dynamic, and symbolic analysis.
ISSTA
Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric
2013 — conf
Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset.
SE-HPCCSE@SC
Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna
2013 — conf
Practical formal correctness checking of million-core problem solving environments for HPC.
SE-CSE@ICSE
Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
2013 J jnl
Proving termination of nonlinear command sequences.
Formal Aspects Comput.
Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
2013 C conf
Towards Formal Approaches to System Resilience.
PRDC
Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2012 B conf
Symbolic Learning of Component Interfaces.
SAS
Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman
2011 A* conf
Delay-bounded scheduling.
POPL
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
2010 — conf
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.
SPIN
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric
2010 — conf
STORM: static unit checking of concurrent programs.
ICSE (2)
Zvonimir Rakamaric
2009 B conf
A Scalable Memory Model for Low-Level Code.
VMCAI
Zvonimir Rakamaric, Alan J. Hu
2009 J jnl
A low-level memory model and an accompanying reachability predicate.
Int. J. Softw. Tools Technol. Transf.
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2009 A* conf
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.
CAV
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2008 A* conf
Automatic Inference of Frame Axioms Using Static Analysis.
ASE
Zvonimir Rakamaric, Alan J. Hu
2007 A conf
A Reachability Predicate for Analyzing Low-Level Software.
TACAS
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2007 B conf
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
VMCAI
Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu
2007 B conf
Proving Termination by Divergence.
SEFM
Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook
2007 B conf
Verifying Heap-Manipulating Programs in an SMT Framework.
ATVA
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
2006 B conf
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
VMCAI
Jesse D. Bingham, Zvonimir Rakamaric