*On the Factor Refinement Principle and its Implementation on Multicore Architectures.*

ECCAD 2012.*On Fulton's Algorithm for Computing Intersection Multiplicities.*

ECCAD 2012.*Quantifier Elimination via Triangular Decomposition.*

ECCAD 2012.*From Multicore to Manycore Architectures: The Reduction of Parallelization Overheads and its Impact on Implementing Polynomial Arithmetic.*

HPCS 2012.*Generating Loop Invariants via Polynomial Interpolation.*

ECCAD 2012.*Curriculum Initiative on Parallel and Distributed Computing at the University of Western Ontario.*

Presented at EduPar-12, 2012 workshop of the*NSF/IEEE-TCPP Curriculum Initiative on on Parallel and Distributed Computing.*The corresponding*paper*(curriculum proposal).*Solving Bivariate Polynomial Systems on a GPU.*

ECCAD 2012.*Almost-linear time algorithms for triangular sets.*

ISSAC 2010.*Cache Friendly Sparse Matrix-vector Multiplication.*

ISSAC 2010.*Cache Complexity and Multicore Implementation for Univariate Real Root Isolation.*

ISSAC 2010.*Complexity and Performance Results for Non FFT-Based Univariate Polynomial Multiplication.*

ISSAC 2010.*Computing Cylindrical Algebraic Decomposition via Triangular Decomposition.*

MITACS 2009.*Balanced Dense Polynomial Multiplication on Multicores.*

**Best Poster Award at ISSAC'09.***On the Representation of Constructible Sets.*

MITACS 2008.*The*`ConstructibleSetTools`and`ParametricSystemsTools`modules of the`RegularChains`library in MAPLE.

MITACS 2008.*Triangular Decompositions for Solving Parametric Polynomial Systems.*

MITACS 2008.*On the Verification of Polynomial System Solvers.*

ISSAC 2007.*Implementation Techniques For Fast Polynomial Arithmetic In A High-level Programming Environment.*

MITACS 2006.*Bounds and Algebraic Algorithms for Ordinary Differential Characteristic Sets.*

ISSAC 2006.*Change of Order for Regular Chains in Positive Dimension.*

ISSAC 2006.*On the Complexity of the D5 Principle.*

**Best Poster Award at ISSAC'05.***Equiprojectable Decomposition of Zero-dimensional Varieties.*

MITACS'05.*The RegularChains library in Maple 10.*

ISSAC'05.