SCS Recruiting Seminar: Qirun Zhang

Event Details
  • Date/Time:
    • Tuesday April 24, 2018
      10:50 am - 11:50 am
  • Location: KACB 2443
  • Phone:
  • URL:
  • Email:
  • Fee(s):
    N/A
  • Extras:
Contact

Tess Malone, Communications Officer

tess.malone@cc.gatech.edu

Summaries

Summary Sentence: Practical Program Analysis: Principles and Techniques

Full Summary: No summary paragraph submitted.

Media
  • Qirun Zhang Qirun Zhang
    (image/jpeg)

TITLE: 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.
 

Additional Information

In Campus Calendar
No
Groups

College of Computing, School of Computer Science

Invited Audience
Faculty/Staff, Public, Graduate students, Undergraduate students
Categories
Seminar/Lecture/Colloquium
Keywords
No keywords were submitted.
Status
  • Created By: Tess Malone
  • Workflow Status: Published
  • Created On: Apr 20, 2018 - 2:34pm
  • Last Updated: Apr 20, 2018 - 2:35pm