Symbolic Computation Group

David R. Cheriton School of Computer Science
University of Waterloo, Waterloo, Ontario, Canada

Thursday, Dec, 6, 2012 , at Maplesoft
Approaching Program Analysis via Computer Algebra
Rong Xiao, Western University

Abstract: In this talk, we will present methods, based on computer algebra, to tackle several problems arising in analysis of computer programs. This includes generation of loop invariants, loop verification, dependence analysis and automatic parallelization. We will discuss the theoretical results we have obtained, as well as the advantages and limitations of our algorithms. We will also demonstrate the Maple package, called ProgramAnalysis, that we have developed along this research.

 

Last modified on Tuesday, 19 February 2013, at 13:14 hours.