Jaroslav Sevcík

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 1

Top Topics

High Level Programming Languages

Distributed Memory Machines

Memory Management

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Ross McIlroy, Jaroslav Sevcík, Tobias Tebbi, Ben L. Titzer, Toon Verwaest
Spectre is here to stay: An analysis of side-channels and speculative execution. CoRR (2019)
Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. J. ACM 60 (3) (2013)
Jaroslav Sevcík
Safe optimisations for shared-memory concurrent programs. PLDI (2011)
Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
Relaxed-memory concurrency and verified compilation. POPL (2011)
Jaroslav Sevcík, David Aspinall
On Validity of Program Transformations in the Java Memory Model. ECOOP (2008)
David Aspinall, Jaroslav Sevcík
Formalising Java's Data Race Free Guarantee. TPHOLs (2007)
Jaroslav Sevcík
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)