The ATLAS (AI-augmented Testing, Learning, and Analysis of Software) Lab,
led by
Shiyi Wei, conducts research across programming languages,
software engineering, and security. Our goal is to improve the security and
reliability of real-world software through automated software analysis and
testing.