BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
Christopher Pulte P.Sewell S.Sarkar H.Y.Chen S.Mukhopadhyay K.E.Gray Will Deacon Jon French A.Sezgin L.Maranget K.Nienhuis M.Batty A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid Robert M. Norton Prashanth Mundkur Mark Wassell I.Stark Neel Krishnaswami
Talks about:
concurr (3) model (2) oper (2) isa (2) arm (2) architectur (1) multicopi (1) simplifi (1) axiomat (1) termin (1)

Person: Shaked Flur

DBLP DBLP: Flur:Shaked

Contributed to:

SAS 20122012
POPL 20162016
POPL 20172017
POPL 20182018
POPL 20192019

Wrote 5 papers:

SAS-2012-ChenFM #linear #proving #termination
Termination Proofs for Linear Simple Loops (HYC, SF, SM), pp. 422–438.
POPL-2016-FlurGPSSMDS #architecture #concurrent #modelling
Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
POPL-2017-FlurSPNMGSBS #concurrent
Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.
POPL-2018-PulteFDFSS #axiom #concurrent #modelling #multi
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 (CP, SF, WD, JF, SS, PS), p. 29.
POPL-2019-ArmstrongBCRGNM #semantics
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.