Graeme Smith

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Multicore Processors

Computing Power

Reasoning Mechanism

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Formal Methods Syst. Des.

Publications

Nicholas Coughlin, Kirsten Winter, Graeme Smith
Compositional Reasoning for Non-multicopy Atomic Architectures. Formal Aspects Comput. 35 (2) (2023)
Graeme Smith
Declassification Predicates for Controlled Information Release. ICFEM (2022)
Nicholas Coughlin, Graeme Smith
Compositional noninterference on hardware weak memory models. Sci. Comput. Program. 217 (2022)
Graeme Smith, Nicholas Coughlin, Toby Murray
Information-flow control on ARM and POWER multicore processors. Formal Methods Syst. Des. 58 (1-2) (2021)