Jaroslav Sevcík

According to our database, Jaroslav Sevcík authored at least 8 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Spectre is here to stay: An analysis of side-channels and speculative execution.

Ross McIlroy, Jaroslav Sevcík, Tobias Tebbi, Ben L. Titzer, Toon Verwaest

CoRR, 2019

2013

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

J. ACM, 2013

2011

Relaxed-memory concurrency and verified compilation.

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Safe optimisations for shared-memory concurrent programs.

Jaroslav Sevcík

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2009

Program transformations in weak memory models.

Jaroslav Sevcík

PhD thesis, 2009

2008

On Validity of Program Transformations in the Java Memory Model.

Jaroslav Sevcík, David Aspinall

Proceedings of the ECOOP 2008, 2008

2007

Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers.

Jaroslav Sevcík

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Formalising Java's Data Race Free Guarantee.

David Aspinall, Jaroslav Sevcík

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007