Stay Informed:
Baskin Engineering COVID-19 Information and Resources
Campus Roadmap to Recovery
Zoom Links: Zoom Help | Teaching with Zoom | Zoom Quick Guide

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
Engineering 2, Room 506
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.