| Sound compilation of reals E Darulova, V Kuncak Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 210 | 2014 |
| Towards a compiler for reals E Darulova, V Kuncak ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-28, 2017 | 132 | 2017 |
| Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ... PLDI, 2020 | 120 | 2020 |
| 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 | 104 | 2018 |
| Exploiting errors for efficiency: A survey from circuits to algorithms P Stanley-Marbell, A Alaghi, M Carbin, E Darulova, L Dolecek, ... ACM Computing Surveys (CSUR), 2020 | 102* | 2020 |
| Sound mixed-precision optimization with rewriting E Darulova, E Horn, S Sharma 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 81 | 2018 |
| Trustworthy numerical computation in scala E Darulova, V Kuncak Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 72 | 2011 |
| Synthesis of fixed-point programs E Darulova, V Kuncak, R Majumdar, I Saha Embedded Software (EMSOFT), 2013 Proceedings of the International Conference …, 2013 | 52 | 2013 |
| On sound relative error bounds for floating-point arithmetic A Izycheva, E Darulova 2017 Formal Methods in Computer Aided Design (FMCAD), 15-22, 2017 | 42 | 2017 |
| A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4 H Becker, N Zyuzin, R Monat, E Darulova, MO Myreen, A Fox Formal Methods in Computer Design (FMCAD), 2018 | 31 | 2018 |
| Interactive synthesis of temporal specifications from examples and natural language I Gavran, E Darulova, R Majumdar Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020 | 29 | 2020 |
| Sound Mixed Fixed-Point Quantization of Neural Networks D Lohar, C Jeangoudoux, A Volkova, E Darulova ACM Transactions on Embedded Computing Systems, 2023 | 19 | 2023 |
| Combining Tools for Optimization and Analysis of Floating-Point Computations H Becker, P Panchekha, E Darulova, Z Tatlock Formal Methods (FM), 2018 | 19 | 2018 |
| Sound probabilistic numerical error analysis D Lohar, M Prokop, E Darulova International Conference on Integrated Formal Methods, 322-340, 2019 | 18 | 2019 |
| Sound approximation of programs with elementary functions E Darulova, A Volkova Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 17 | 2019 |
| Icing: Supporting fast-math style optimizations in a verified compiler H Becker, E Darulova, MO Myreen, Z Tatlock Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 15 | 2019 |
| Deductive verification of floating-point Java programs in KeY R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 14 | 2021 |
| 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 | 12 | 2021 |
| Scaling up Roundoff Analysis of Functional Data Structure Programs A Isychev, E Darulova Static Analysis Symposium, 2023 | 10 | 2023 |
| Verified Compilation and Optimization of Floating-Point Programs in CakeML H Becker, R Rabe, E Darulova, MO Myreen, Z Tatlock, R Kumar, YK Tan, ... 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 10 | 2022 |
Viktor KunčakEPFLVerified email at epfl.ch
