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 | 73 | 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 |
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 |
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 | 4 | 2021 |