Ilia Zaichuk

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Machine Translation System

Domain Specific Languages

Modelling Language

Top Venues

Proc. ACM Program. Lang.

Publications

Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic
Modular, compositional, and executable formal semantics for LLVM IR. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Vadim Zaliva, Ilia Zaichuk, Franz Franchetti
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. VSTTE (2020)