Collaborated with:
A.Raad J.Wickerson V.Vafeiadis
Talks about:
architectur (1) persist (1) semant (1) intel (1)
Person: Gil Neiger
DBLP: Neiger:Gil
Contributed to:
Wrote 1 papers:
- POPL-2020-RaadWNV #architecture #semantics
- Persistency semantics of the Intel-x86 architecture (AR, JW, GN, VV), p. 31.