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
- The Ott paper was awarded the Most Influential ICFP Paper Award for 2007 (Sep'17)
- Accepted Paper: Verification of a lazy cache coherence protocol against a weak memory model at FMCAD'17(Aug'17)
- Welcome to Dr Ruth Hoffmann, postdoctoral research fellow on the C3 project (Feb'17)
- Accepted Paper: Mixed-size Concurrency: ARM, POWER, C/C++11, and SC at POPL'17 (Oct'16)
- Accepted Paper: Farms, Pipes, Streams, and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms at ICFP'16 (Jun'16)
- Accepted Paper: Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA at POPL'16 (Oct'15)