Concepedia

Jaroslav Ševčík

JŠ

5

Publications

355

Citations

5

H-Index

2011

Active since

Affiliations

University of Cambridge(Current)

Max Planck Institute for Software Systems

Purdue University West Lafayette

Institut national de recherche en sciences et technologies du numérique

MathWorks (United Kingdom)

Jaroslav Ševčík is an author at University of Cambridge specializing in formal methods, formal verification, and parallel computing.

Top concepts

CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationComputer EngineeringComputer Architecture

Publications per year

2011–2013

5

Publications

5

CompCertTSO

Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al. · Journal of the ACM · 2013 · 172 citations

Engineering, Compiler Technology, Computer Architecture +18

Relaxed-memory concurrency and verified compilation

Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al. · ACM SIGPLAN Notices · 2011 · 60 citations

Engineering, Compiler Technology, Verification +19

Relaxed-memory concurrency and verified compilation

Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al. · 2011 · 45 citations

Engineering, Compiler Technology, Verification +21

Safe optimisations for shared-memory concurrent programs

Jaroslav Ševčík · 2011 · 40 citations

Engineering, Compiler Technology, Computer Architecture +19

Safe optimisations for shared-memory concurrent programs

Jaroslav Ševčík · ACM SIGPLAN Notices · 2011 · 38 citations

Compiler Optimisations, Engineering, Compiler Technology +19

Rows per page

1–5 of 5