Home Research Books and Papers Software Posters Talks Teaching Students Scholarly Activities

Selected Posters

• 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.