Johnathon Aurand

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Simulated Annealing

Static Analysis

Symbolic Execution

Top Venues

Publications

Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
SA4U: Practical Static Analysis for Unit Type Error Detection. CoRR (2022)
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
SA4U: Practical Static Analysis for Unit Type Error Detection. ASE (2022)