related documents Fast and accurate static data-race detection for concurrent programs Conference Proceeding
