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 × China
2 × USA
Collaborated with:
L.Maranget S.Sarkar J.Alglave P.Sewell K.Memarian S.Owens M.Batty S.Mador-Haim R.Alur M.M.K.Martin
Talks about:
power (3) multiprocessor (2) understand (1) synchronis (1) axiomat (1) memori (1) model (1)

Person: Derek Williams

DBLP DBLP: Williams:Derek

Contributed to:

CAV 20122012
PLDI 20122012
PLDI 20112011

Wrote 3 papers:

CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi
An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.
PLDI-2012-SarkarMOBSMAW #c #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
PLDI-2011-SarkarSAMW #comprehension #multi
Understanding POWER multiprocessors (SS, PS, JA, LM, DW), pp. 175–186.

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.