Zvonimir Rakamarić

Available identifiers

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	2019-12-19	Paper
Verifying relative safety, accuracy, and termination for program approximations	2018-02-02	Paper
Rigorous floating-point mixed-precision tuning	2017-10-20	Paper
Proving termination of nonlinear command sequences	2014-11-11	Paper
Delay-bounded scheduling	2014-04-10	Paper
Verifying Heap-Manipulating Programs in an SMT Framework	2008-07-03	Paper
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures	2008-04-04	Paper
A Reachability Predicate for Analyzing Low-Level Software	2007-09-03	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper

This page was built for person: Zvonimir Rakamarić