Nicholas Coughlin

According to our database, Nicholas Coughlin authored at least 12 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Data Structure Analysis for Binaries.

Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Translation Validation for LLVM's AArch64 Backend.

Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr

Proc. ACM Program. Lang., 2025

2024

Lift-Offline: Instruction Lifter Generators.

Nicholas Coughlin, Alistair Michael, Kait Lam

Proceedings of the Static Analysis - 31st International Symposium, 2024

Detecting Speculative Execution Vulnerabilities on Weak Memory Models.

Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Compositional Reasoning for Non-multicopy Atomic Architectures.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Formal Aspects Comput., June, 2023

Lift-off: Trustworthy ARMv8 semantics from formal specifications.

Kait Lam, Nicholas Coughlin

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Compositional noninterference on hardware weak memory models.

Nicholas Coughlin, Graeme Smith

Sci. Comput. Program., 2022

2021

Information-flow control on ARM and POWER multicore processors.

Graeme Smith, Nicholas Coughlin, Toby Murray

Formal Methods Syst. Des., 2021

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Proceedings of the Formal Methods - 24th International Symposium, 2021

Backwards-directed information flow analysis for concurrent programs.

Kirsten Winter, Nicholas Coughlin, Graeme Smith

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms.

Nicholas Coughlin, Graeme Smith

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Value-Dependent Information-Flow Security on Weak Memory Models.

Graeme Smith, Nicholas Coughlin, Toby Murray

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019