Lahav Ori

Publications in Math-Net.Ru

1. On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:4 (2017),  51–69
2. Promising compilation to ARMv8.3
   
   Proceedings of ISP RAS, 29:5 (2017),  149–164