Anastasia Isychev

Orcid: 0000-0001-6375-0421

Affiliations:
  • TU Wien, Vienna, Austria
  • Technical University of Munich, Munich, Germany (former)


According to our database1, Anastasia Isychev authored at least 7 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Improving Analysis and Optimization of Finite-Precision Programs.
PhD thesis, 2023

Scaling up Roundoff Analysis of Functional Data Structure Programs.
Proceedings of the Static Analysis - 30th International Symposium, 2023

2021
Regime Inference for Sound Floating-Point Optimizations.
ACM Trans. Embed. Comput. Syst., 2021

2020
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.
Proceedings of the Static Analysis - 27th International Symposium, 2020

2019
Synthesizing Efficient Low-Precision Kernels.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017
On sound relative error bounds for floating-point arithmetic.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017


  Loading...