BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shen:Xiaowei

Facilitated 1 volumes:

PPoPP 2013Ed

Contributed to:

FME 20012001
HPCA 20012001
OOPSLA 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.