Seminar: Validating Optimizations of Concurrent C/C++ Programs
Huxley Building Room 218 Imperial College London, LondonSpeaker: Viktor Vafeiadis The talk will discuss recent work on checking the correctness of LLVM compiler optimisations on C11 programs as far as concurrency is concerned. We have built a validator... Read more »