Concepedia

Christopher Pulte

CP

Statistics

Publications

10

Citations

567

H-Index

10

Active since

2015

Affiliations

University of Cambridge(Current)

University of St Andrews

ARM (United Kingdom)

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

Christopher Pulte is an author at University of Cambridge specializing in formal methods, system software, and computer engineering.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisComputer EngineeringComputer ArchitectureParallel ComputingFormal VerificationParallel Programming

Publications per year

2015–2023

10

Publications

10

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

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors

Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan et al. · 2015 · 42 citations · Full text

Engineering, Computer Architecture, Software Engineering +22

Promising-ARM/RISC-V: a simpler and faster operational concurrency model

Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang et al. · 2019 · 40 citations · Full text

Engineering, Concurrency Models, Verification +20

Rows per page

1–5 of 10