Eva Darulova
where else to find them
bluesky:malyzajko.bsky.social
what they talk about
where they keep going back
- SAS2 editions2020–2023
on a stage with
- Anastasia Isychevonce
- Anastasiia Izychevaonce
- Helmut Seidlonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Recent Advances in Floating-point (Static) Analyses | SOAP 2024 | 2024-06-25 |
Presents a modular extension of optimization‑based rounding‑error analysis implemented inside the Daisy framework as Hugo and a functional DSL called DS2l over… | ||
| Scaling up Roundoff Analysis of Functional Data Structure Programs | SAS 2023 | 2023-10-22 |
Claims a method that analyzes floating-point roundoff for loops over vectors and matrices by grouping elements by value ranges and analyzing each group once… | ||
| Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs | SAS 2023 | 2023-10-22 |
An optimization-based static analysis extends FB Taylor to handle non-recursive procedural floating-point code by computing procedure summaries as functions of… | ||
| Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis | SAS 2020 | 2020-11-18 |
Method synthesizes floating-point loop invariants by combining counterexample-guided synthesis with random simulation and a noisy polynomial fit for candidate… | ||
| Interactive Synthesis of Temporal Specifications from Examples and Natural Language | OOPSLA 2020 | 2020-11-15 |
LTLTalk synthesizes co-safe LTL specifications from one natural-language command plus a single demonstration by encoding structure and semantics as an SMT… | ||
| nothing matches | ||