Travelled to:1 × India
1 × USA
Collaborated with:A.R.Lebeck D.J.Sorin A.Bracy
Talks about:translat (2) protocol (1) instruct (1) specifi (1) consist (1) address (1) verifi (1) memori (1) unitd (1) dynam (1)
Person: Bogdan F. Romanescu
DBLP: Romanescu:Bogdan_F=
Contributed to:
2010
2010Wrote 2 papers:
- ASPLOS-2010-RomanescuLS #consistency #memory management #specification #verification
- Specifying and dynamically verifying address translation-aware memory consistency (BFR, ARL, DJS), pp. 323–334.
- HPCA-2010-RomanescuLSB #protocol
- UNified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all (BFR, ARL, DJS, AB), pp. 1–12.