Improving Detection
of Data Races and Misuses of Lock-Free Queues via Semantics Conference Contributions uri icon

event

  • 19th Workshop on Compilers for Parallel Computing (CPC 2016)

event place

  • VALLADOLID

participation category

  • PONENCIA

publication date

  • 2016