Semantics-based program verifiers for all languages

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 19, 2016
Source ID
10.1145/2983990.2984027

Entities

People

  • Andrei Stefănescu
  • Daejun Park
  • Grigore Rosu
  • Shijiao Yuwen
  • Yilong Li

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Illinois Urbana–Champaign