2022
SA4U: Practical Static Analysis for Unit Type Error Detection.
[DOI]
Max Taylor
,
Johnathon Aurand
,
Feng Qin
,
Xiaorui Wang
,
Brandon Henry
,
Xiangyu Zhang
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022