| 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 | 91 | 2018 |
| Comparing repositories visually with repograms D Rozenberg, I Beschastnikh, F Kosmale, V Poser, H Becker, M Palyart, ... Proceedings of the 13th International Conference on Mining Software …, 2016 | 37 | 2016 |
| A transfinite Knuth–Bendix order for lambda-free higher-order terms H Becker, JC Blanchette, U Waldmann, D Wand International Conference on Automated Deduction, 432-453, 2017 | 34 | 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 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018 | 32 | 2018 |
| Combining tools for optimization and analysis of floating-point computations H Becker, P Panchekha, E Darulova, Z Tatlock Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 18 | 2018 |
| 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 | 14 | 2019 |
| Verified compilation and optimization of floating-point programs in cakeml H Becker, R Rabe, E Darulova, MO Myreen, Z Tatlock, R Kumar, YK Tan, ... European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 8 | 2022 |
| Formally verified roundoff errors using SMT-based certificates and subdivisions J Bard, H Becker, E Darulova International Symposium on Formal Methods, 38-44, 2019 | 8 | 2019 |
| IsaFoL: Isabelle Formalization of Logic H Becker, JC Blanchette, M Fleury, AH From, AB Jensen, P Lammich, ... | 5 | 2018 |
| Formalization of Knuth–Bendix orders for lambda-free higher-order terms. Archive of Formal Proofs (2016) H Becker, JC Blanchette, U Waldmann, D Wand | 5 | |
| Dandelion: Certified Approximations of Elementary Functions H Becker, M Tekriwal, E Darulova, A Volkova, JB Jeannin arXiv preprint arXiv:2202.05472, 2022 | 3 | 2022 |
| Formalization of Knuth–Bendix orders for lambda-free higher-order terms H Becker, JC Blanchette, U Waldmann, D Wand Archive of Formal Proofs, 2016 | 3 | 2016 |
| Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact) H Becker, R Rabe, E Darulova, MO Myreen, Z Tatlock, R Kumar, YK Tan, ... Dagstuhl Artifacts Series 8 (2), 10: 1-10: 2, 2022 | 1 | 2022 |
| Verified compilation and optimization of floating-point kernels H Becker Saarländische Universitäts-und Landesbibliothek, 2022 | | 2022 |
| Lassie: HOL4 tactics by example H Becker, N Bos, I Gavran, E Darulova, R Majumdar Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | | 2021 |
| Verified SMT-based Translation Validation H Becker Saarland University, 2015 | | 2015 |
Eva DarulovaUppsala UniversityOverená e-mailová adresa na: it.uu.se