Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

PrideMM: Second Order Model Checking for Memory Consistency Models., , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 507-525. Springer, (2019)Synchronising C/C++ and POWER., , , , , , , and . PLDI, page 311-322. ACM, (2012)PrideMM: A Solver for Relaxed Memory Models., , , , and . CoRR, (2019)Clarifying and compiling C/C++ concurrency: from C++11 to POWER., , , , and . POPL, page 509-520. ACM, (2012)Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies., , , and . Formal Aspects Comput., 35 (2): 10:1-10:27 (June 2023)Chronos vs. Chaos: Timing Weak Memory Executions in the Linux Kernel., and . IWSPA@CODASPY, page 68-77. ACM, (2022)The Problem of Programming Language Concurrency Semantics., , , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 283-307. Springer, (2015)Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)., , , and . Dagstuhl Artifacts Ser., 9 (2): 25:1-25:2 (2023)Verifying Read-Copy Update Under RC11., , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 301-319. Springer, (2023)Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies., , and . FM, volume 13047 of Lecture Notes in Computer Science, page 237-254. Springer, (2021)