Ilia Zaichuk

According to our database, Ilia Zaichuk authored at least 2 papers between 2020 and 2021.

Collaborative distances:

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

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