SA4U: Practical Static Analysis for Unit Type Error Detection

Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang. SA4U: Practical Static Analysis for Unit Type Error Detection. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]

Authors

Max Taylor

This author has not been identified. Look up 'Max Taylor' in Google

Johnathon Aurand

This author has not been identified. Look up 'Johnathon Aurand' in Google

Feng Qin

This author has not been identified. Look up 'Feng Qin' in Google

Xiaorui Wang

This author has not been identified. Look up 'Xiaorui Wang' in Google

Brandon Henry

This author has not been identified. Look up 'Brandon Henry' in Google

Xiangyu Zhang

This author has not been identified. Look up 'Xiangyu Zhang' in Google