Collaborated with:A.Groce I.Ahmed C.Jensen J.Alglave L.Maranget Andrea Parri Alan S. Stern
Talks about:disconcert (1) frighten (1) children (1) concurr (1) verifi (1) kernel (1) falsif (1) driven (1) verif (1) small (1)
Person: Paul E. McKenney
DBLP: McKenney:Paul_E=
Contributed to:
2015
2018Wrote 2 papers:
- ASE-2015-GroceAJM #how #verification
- How Verified is My Code? Falsification-Driven Verification (T) (AG, IA, CJ, PEM), pp. 737–748.
- ASPLOS-2018-AlglaveMMPS #concurrent #kernel #linux
- Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel (JA, LM, PEM, AP, ASS), pp. 405–418.