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 × Canada
1 × Russia
2 × USA
Collaborated with:
J.D.Bingham K.Siau M.Zhang D.J.Sorin B.D.Bingham M.R.Greenstreet M.Musuvathi S.Burckhardt K.Olynyk
Talks about:
model (2) coher (2) distribut (1) protocol (1) explicit (1) deadlock (1) scalabl (1) languag (1) freedom (1) kernel (1)

Person: John Erickson

DBLP DBLP: Erickson:John

Contributed to:

HPCA 20142014
CAV 20132013
HCI/HIMI p1 20132013
OSDI 20102010

Wrote 4 papers:

HPCA-2014-ZhangBES #design #named #protocol #scalability #verification
PVCoherence: Designing flat coherence protocols for scalable verification (MZ, JDB, JE, DJS), pp. 392–403.
CAV-2013-BinghamBEG #concurrent #distributed #model checking
Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
HIMI-D-2013-EricksonS #modelling
Unified Modeling Language: The Teen Years and Growing Pains (JE, KS), pp. 295–304.
OSDI-2010-EricksonMBO #concurrent #detection #effectiveness #kernel
Effective Data-Race Detection for the Kernel (JE, MM, SB, KO), pp. 151–162.

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.