SA4U: Practical Static Analysis for Unit Type Error Detection

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 10, 2022
Source ID
10.1145/3551349.3556937

Entities

People

  • Brandon Henry
  • Feng Qin
  • Johnathon Aurand
  • Max Taylor
  • Xiangyu Zhang
  • Xiaorui Wang

Organizations

  • Air Force Research Laboratory
  • Ohio State University
  • Purdue University