|
|
|
Publications in Math-Net.Ru |
Citations |
|
2017 |
| 1. |
A. V. Podkopaev, O. Lahav, V. Vafeiadis, “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. |
A. V. Podkopaev, O. Lahav, V. Vafeiadis, “Promising compilation to ARMv8.3”, Proceedings of ISP RAS, 29:5 (2017), 149–164  |
1
|
|
| Organisations |
|
|
