E-LIB Suche - Ergebnisse für: Simner, Ben - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Isla: integrating full-scale ISA semantics and axiomatic co..:

Armstrong, Alasdair ; Campbell, Brian ; Simner, Ben..
Formal Methods in System Design. , 2023

Link: https://doi.org/10.1007/..

2

Wait-Free Weak Reference Counting:

, In: Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management,

Parkinson, Matthew J. ; Clebsch, Sylvan ; Simner, Ben - p. 85-96 , 2023

Link: https://dl.acm.org/doi/1..

3

Relaxed virtual memory in Armv8-A:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Simner, Ben ; Armstrong, Alasdair ; Pichon-Pharabod, Jean... - p. 143-173 , 2022

Link: https://doi.org/10.1007/..

4

Isla: Integrating Full-Scale ISA Semantics and Axiomatic Co..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Armstrong, Alasdair ; Campbell, Brian ; Simner, Ben.. - p. 303-316 , 2021

Link: https://doi.org/10.1007/..

5

ARMv8-A System Semantics: Instruction Fetch in Relaxed Arch..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Simner, Ben ; Flur, Shaked ; Pulte, Christopher... - p. 626-655 , 2020

Link: https://doi.org/10.1007/..

6

Relaxed virtual memory in Armv8-A (extended version):

Simner, Ben ; Armstrong, Alasdair ; Pichon-Pharabod, Jean...
http://arxiv.org/abs/2203.00642. , 2022

Link: http://arxiv.org/abs/220..

7

ARMv8-A System Semantics: Instruction Fetch in Relaxed Arch..:

Simner, Ben ; Flur, Shaked ; Pulte, Christopher...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702243/. , 2020

Link: http://www.ncbi.nlm.nih...

8

ARMv8-A system semantics: instruction fetch in relaxed arch..:

Simner, Ben ; Flur, Shaked ; Pulte, Christopher...
hal-02509910. , 2020

Link: https://hal.inria.fr/hal..

9

ARMv8-A system semantics: instruction fetch in relaxed arch..:

Simner, Ben ; Flur, Shaked ; Pulte, Christopher...
hal-02509910. , 2020

Link: https://inria.hal.scienc..

10

ARMv8-A system semantics: instruction fetch in relaxed arch..:

Simner, Ben ; Flur, Shaked ; Pulte, Christopher...
hal-02509910. , 2020

Link: https://inria.hal.scienc..

1-10