I agree that this site is using cookies. You can find further informations here.
X
Darulova, Eva
80  results:
Search for persons X
?
1

Improving Analysis and Optimization of Finite-Precision Pro..:

Isychev, Anastasia , 2023
Link: http://nbn-resolving.de/..
 
?
2

Scaling up Roundoff Analysis of Functional Data Structure P..:

, In: Static Analysis; Lecture Notes in Computer Science,
Isychev, Anastasia ; Darulova, Eva - p. 371-402 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Combining rule- and SMT-based reasoning for verifying float..:

Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva..
International Journal on Software Tools for Technology Transfer.  25 (2023)  2 - p. 185-204 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Modular Optimization-Based Roundoff Error Analysis of Float..:

, In: Static Analysis; Lecture Notes in Computer Science,
Abbasi, Rosa ; Darulova, Eva - p. 41-64 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Sound Mixed Fixed-Point Quantization of Neural Networks:

Lohar, Debasmita ; Jeangoudoux, Clothilde ; Volkova, Anastasia.
ACM Transactions on Embedded Computing Systems.  22 (2023)  5s - p. 1-26 , 2023
Link: https://doi.org/10.1145/..
 
?
6

Introduction to the Special Issue on Approximate Systems:

Alaghi, Armin ; Darulova, Eva ; Gerstlauer, Andreas.
ACM Transactions on Design Automation of Electronic Systems.  27 (2022)  2 - p. 1-2 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Inferring Interval-Valued Floating-Point Preconditions:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Krämer, Jonas ; Blatter, Lionel ; Darulova, Eva. - p. 303-321 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Introduction to the Special Issue on Approximate Systems:

Alaghi, Armin ; Darulova, Eva ; Gerstlauer, Andreas.
ACM Transactions on Design Automation of Electronic Systems (TODAES).  27 (2022)  2 - p. 1-2 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Regime Inference for Sound Floating-Point Optimizations:

Rabe, Robert ; Izycheva, Anastasiia ; Darulova, Eva
ACM Transactions on Embedded Computing Systems (TECS).  20 (2021)  5s - p. 1-23 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Deductive Verification of Floating-Point Java Programs in K..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva.. - p. 242-261 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Interval constraint-based mutation testing of numerical spe..:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,
Jeangoudoux, Clothilde ; Darulova, Eva ; Lauter, Christoph - p. 388-399 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Lassie: HOL4 tactics by example:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Becker, Heiko ; Bos, Nathaniel ; Gavran, Ivan.. - p. 212-223 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Regime Inference for Sound Floating-Point Optimizations:

Rabe, Robert ; Izycheva, Anastasiia ; Darulova, Eva
ACM Transactions on Embedded Computing Systems.  20 (2021)  5s - p. 1-23 , 2021
Link: https://doi.org/10.1145/..
 
?
14

A Two-Phase Approach for Conditional Floating-Point Verific..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Lohar, Debasmita ; Jeangoudoux, Clothilde ; Sobel, Joshua.. - p. 43-63 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Exploiting Errors for Efficiency: A Survey from Circuits to..:

Stanley-Marbell, Phillip ; Alaghi, Armin ; Carbin, Michael...
ACM Computing Surveys.  53 (2020)  3 - p. 1-39 , 2020
Link: https://doi.org/10.1145/..
 
1-15