Symbolic Computation Group
David R. Cheriton School of Computer Science
|
|
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.