Concepedia

Shaked Flur

SF

Statistics

Publications

8

Citations

481

H-Index

8

Active since

2016

Affiliations

University of Cambridge(Current)

University of St Andrews

ARM (United Kingdom)

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

Shaked Flur is an author at University of Cambridge specializing in formal methods, system software, and program analysis.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringComputer ArchitectureParallel ComputingSoftware Design

Publications per year

2016–2020

8

Publications

8

Modelling the ARMv8 architecture, operationally: concurrency and ISA

Shaked Flur, Kathryn E. Gray, Christopher Pulte et al. · 2016 · 135 citations · Full text

Engineering, Hardware Verification Language, Computer Architecture +18

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Christopher Pulte, Shaked Flur, Will Deacon et al. · Proceedings of the ACM on Programming Languages · 2017 · 122 citations · Full text

Engineering, Computer Architecture, Concurrent System +23

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Alasdair Armstrong, B. K. Campbell, Alastair Reid et al. · Proceedings of the ACM on Programming Languages · 2019 · 111 citations · Full text

Engineering, Hardware Verification Language, Verification +21

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Christopher Pulte, Shaked Flur, Will Deacon et al. · Apollo (University of Cambridge) · 2018 · 34 citations · Full text

Engineering, Computer Architecture, Concurrent System +23

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Shaked Flur, Susmit Sarkar, Christopher Pulte et al. · 2016 · 28 citations · Full text

Engineering, Computer Architecture, Memory Model (Programming) +16

1–5 of 8