*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Tess Malone, Communications Officer
Summary Sentence: Practical Program Analysis: Principles and Techniques
Full Summary: No summary paragraph submitted.
Qirun ZhangTITLE: Practical Program Analysis: Principles and Techniques
ABSTRACT:
Software reliability is critical and challenging, for which program analysis offers a principled methodology. However, developing practical program analyses that are scalable and precise is difficult, both conceptually and engineering-wise. This talk highlights two linesof my research that significantly advance the state-of-the-art of program analysis. First, I will present a new reachability-based analysis framework and asymptotically faster algorithms that drastically outperform existing frameworks/algorithms in both speed and precision. The popular LLVM compiler infrastructur e has adopted the techniques for fast, precise alias analysis. Second, I will describe a principled, scalable program enumeration framework for rigorous compiler testing. This work has led to 300+ confirmed/fixed bugs in important production/research compilers (such as GCC/LLVM/CompCert, Scala, and Rust) and enjoyed wide publicacknowledgments from the compiler developer community. I will conclude the talk by discussing my research vision and plan for building reliable and performant software.
BIO:
Qirun Zhang is a postdoctoral fellow at the University of California, Davis. Before, he was a postdoctoral fellow at the Hong Kong University of Science and Technology. He received his Ph.D. in computer science and engineering from The Chinese University of Hong Kong and his B.E. in computer science from Zhejiang University. His main area of research is programming languages, focusing on program analysis and testing. His work has appeared in top venues (e.g., PLDI, POPL, OOPSLA, and ICSE), and led to new analysis foundations and algorithms and high-impact practical results.
