Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicholas Coughlin
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2023 profile
SPLASH 2024 profile
Registered user since Thu 13 Apr 2023
Name:
Nicholas Coughlin
Affiliation:
Defence Science and Technology Group, Australia
Contributions
2025
SPLASH
Author of Translation Validation for LLVM's AArch64 Backend within the OOPSLA-track
2024
Static Analysis Symposium
Keynote Speaker of Lift-offline: Instruction Lifter Generators within the SAS 2024-track
2023
ICSE
Author of Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models within the Showcase-track
Share
x
Sun 26 Oct 23:24