I am interested in Programming Languages, Mechanised Theorem Proving, Shared-Memory Concurrency and Memory Consistency models. Look at my publications and my talks for more information.
- Accepted Paper: Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA at POPL'16 (Oct'15)
- Accepted Paper: An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors at MICRO-48 (Sep'15)
- The C3 grant “Scalable & Verified Shared Memory via Consistency-directed Cache Coherence” is funded by EPSRC (Jun'15)
- A PhD position on “Reasoning about Racy Programs under Relaxed Consistency” is available (May'15)