Imperial College London > Talks@ee.imperial > Featured talks > Validating Optimizations of Concurrent C/C++ Programs
Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
Validating Optimizations of Concurrent C/C++ ProgramsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Wiesia R Hsissen. HiPEDS Seminar 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 checks that optimisations performed by the compiler do not change memory accesses in ways disallowed by the C11 and/or LLVM memory models. Although the LLVM concurrency model has not yet fully been formalised, our experiments highlight an important difference between the C11 and LLVM memory models, which has led to some misunderstanding among compiler developers, which in turn led to concurrency-specific compilation errors. This is joint work with Soham Chakraborty. This talk is part of the Featured talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsPowertalk Complexity & Networks Group Type the title of a new list hereOther talksPerformance of micro-markets for distributed energy resources The Geometry of Over-actuated Systems: Application to Dynamic Control Allocation Input Design for Active Fault Diagnosis |