Non-race concurrency bug detection through order-sensitive critical sections

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 23, 2013
Source ID
10.1145/2485922.2485978

Entities

People

  • Erik Halberg
  • G. Edward Suh
  • Ruirui Huang

Organizations

  • Air Force Office of Scientific Research
  • Cornell University
  • Division of Computer and Network Systems
  • Division of Computing and Communication Foundations