Artem Yadrov

According to our database, Artem Yadrov authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis.

Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan

Proceedings of the 1st IEEE/ACM International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering, 2025

2024

Fast Real Evaluation Through Sound Mixed-Precision Tuning.

Artem Yadrov, Pavel Panchekha

CoRR, 2024

2023

An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report.

Mary W. Hall, Ganesh Gopalakrishnan, Eric Eide, Johanna Cohoon, Jeff M. Phillips, Mu Zhang, Shireen Y. Elhabian, Aditya Bhaskara, Harvey Dam, Artem Yadrov, Tushar Kataria, Amir Mohammad Tavakkoli, Sameeran Joshi, Mokshagna Sai Teja Karanam

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023