Zvonimir Rakamaric

According to our database, Zvonimir Rakamaric authored at least 63 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Toolkit for Automated Testing of Dafny.

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Better Counterexamples for Dafny.

Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Synthesis of Rigorous Floating-Point Predicates.

Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric

Proceedings of the Model Checking Software - 28th International Symposium, 2022

An LGBTQ-Inclusive Problem Set in Discrete Mathematics.

Trysten Scott Richard, Eliane Stampfer Wiese, Zvonimir Rakamaric

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Testing Dafny (experience paper).

Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.

George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation.

Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan

ACM Trans. Archit. Code Optim., 2020

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.

Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

An SMT Theory of Fixed-Point Arithmetic.

Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.

Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan

ACM Trans. Program. Lang. Syst., 2019

Pruners.

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

Int. J. High Perform. Comput. Appl., 2019

A Mixed Real and Floating-Point Solver.

Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

A timeless model for the verification of quasi-periodic distributed systems.

Maryam Dabaghchian, Zvonimir Rakamaric

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

RedLeaf: Towards An Operating System for Safe and Verified Firmware.

Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

Stochastic Local Search for Solving Floating-Point Constraints.

Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Verifying Relative Safety, Accuracy, and Termination for Program Approximations.

Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric

J. Autom. Reason., 2018

SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs.

Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ignacio Laguna, Gregory L. Lee, Dong H. Ahn

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Study of Integrating Random and Symbolic Testing for Object-Oriented Software.

Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Verifying Rust Programs with SMACK.

Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Consistency-Aware Scheduling for Weakly Consistent Programs.

Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran

ACM SIGSOFT Softw. Eng. Notes, 2017

System Programming in Rust: Beyond Safety.

Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk

ACM SIGOPS Oper. Syst. Rev., 2017

Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352).

Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González

Dagstuhl Reports, 2017

Rigorous floating-point mixed-precision tuning.

Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Moving the Needle on Rigorous Floating-Point Precision Tuning.

Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the Automated Formal Methods, 2017

Counterexample-Guided Bit-Precision Selection.

Shaobo He, Zvonimir Rakamaric

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java.

Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric

ACM SIGSOFT Softw. Eng. Notes, 2016

JDart: A Dynamic Symbolic Analysis Framework.

Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Portable inter-workgroup barrier synchronisation for GPUs.

Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

ARCHER: Effectively Spotting Data Races in Large OpenMP Applications.

Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, Matthias S. Müller

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

SMACK software verification toolchain.

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi

Proceedings of the 38th International Conference on Software Engineering, 2016

Evaluation of Android Malware Detection Based on System Calls.

Marko Dimjasevic, Simone Atzeni, Ivo Ugrina, Zvonimir Rakamaric

Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, 2016

2015

The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.

Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman

ACM SIGSOFT Softw. Eng. Notes, 2015

SMACK+Corral: A Modular Verifier - (Competition Contribution).

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Practical Floating-Point Divergence Detection.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the Languages and Compilers for Parallel Computing, 2015

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).

Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.

Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Proceedings of the FM 2015: Formal Methods, 2015

2014

Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Systematic Debugging Methods for Large-Scale HPC Computational Frameworks.

Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Comput. Sci. Eng., 2014

Towards providing low-overhead data race detection for large OpenMP applications.

Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Müller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee

Proceedings of the 2014 LLVM Compiler Infrastructure in HPC, 2014

Efficient search for inputs causing high floating-point errors.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs.

Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins

Proceedings of the Languages and Compilers for Parallel Computing, 2014

Taming test inputs for separation assurance.

Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

SMACK: Decoupling Source Language Details from Verifier Implementations.

Zvonimir Rakamaric, Michael Emmi

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Proving termination of nonlinear command sequences.

Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric

Formal Aspects Comput., 2013

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

Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

Towards Formal Approaches to System Resilience.

Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods, 2013

Hybrid learning: interface generation through static, dynamic, and symbolic analysis.

Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric

Proceedings of the International Symposium on Software Testing and Analysis, 2013

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

Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, 2013

Asynchronously Communicating Visibly Pushdown Systems.

Domagoj Babic, Zvonimir Rakamaric

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Symbolic Learning of Component Interfaces.

Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman

Proceedings of the Static Analysis - 19th International Symposium, 2012

2011

Delay-bounded scheduling.

Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.

Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric

Proceedings of the Model Checking Software, 2010

STORM: static unit checking of concurrent programs.

Zvonimir Rakamaric

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

A low-level memory model and an accompanying reachability predicate.

Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric

Int. J. Softw. Tools Technol. Transf., 2009

A Scalable Memory Model for Low-Level Code.

Zvonimir Rakamaric, Alan J. Hu

Proceedings of the Verification, 2009

Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.

Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Automatic Inference of Frame Axioms Using Static Analysis.

Zvonimir Rakamaric, Alan J. Hu

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

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

Proceedings of the Verification, 2007

A Reachability Predicate for Analyzing Low-Level Software.

Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Proving Termination by Divergence.

Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Verifying Heap-Manipulating Programs in an SMT Framework.

Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.

Jesse D. Bingham, Zvonimir Rakamaric

Proceedings of the Verification, 2006