-
Tales from the Jungle.
Peter Sewell.
In ICFP 2012, Invited talk abstract.
[ bib |
doi |
abstract ]
-
False Concurrency and Strange-but-true Machines
.
Peter Sewell.
In CONCUR 2012, Invited talk abstract.
[ bib |
doi |
pdf |
abstract ]
-
Multi-Core Memory Models and Concurrency Theory (Dagstuhl
Seminar 11011).
Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, and Peter Sewell.
Dagstuhl Reports, 1(1):1--26, 2011.
[ bib |
doi |
pdf |
abstract ]
-
Memory, an elusive abstraction.
Peter Sewell.
In ISMM 2010, Invited talk abstract.
[ bib |
doi |
pdf ]
-
Relaxed memory models must be rigorous.
Francesco Zappa Nardelli, Peter Sewell, Jaroslav Ševčík,
Susmit Sarkar, Scott Owens, Luc Maranget, Mark Batty, and Jade Alglave.
In EC2.
[ bib |
pdf |
abstract ]
-
Multiprocessor Architectures Don't Really Exist (But They
Should).
Peter Sewell.
In MTV 2010, Invited session on Verification issues for multi-core
systems.
[ bib |
pdf |
abstract ]