Johnathon Aurand

According to our database, Johnathon Aurand authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

SA4U: Practical Static Analysis for Unit Type Error Detection.

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