Nicholas Coughlin

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Formal Specification

Reasoning Mechanism

Multicore Processors

Information Flows

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Kait Lam, Nicholas Coughlin
Lift-off: Trustworthy ARMv8 semantics from formal specifications. FMCAD (2023)
Nicholas Coughlin, Kirsten Winter, Graeme Smith
Compositional Reasoning for Non-multicopy Atomic Architectures. Formal Aspects Comput. 35 (2) (2023)
Nicholas Coughlin, Graeme Smith
Compositional noninterference on hardware weak memory models. Sci. Comput. Program. 217 (2022)
Kirsten Winter, Nicholas Coughlin, Graeme Smith
Backwards-directed information flow analysis for concurrent programs. CSF (2021)
Graeme Smith, Nicholas Coughlin, Toby Murray
Information-flow control on ARM and POWER multicore processors. Formal Methods Syst. Des. 58 (1-2) (2021)
Nicholas Coughlin, Kirsten Winter, Graeme Smith
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. FM (2021)
Nicholas Coughlin, Graeme Smith
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms. CSF (2020)
Graeme Smith, Nicholas Coughlin, Toby Murray
Value-Dependent Information-Flow Security on Weak Memory Models. FM (2019)