E-LIB Suche - Ergebnisse für: Pulte, Christopher

1

CN: Verifying Systems C Code with Separation-Logic Refineme..:

Pulte, Christopher ; Makwana, Dhruv C. ; Sewell, Thomas...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1-32 , 2023

Link: https://doi.org/10.1145/..

2

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/..

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

Repairing and mechanising the JavaScript relaxed memory mod..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Watt, Conrad ; Pulte, Christopher ; Podkopaev, Anton... - p. 346-361 , 2020

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

6

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/..

7

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

Armstrong, Alasdair ; Bauereiss, Thomas ; Campbell, Brian...
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-31 , 2019

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

8

Promising-ARM/RISC-V: a simpler and faster operational conc..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Pulte, Christopher ; Pichon-Pharabod, Jean ; Kang, Jeehoon.. - p. 1-15 , 2019

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

9

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

Armstrong, Alasdair ; Bauereiss, Thomas ; Campbell, Brian...
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-31 , 2019

Link: https://doi.org/10.1145/..

10

Simplifying ARM concurrency: multicopy-atomic axiomatic and..:

Pulte, Christopher ; Flur, Shaked ; Deacon, Will...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

11

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

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,

Flur, Shaked ; Sarkar, Susmit ; Pulte, Christopher... - p. 429-442 , 2017

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

12

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

Flur, Shaked ; Sarkar, Susmit ; Pulte, Christopher...
ACM SIGPLAN Notices. 52 (2017) 1 - p. 429-442 , 2017

Link: https://doi.org/10.1145/..

13

Simplifying ARM concurrency: multicopy-atomic axiomatic and..:

Pulte, Christopher ; Flur, Shaked ; Deacon, Will...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

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

14

Modelling the ARMv8 architecture, operationally: concurrenc..:

Flur, Shaked ; Gray, Kathryn E. ; Pulte, Christopher...
ACM SIGPLAN Notices. 51 (2016) 1 - p. 608-621 , 2016

Link: https://doi.org/10.1145/..

15

Modelling the ARMv8 architecture, operationally: concurrenc..:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Flur, Shaked ; Gray, Kathryn E. ; Pulte, Christopher... - p. 608-621 , 2016

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