131 citations · 177 across the 6 of their papers we have counts for
1 paper · 1 filter
Vadim Zaliva, Yannick Zakowski, Ilia Zaichuk +4
This paper presents the design of HELIX, an end-to-end verified code generation system with a focus on the intersection of high-performance and high-assurance numerical computing.…