Jaroslav Sevck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | PLDI | Safe optimisations for shared-memory concurrent programs. | Jaroslav Sevck |
| 2011 | POPL | Relaxed-memory concurrency and verified compilation. | Jaroslav Sevck, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
| 2008 | ECOOP | On Validity of Program Transformations in the Java Memory Model. | Jaroslav Sevck, David Aspinall |