Award Recipient Yulei Sui University of New South Wales Social website googlescholar 2024 Amazon Research Award Path-Sensitive Typestate Analysis through Sparse Abstract Execution Research topic Automated reasoning
