Daisy-framework for analysis and optimization of numerical programs (tool paper) E Darulova, A Izycheva, F Nasir, F Ritter, H Becker, R Bastian Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 79 | 2018 |
On sound relative error bounds for floating-point arithmetic A Izycheva, E Darulova 2017 Formal Methods in Computer Aided Design (FMCAD), 15-22, 2017 | 35 | 2017 |
Synthesizing efficient low-precision kernels A Izycheva, E Darulova, H Seidl International Symposium on Automated Technology for Verification and …, 2019 | 8 | 2019 |
Regime inference for sound floating-point optimizations R Rabe, A Izycheva, E Darulova ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-23, 2021 | 5 | 2021 |
Counterexample-and simulation-guided floating-point loop invariant synthesis A Izycheva, E Darulova, H Seidl Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020 | 5 | 2020 |
Scaling up roundoff analysis of functional data structure programs A Isychev, E Darulova International Static Analysis Symposium, 371-402, 2023 | 2 | 2023 |
Improving Analysis and Optimization of Finite-Precision Programs A Isychev Technische Universität München, 2023 | | 2023 |