| Rely/guarantee reasoning for multicopy atomic weak memory models N Coughlin, K Winter, G Smith Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 17 | 2021 |
| Value-dependent information-flow security on weak memory models G Smith, N Coughlin, T Murray Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 15 | 2019 |
| Backwards-directed information flow analysis for concurrent programs K Winter, N Coughlin, G Smith 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 8 | 2021 |
| Compositional reasoning for non-multicopy atomic architectures N Coughlin, K Winter, G Smith Formal Aspects of Computing 35 (2), 1-30, 2023 | 7 | 2023 |
| Rely/guarantee reasoning for noninterference in non-blocking algorithms N Coughlin, G Smith 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 380-394, 2020 | 6 | 2020 |
| Lift-off: Trustworthy ARMv8 semantics from formal specifications K Lam, N Coughlin 2023 Formal Methods in Computer-Aided Design (FMCAD), 274-283, 2023 | | 2023 |
| Compositional noninterference on hardware weak memory models N Coughlin, G Smith Science of Computer Programming 217, 102779, 2022 | | 2022 |
| Information-flow control on ARM and POWER multicore processors G Smith, N Coughlin, T Murray Formal Methods in System Design 58 (1), 251-293, 2021 | | 2021 |
| Lightweight and precise value profiling AJ Craik, JDM Papineau, NJ Coughlin US Patent 11,061,704, 2021 | | 2021 |
| Compile-time folding of assumed constant values AJ Craik, NJ Coughlin, GA Chapman, D Heidinga US Patent 10,936,290, 2021 | | 2021 |
| Lightweight and precise value profiling AJ Craik, JDM Papineau, NJ Coughlin US Patent 10,552,185, 2020 | | 2020 |
| Compositional Value-Dependent Noninterference on Hardware Weak Memory Models N Coughlin, G Smith | | |
Graeme SmithThe University of QueenslandAdresse e-mail validée de itee.uq.edu.au
