Certified concurrent abstraction layers

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2018
Source ID
10.1145/3192366.3192381

Entities

People

  • David Costanzo
  • Hao Chen
  • Jieung Kim
  • Jérémie Koenig
  • Ronghui Gu
  • Tahina Ramananandro
  • Vilhelm Sjöberg
  • Xiongnan (newman) Wu
  • Zhong Shao

Organizations

  • Defense Advanced Research Projects Agency
  • Microsoft
  • National Science Foundation
  • Yale University