Darulova, Eva
- Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms
2018/09/16 by Phillip Stanley‐Marbell, Phillip Stanley-Marbell, Armin Alaghi +32 · 1 voice
Engineering · Computer Science · #Low-power high-performance VLSI design #VLSI and Analog Circuit Testing #VLSI and FPGA Design Techniques
- On Sound Compilation of Reals
2013/09/10 by Eva Darulová, Darulova, Eva, Viktor Kunčak +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Combining Tools for Optimization and Analysis of Floating-Point Computations
2018/05/07 by Becker, Heiko, Pancheckha, Pavel, Darulova, Eva +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Sound Mixed-Precision Optimization with Rewriting
2017/07/07 by Darulova, Eva, Horn, Einar, Sharma, Saksham · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Deductive Verification of Floating-Point Java Programs in KeY
2021/01/21 by Boroujeni, Rosa Abbasi, Schiffl, Jonas, Darulova, Eva +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)