Program analysis is widely used in various application areas to solve many practical problems, e.g., compiler optimization, bug/security vulnerability detection, program understanding, etc. In spite of significant achievements on static analysis, how to scale sophisticated static analysis to large-scale modern software (like Linux kernel) has been a key challenge for at least a couple of decades, due to the highly intensive computation and huge memory consumption. 

In this talk, I will discuss our Big Data system solutions for scalable and precise static analysis. Specifically, we revisit the scalability problem of sophisticated static analysis from a Big Data perspective. That is, we turn Big code analysis into Big Data analytics and leverage large-scale data processing techniques to solve static analysis problem. 

 

Bio:

Zhiqiang Zuo is now an assistant professor in Department of Computer Science and Technology, Nanjing University. He got his PhD degree from National University of Singapore, and did postdoc research in University of California, Irvine. His research interests span programming languages, software engineering, and Big Data systems. He is recently focusing on building Big Data supports for scalable program analysis, synthesis and SAT solving. He has published a series of work on top venues, such as OSDI, ASPLOS, EuroSys, PLDI, OOPSLA, etc.

About Statistics, modelling and operations research seminars

Students, staff and visitors to UQ are welcome to attend our regular seminars.

The events are jointly run by our Operations research and Statistics and probability research groups, and colleagues in the Centre for Applications in Natural Resource Mathematics.

Seminars are held on Tuesdays from 11am to 12pm in Room 67-442 of the Priestley Building (Building 67).

Information for speakers

Plan to speak for up to 40 minutes, and allow up to 15 minutes for questions and discussion.

Pitch your presentation to an interdisciplinary mathematical audience.

To avoid technical delays on the day, contact us a few days in advance of your presentation to discuss requirements.

You can either email us your presentation in advance, or save it to a memory stick. Microsoft PowerPoint presentations and PDFs are the most convenient file formats, but you can also run the talk from your own laptop.

Venue

07 (Parnell Building)
Room: 
302