Batuzov Kirill Andreyevich

Publications in Math-Net.Ru

1. Global register allocation during dynamic binary translation
   
   Proceedings of ISP RAS, 28:5 (2016),  199–214
2. Deterministic replay specifics in case of minimal device set
   
   Proceedings of ISP RAS, 27:2 (2015),  65–92