Eva Darulova

发表论文 59 篇 · 总被引 876 次 · h-index 14

代表论文

Exploiting Errors for Efficiency (2020 · ACM Computing Surveys · 被引 33)
Interactive synthesis of temporal specifications from examples and natural language (2020 · Proc. ACM Program. Lang. · 被引 31)
Sound Mixed Fixed-Point Quantization of Neural Networks (2023 · ACM Transactions on Embedded Computing Systems · 被引 20)
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations (2020 · Artifact Digital Object Group · 被引 13)
Regime Inference for Sound Floating-Point Optimizations (2021 · ACM Transactions on Embedded Computing Systems · 被引 9)
Deductive Verification of Floating-Point Java Programs in KeY (2021 · International Conference on Tools and Algorithms for Construction and Analysis of Systems · 被引 8)