SLING: using dynamic analysis to infer program invariants in separation logic

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 08, 2019
Source ID
10.1145/3314221.3314634

Entities

People

  • Guolong Zheng
  • ThanhVu Nguyen
  • Ton Chanh Le

Organizations

  • Office of Naval Research
  • Stevens Institute of Technology
  • University of Nebraska–Lincoln

Tags

Technology Areas

  • AI & ML