Eva Darulova
Scholar

Eva Darulova

Google Scholar ID: GrC1RcEAAAAJ
Uppsala University
programming languagesverificationprogram analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,164
 
H-index
15
 
i10-index
19
 
Publications
20
 
Co-authors
41
list available
Publications
3 items
Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
2026
Cited
0
Verifying Floating-Point Programs in Stainless
2026
Cited
0
A Large-Scale Study of Floating-Point Usage in Statically Typed Languages
2025
Cited
0
Co-authors
12 total
Viktor Kunčak
Viktor Kunčak
EPFL
Zachary Tatlock
Zachary Tatlock
University of Washington
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Dan Grossman
Dan Grossman
Computer Science, University of Washington
Babak Falsafi
Babak Falsafi
Professor of Computer Science, EPFL
Phillip Stanley-Marbell
Phillip Stanley-Marbell
University of Cambridge
Andreas Gerstlauer
Andreas Gerstlauer
Eletrical and Computer Engineering, The University of Texas at Austin
Magnus Myreen
Magnus Myreen
Chalmers University of Technology