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: Erickson:John
Contributed to:
2014
2013
2013
2010Wrote 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.