Zvonimir Rakamaric

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 40

Top Topics

Sparse Matrices

Intermediate Representation

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

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