default search action
Zvonimir Rakamaric
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c53]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: 397-413 - 2022
- [c52]Ahmed Irfan
, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak:
Testing Dafny (experience paper). ISSTA 2022: 556-567 - [c51]Trysten Scott Richard, Eliane Stampfer Wiese, Zvonimir Rakamaric:
An LGBTQ-Inclusive Problem Set in Discrete Mathematics. SIGCSE (1) 2022: 682-688 - [c50]Thanh Son Nguyen
Synthesis of Rigorous Floating-Point Predicates. SPIN 2022: 44-60 - [c49]Aleksandar Chakarov, Aleksandr Fedchin
Better Counterexamples for Dafny. TACAS (1) 2022: 404-411 - 2021
- [c48]George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia:
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. CAV (2) 2021: 626-650 - [i2]George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia:
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. CoRR abs/2105.13217 (2021) - 2020
- [j11]Ian Briggs, Arnab Das
FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. ACM Trans. Archit. Code Optim. 16(4): 50:1-50:21 (2020) - [c47]Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric:
An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) 2020: 13-31 - [c46]Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric:
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. VMCAI 2020: 90-111
2010 – 2019
- 2019
- [j10]Kento Sato, Ignacio Laguna, Gregory L. Lee, Martin Schulz
Pruners. Int. J. High Perform. Comput. Appl. 33(5) (2019) - [j9]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): 2:1-2:39 (2019) - [c45]Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric:
Stochastic Local Search for Solving Floating-Point Constraints. NSV@CAV 2019: 76-84 - [c44]Vikram Narayanan
RedLeaf: Towards An Operating System for Safe and Verified Firmware. HotOS 2019: 37-44 - [c43]Maryam Dabaghchian, Zvonimir Rakamaric:
A timeless model for the verification of quasi-periodic distributed systems. MEMOCODE 2019: 4:1-4:11 - [c42]Rocco Salvia, Laura Titolo
A Mixed Real and Floating-Point Solver. NFM 2019: 363-370 - 2018
- [j8]Shaobo He
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. J. Autom. Reason. 60(1): 23-42 (2018) - [c41]Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric:
Verifying Rust Programs with SMACK. ATVA 2018: 528-535 - [c40]Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric:
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM 2018: 89-109 - [c39]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: 845-854 - 2017
- [j7]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): 94-99 (2017) - [j6]Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan
Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [c38]Shaobo He, Zvonimir Rakamaric:
Counterexample-Guided Bit-Precision Selection. APLAS 2017: 534-553 - [c37]Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk:
System Programming in Rust: Beyond Safety. HotOS 2017: 156-161 - [c36]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: 19-30 - [c35]Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Rigorous floating-point mixed-precision tuning. POPL 2017: 300-315 - [i1]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): 74-101 (2017) - 2016
- [j5]Malte Mues
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c34]Marko Dimjasevic, Simone Atzeni, Ivo Ugrina
Evaluation of Android Malware Detection Based on System Calls. IWSPA@CODASPY 2016: 1-8 - [c33]Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi:
SMACK software verification toolchain. ICSE (Companion Volume) 2016: 589-592 - [c32]Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. IPDPS 2016: 53-62 - [c31]Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric:
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. NFM 2016: 237-254 - [c30]Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA 2016: 39-58 - [c29]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: 442-459 - 2015
- [j4]Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [c28]Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM 2015: 532-550 - [c27]Pantazis Deligiannis
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T). ASE 2015: 166-177 - [c26]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Practical Floating-Point Divergence Detection. LCPC 2015: 271-286 - [c25]Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric:
SMACK+Corral: A Modular Verifier - (Competition Contribution). TACAS 2015: 451-454 - 2014
- [j3]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): 48-56 (2014) - [c24]Zvonimir Rakamaric, Michael Emmi:
SMACK: Decoupling Source Language Details from Verifier Implementations. CAV 2014: 106-113 - [c23]Dimitra Giannakopoulou, Falk Howar
Taming test inputs for separation assurance. ASE 2014: 373-384 - [c22]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: 317-331 - [c21]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev:
Efficient search for inputs causing high floating-point errors. PPoPP 2014: 43-52 - [c20]Joachim Protze
Towards providing low-overhead data race detection for large OpenMP applications. LLVM@SC 2014: 40-47 - [c19]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. NSV 2014: 33-45 - 2013
- [j2]Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric:
Proving termination of nonlinear command sequences. Formal Aspects Comput. 25(3): 389-403 (2013) - [c18]Domagoj Babic, Zvonimir Rakamaric:
Asynchronously Communicating Visibly Pushdown Systems. FMOODS/FORTE 2013: 225-241 - [c17]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: 75-83 - [c16]Falk Howar
Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA 2013: 268-279 - [c15]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: 213-228 - [c14]Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Towards Formal Approaches to System Resilience. PRDC 2013: 41-50 - [c13]Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz
Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. SE-HPCCSE@SC 2013: 41-44 - 2012
- [c12]Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman:
Symbolic Learning of Component Interfaces. SAS 2012: 248-264 - 2011
- [c11]Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric:
Delay-bounded scheduling. POPL 2011: 411-422 - 2010
- [c10]Zvonimir Rakamaric:
STORM: static unit checking of concurrent programs. ICSE (2) 2010: 519-520 - [c9]Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric:
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN 2010: 227-244
2000 – 2009
- 2009
- [j1]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): 105-116 (2009) - [c8]Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524 - [c7]Zvonimir Rakamaric, Alan J. Hu:
A Scalable Memory Model for Low-Level Code. VMCAI 2009: 290-304 - 2008
- [c6]Zvonimir Rakamaric, Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis. ASE 2008: 89-98 - 2007
- [c5]Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
Verifying Heap-Manipulating Programs in an SMT Framework. ATVA 2007: 237-252 - [c4]Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook:
Proving Termination by Divergence. SEFM 2007: 93-102 - [c3]Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33 - [c2]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: 106-121 - 2006
- [c1]Jesse D. Bingham, Zvonimir Rakamaric:
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. VMCAI 2006: 207-221
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: