Nicholas Coughlin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Data Structure Analysis for Binaries. | Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter |
| 2024 | FM | Detecting Speculative Execution Vulnerabilities on Weak Memory Models. | Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter |
| 2024 | SAS | Lift-Offline: Instruction Lifter Generators. | Nicholas Coughlin, Alistair Michael, Kait Lam |
| 2023 | FMCAD | Lift-off: Trustworthy ARMv8 semantics from formal specifications. | Kait Lam, Nicholas Coughlin |
| 2021 | FM | Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. | Nicholas Coughlin, Kirsten Winter, Graeme Smith |
| 2019 | FM | Value-Dependent Information-Flow Security on Weak Memory Models. | Graeme Smith, Nicholas Coughlin, Toby Murray |