Maximal sound predictive race detection with control flow abstraction

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 09, 2014
Source ID
10.1145/2594291.2594315

Entities

People

  • Grigore Rosu
  • Jeff Huang
  • Patrick O'neil Meredith

Organizations

  • Defense Advanced Research Projects Agency
  • Division of Computing and Communication Foundations
  • National Security Agency
  • Rockwell Collins
  • University of Illinois Urbana–Champaign