Applications of Context-Sensitive Program Analysis and Verification Techniques

Title: Applications of Context-Sensitive Program Analysis and Verification Techniques
Speaker: Dr. Xin Li (JAIST)
Time: 15:00, Thursday, June 14th, 2012
Venue: Room 337, 3rd Floor, Building 5#, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Abstract:  With the ever-growing complexity of modern software, it becomes more and more challenging to validate software behaves as expected. In this talk, instead of delving into technical details, I will give a brief overview of our program analysis and verification tool set for commercial-strength software applications. The talk considers target applications of our techniques from the real world, including web security analysis, malware detection, access control, etc. in language-based security, context-sensitive program analysis, traveling-salesman-like analysis and verification problems, etc. in software validation, and symbolic execution in software testing.

Bio:
Xin Li is Research Assistant Professor of the School of Information Science at JAIST. Her research interests span program analysis, formal verification, language-based security and software engineering. Her current objective is developing methodologies, techniques, and tools, to improve the reliability and security of large-scale commercial-strength software.