Collaborated with:
O.Lahav V.Vafeiadis
Talks about:
program (1) languag (1) hardwar (1) between (1) promis (1) memori (1) compil (1) model (1) bridg (1) weak (1)
Person: Anton Podkopaev
DBLP: Podkopaev:Anton
Contributed to:
Wrote 2 papers:
- ECOOP-2017-PodkopaevLV #compilation
- Promising Compilation to ARMv8 POP (AP, OL, VV), p. 28.
- POPL-2019-PodkopaevLV #hardware #memory management #modelling #programming language
- Bridging the gap between programming languages and hardware weak memory models (AP, OL, VV), p. 31.