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)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)Clarifying and compiling C/C++ concurrency: from C++11 to POWER., , , , and . POPL, page 509-520. ACM, (2012)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)Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies., , and . FM, volume 13047 of Lecture Notes in Computer Science, page 237-254. Springer, (2021)Modular Relaxed Dependencies in Weak Memory Concurrency., , , , , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 599-625. Springer, (2020)