4 citations · 8 across the 4 of their papers we have counts for
4 papers
RAPTOR: Practical Numerical Profiling of Scientific Applications
Faveo Hoerold, Ivan R. Ivanov, Akash Dhruv +4
The proliferation of low-precision units in modern high-performance architectures increasingly burdens domain scientists. Historically, the choice in HPC was easy: can we get away…
Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
Emil Vatai, Aleksandr Drozd, Ivan R. Ivanov +3
Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transform…
Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
Ivan R. Ivanov, Joachim Meyer, Aiden Grossman +2
The size and complexity of software applications is increasing at an accelerating pace. Source code repositories (along with their dependencies) require vast amounts of labor to ke…
High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs
William S. Moses, Ivan R. Ivanov, Jens Domke +3
While parallelism remains the main source of performance, architectural implementations and programming models change with each new hardware generation, often leading to costly app…