Making lock-free data structures verifiable with artificial transactions

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 04, 2015
Source ID
10.1145/2818302.2818309

Entities

People

  • David Williams-king
  • Junfeng Yang
  • Simha Sethumadhavan
  • Xinhao Yuan

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • Alfred P. Sloan Foundation
  • Columbia University
  • National Science Foundation
  • Office of Naval Research