PLunch: RacerD: Compositional Static Race Detection
Ian Sweet
Abstract
Weekly PL lunch discussing the paper "RacerD: Compositional Static Race Detection.” Discussion will be led by Ian Sweet.
Paper available here: http://ilyasergey.net/papers/racerd-oopsla18-preprint.pdf
Sign up to present here: https://docs.google.com/spreadsheets/d/1qOSdfrRyT7D3VyLtp992x0F5vVmaFpLIOh0Nh91DRWk?usp=sharing
This talk is organized by Kesha Hietala