Defense: Access Classification for Race Detection Optimization

Speaker Name: 
Dustin Rhodes
Speaker Title: 
PhD Candidate (Advisor: Cormac Flanagan)
Speaker Organization: 
Computer Science
Start Time: 
Wednesday, November 28, 2018 - 12:00pm
End Time: 
Wednesday, November 28, 2018 - 2:00pm
Location: 
Engineering 2, Room 506
Organizer: 
Cormac Flanagan

Abstract:  Race detectors add checks to memory accesses in order to confirm that the access is not involved in a race. These checks make up the bulk of race detection overhead because of the huge number of memory accesses in most programs. While adding checks to each access ensures correctness, checks on accesses that never race can be removed without sacrificing precision. We implement systems which remove the majority of checks through local and global analyses and lead to huge speedups in race detection without sacrificing correctness.