Yang’s research centers on building reliable, secure, and fast software systems. Today’s software systems are large, complex, and plagued with errors, some of which have caused critical system failures, breaches, and performance degradation. Yang has invented techniques, algorithms, and tools to analyze, test, debug, monitor, and optimize real-world software, including Android, Linux, production systems at Microsoft, machine learning systems, and self-driving platforms, benefiting hundreds of millions of users. His research has resulted in numerous vulnerability patches to real-world systems, practical adoption at the largest technology companies, and press coverage at Scientific American, The Atlantic, The Register, Communications of ACM, and other news outlets.