Travelled to:1 × Germany
1 × Mexico
1 × USA
Collaborated with:Arvind J.E.Stoy J.Maessen B.Abali H.Franke D.E.Poff T.B.Smith
Talks about:memori (2) protocol (1) compress (1) perform (1) hardwar (1) correct (1) improv (1) proof (1) model (1) coher (1)
Person: Xiaowei Shen
DBLP: Shen:Xiaowei
Facilitated 1 volumes:
EdContributed to:
2001
2001
2000Wrote 3 papers:
- FME-2001-StoySA #correctness #protocol #proving
- Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.
- HPCA-2001-AbaliFSPS #hardware #in memory #memory management #performance
- Performance of Hardware Compressed Main Memory (BA, HF, XS, DEP, TBS), pp. 73–81.
- OOPSLA-2000-MaessenAS #java #memory management #using
- Improving the Java memory model using CRF (JWM, A, XS), pp. 1–12.