Registered user since Thu 8 Sep 2016
I am a PhD student of Mark Batty studying weak memory behaviours and compiler verification.
Affiliation:University of Kent
Research interests:Weak memory, compiler verification
|POPL 2022||The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency|
|Show activities from other conferences|
Using general profile