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.
News
- Welcome to Chathura Colombage and Joe Nash, new PhD students in the group (Oct'14)
- I have been awarded a SICSA Early Career Industrial Fellowship (Feb'14)
- Fast RMWs for TSO: Semantics and Implementation (PLDI '13)