Nicholas Coughlin

12 papers A 2B 4Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
Data Structure Analysis for Binaries.
TACAS (2)
Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter
2025 J jnl
Translation Validation for LLVM's AArch64 Backend.
Proc. ACM Program. Lang.
Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr
2024 — conf
Detecting Speculative Execution Vulnerabilities on Weak Memory Models.
FM (1)
Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter
2024 B conf
Lift-Offline: Instruction Lifter Generators.
SAS
Nicholas Coughlin, Alistair Michael, Kait Lam
2023 J jnl
Compositional Reasoning for Non-multicopy Atomic Architectures.
Formal Aspects Comput.
Nicholas Coughlin, Kirsten Winter, Graeme Smith
2023 B conf
Lift-off: Trustworthy ARMv8 semantics from formal specifications.
FMCAD
Kait Lam, Nicholas Coughlin
2022 J jnl
Compositional noninterference on hardware weak memory models.
Sci. Comput. Program.
Nicholas Coughlin, Graeme Smith
2021 A conf
Backwards-directed information flow analysis for concurrent programs.
CSF
Kirsten Winter, Nicholas Coughlin, Graeme Smith
2021 J jnl
Information-flow control on ARM and POWER multicore processors.
Formal Methods Syst. Des.
Graeme Smith, Nicholas Coughlin, Toby Murray
2021 B conf
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.
FM
Nicholas Coughlin, Kirsten Winter, Graeme Smith
2020 A conf
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms.
CSF
Nicholas Coughlin, Graeme Smith
2019 B conf
Value-Dependent Information-Flow Security on Weak Memory Models.
FM
Graeme Smith, Nicholas Coughlin, Toby Murray