Lightweight Data Race Detection for Production Runs
Swarnendu Biswas, Man Cao, Minjia Zhang , Michael D. Bond, and Benjamin P. Wood (University of Texas at Austin, USA; Ohio State University, USA; Microsoft Research, USA; Wellesley College, USA)
Dynamic Symbolic Execution for Polymorphism
Lian Li, Yi Lu, and Jingling Xue (Oracle Labs, Australia; Institute of Computing Technology at Chinese Academy of Sciences, China; UNSW, Australia)