Zvonimir Rakamarić

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An SMT theory of fixed-point arithmetic	2022-11-09	Paper
Leveraging compiler intermediate representation for multi- and cross-language verification	2020-08-05	Paper
Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions FM 2015: Formal Methods	2019-12-19	Paper
Verifying relative safety, accuracy, and termination for program approximations Journal of Automated Reasoning	2018-02-02	Paper
Rigorous floating-point mixed-precision tuning Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Proving termination of nonlinear command sequences Formal Aspects of Computing	2014-11-11	Paper
Delay-bounded scheduling Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Verifying Heap-Manipulating Programs in an SMT Framework Automated Technology for Verification and Analysis	2008-07-03	Paper
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures Lecture Notes in Computer Science	2008-04-04	Paper
A Reachability Predicate for Analyzing Low-Level Software Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper

Research outcomes over time

This page was built for person: Zvonimir Rakamarić