Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicholas Coughlin
conf.researchr.org general 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
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
Wed 11 Sep 07:17