Leonid Ryzhyk

Binding

operating systems design and implementation, pp.1241-1255, (2020)

OSDI, pp.827-844, (2020)

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.1069-1084, (2019)

Proceedings of the ACM on Programming Languages, no. OOPSLA (2018): 1-26

national conference on artificial intelligence, (2018)

PACMPL, no. OOPSLA (2018)

International Journal on Software Tools for Technology Transfer (STTT), no. 3 (2017): 367-390

HotOS, no. 1 (2017): 156-161

NSDI, pp.683-698, (2017)

Formal Methods in System Design, no. 2-3 (2017): 97-139

CoRR, (2016)

CAV, pp.364-382, (2016)

AAAI, pp.3738-3745, (2015)

arXiv: Programming Languages, (2015)

SYNT, pp.27-57, (2015)