Ilia Zaichuk

According to our database, Ilia Zaichuk authored at least 3 papers between 2020 and 2026.

Collaborative distances:

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

2026

HELIX: Verified compilation of cyber-physical control systems to LLVM IR.

Vadim Zaliva, Yannick Zakowski, Ilia Zaichuk, Valerii Huhnin, Calvin Beck, Irene Yoon, Steve Zdancewic

CoRR, April, 2026

2021

Modular, compositional, and executable formal semantics for LLVM IR.

Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic

Proc. ACM Program. Lang., 2021

2020

Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.

Vadim Zaliva, Ilia Zaichuk, Franz Franchetti

Proceedings of the Software Verification - 12th International Conference, 2020