TY  - RPRT
TI  - SA4U: Practical Static Analysis for Unit Type Error Detection
AU  - Max Taylor
AU  - Johnathon Aurand
AU  - Feng Qin
AU  - Xiaorui Wang
AU  - Brandon Henry
AU  - Xiangyu Zhang
PY  - 2022
DO  - 10.1145/3551349.3556937
UR  - https://arxiv.org/abs/2210.09136
ID  - 2210.09136
ER  -