Selected Publications of Yuzhen Xie

Refereed Papers Published Software Refereed Conference Posters Dissertations Back to Yuzhen Xie's Homepage

ballRefereed Papers

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark
by Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie (2015)

Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
by Changbo Chen, Marc Moreno Maza and Yuzhen Xie.
Submitted to Proceedings of the High Performance Computing Symposium (HPCS 2011) in Journal of Physics, 2011.
pdf 

High-Performance Parallel and Stream Processing of X-ray Microdiffraction Data on Multicores
by M. A. Bauer, A. Biem, S. McIntyre, N. Tamura and Y. Xie.
Submitted to Proceedings of the High Performance Computing Symposium (HPCS 2011) in Journal of Physics, 2011.
pdf 

Parallel Univariate Real Root Isolation on Multicore Processors
by C. Chen, M. Moreno Maza and Y. Xie.
Proceedings of the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS-2011), Waterloo, Ontario, Canada. July 25-29, 2011.
pdf 

Pipelined Processing of X-ray Microdiffraction Data on Multicores
by M. A. Bauer, A. Biem, S. McIntyre and Y. Xie.
Extended abstract, Proceedings of the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS-2011), Waterloo, Ontario, Canada. July 25-29, 2011.
pdf 

Balanced Dense Polynomial Multiplication on Multi-cores
by M. Moreno Maza and Y. Xie
International Journal of Foundations of Computer Science (IJFCS), Volume No.22, Issue No. 5. 2011.
pdf 

When does 〈T〉 equal sat(T)?
by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
To appear, Journal of Symbolic Computation, 2011.
pdf 

Parallel computation of the minimal elements of a poset
by Charles E. Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 53--62.
pdf 

Efficient Evaluation of Large Polynomials
by Charles E. Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie
Proceedings of the International Congress of Mathematical Software (ICMS 2010), LNCS 6327, Springer, 2010.
pdf 

SPIRAL-generated modular FFT algorithms
by Lingchua Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti and Yuzhen Xie
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 169-170.
pdf 

A Pipelining Implementation for Parsing X-ray Diffraction Source Data and Removing the Background Noise
by Michael A. Bauer, Alain Biem, Stewart McIntyre and Yuzhen Xie
Proceedings of the High Performance Computing Symposium (HPCS 2010), Journal of Physics: Conference Series, 256 012017, 2010.
pdf 

Balanced Dense Polynomial Multiplication on Multi-cores
by M. Moreno Maza and Y. Xie
In Proc. of the 10th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 9 pages, 2009.
pdf 

FFT-based Dense Polynomial Arithmetic on Multi-cores
by M. Moreno Maza and Y. Xie
High Performance Computing Symposium 2009, D.J.K. Mewhort et al. (Eds.): (HPCS 2009), LNCS 5976, pp. 378--399. Springer-Verlag Berlin, Heidelberg 2010
pdf 

User Interface Design for Geometrical Decomposition Algorithms in Maple
by C. Chen, J. H. Davenport, J. May, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie
Proceedings of Mathematical User-Interface , 12 pages, 2009.
pdf 

On the verification of polynomial system solvers.
by Chen, C.; Moreno Maza, M.; Pan, W. and Xie, Y.
Journal of Frontiers of Computer Science in China. 2(1): 55-66, 2008. Higher Education Press and Springer-Verlag.
pdf 

When does 〈T〉 equal sat(T)?
by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of ISSAC'2008, pages 207-214. Linz, Austria, July 2008.
pdf 

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
In Proc. of Computer Algebra Systems and Their Applications 2008, IEEE Computer Society. Perugia, Italy, 30 June-3 July 2008.
pdf 

On the representation of constructible sets.
by Chen, C.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
extended abstract, Milestones in Computer Algebra 2008 Tobago, May 1-3, 2008..
pdf 

Multiprocessed Parallelism Support in Aldor on SMPs and Multicores
by Moreno Maza, M., Stephenson, B., Watt, S. M. and Xie, Y.
In Proc. of PASCO 2007, July, 2007, London, Canada
pdf 

Component-level Parallelization of Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
In Proc. of PASCO 2007, July, 2007, London, Canada
pdf 
Invited talk at MSRI 2007 Workshop: Interactive Parallel Computation in Support of Research in Algebra, Geometry and Number Theory, January, 2007, Berkeley CA

On the Verification of Polynomial System Solvers
by Chen, C., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of AWFS 2007, June 2007, Xiamen, China
pdf 

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
by Chen, C., Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of the Fifth International Workshop on Computer Algebra Systems and Applications,May, 2007, Beijing
pdf 

Making a Sophisticated Symbolic Solver Available to Different Communities of Users
by Lemaire, F., Moreno Maza, M. and Xie, Y
Proceedings of 11th Asian Technology Conference in Mathematics, December, 2006, Hong Kong
pdf 

Parallelization of Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Proceedings of Algebraic Geometry and Geometric Modeling, August, 2006, Barcelona University
pdf 

Brief Announcement: An Implementation Report for Parallel Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Proceedings of 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), July, 2006, Cambridge, MA
pdf 

On the Complexity of D5 Principle
by Dahan, X., Moreno Maza, M., Schost, E. and Xie, Y.
Proceedings of Transgressive Computing, April, 2006, Granada
pdf 

Lifting Techniques for Triangular Decompositions
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Proceedings of International Symposium on Symbolic and Algebraic Computation, Beijing, July, 2005.
ISSAC 2005 Distinguished Student Author Award
pdf 

The RegularChains Library in Maple
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Maple Conference 2005, July, 2005, Waterloo
pdf 

Equiprojectable Decomposition of Zero-dimensional Varieties
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Proceedings of International Conference on Polynomial System Solving, November, 2004, Paris
pdf 

A Family of Modular XML Schemas for MathML
by Watt, S. M. and Xie, Y.
Proceedings of Internet Accessible Mathematical Computation, July, 2002, Lille
pdf 

A Lisp Subset based on MathML
by Watt, S., Padovani, L. and Xie, Y.
Proceedings of MathML 2002 Conference, July, 2002, Chicago
pdf 

Effect of Permeating Solutions on Complex Permittivity of Compacted Clay
by Rowe, R.K., Shang, J.Q. and Xie, Y.
Canadian Geotechnical Journal, 39: 1016-1025, 2002
pdf 

Complex Permittivity Measurement System for Detecting Soil Contamination
by Rowe, R.K., Shang, J.Q. and Xie, Y.
Canadian Geotechnical Journal, 38: 498-506, 2000
pdf 

ballPublished Software                                                       Back to Top

Parallel and Stream Processing of XRD Data in IBM InfoSphere Streams
by A. Biem and Y. Xie, 2011.

Parallel Univariate Real Root Isolation in C++/Cilk++
by C. Chen and Y. Xie, 2011 (available upon request).

Parallel Transversal Hypergraph Generation in C++/Cilk++
by Y. Xie, 2010 (available upon request).

Basic Polynomial Algebra Subroutines (BPAS) in C++/Cilk++
by Y. Xie, 2009 (preparing for GPL license).

MatrixTools, ConstructibleSetTools, ParametricSystemTools and FastArithmeticTools of the RegularChains library in Maple (12-14)
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
Maplesoft, Waterloo, Canada, 2005-2009

Modular Methods for Triangular Decompositions in Maple 11
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Maplesoft, Waterloo, Canada, September, 2006

The RegularChains Library in Maple 10
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Maplesoft, Waterloo, Canada, May, 2005

XML-Scheme Interpreter
by Xie, Y.
ORCCA, London, Ontario, 2002

"enttran" program (to perform conversion between the types of entity references in an XML file or HTML file)
by Xie, Y.
ORCCA, London, Ontario, 2001

Design and Process List (DPL) Project Manager
by Xie, Y.
FAG Aerospace Canada, 2000 (enterprise distributed software)


ballRefereed Software Demos and Conference Posters                                   Back to Top

Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple
by C. Chen, J. H. Davenport, F. Lemaire, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie
Software demo presented by M. Moreno Maza in ISSAC2011, San Jose, CA USA. June 8-11, 2011.
ISSAC 2011 Distinguished Software Presentation Award.
Talk in pdf, Maple worksheet 
High-Performance Parallel and Stream Processing of X-ray Microdiffraction Data on Multicores
by M. A. Bauer, A. Biem, S. McIntyre, N. Tamura and Y. Xie
Poster in HPCS2011. Montreal, Canada, June 15-17, 2011
PDF 
Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
by C. Chen, M. Moreno Maza and Y. Xie
Poster in ISSAC 2010 and extended abstract in ACM Communications in Computer Algebra, 2010.
PDF 
Balanced Dense Polynomial Multiplication on Multi-cores
by M. Moreno Maza and Y. Xie
Poster in ISSAC2009 and extended abstract in ACM Communications in Computer Algebra, Vol. 43, No. 3, Sept. 2009, Issue 169.
ISSAC 2009 Best Poster Award, Seoul, Korean. 2009.
PDF 
Two new modules of the RegularChains library in Maple 12: ConstructibleSetTools and ParametricSystemTools
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
20 minutes software demo in ISSAC'2008, Linz, Austria, July 2008.
Maple worksheet 
On the representation of constructible sets.
by Chen, C.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
Poster in Second Canada-France Congress 2008, University of Montreal, June 1-5, 2008.
pdf 
Solving Polynomial Systems Symbolically and in Parallel
by Moreno Maza, M. and Xie, Y.
Poster in ISSAC2006, July, 2006, Genowa
pdf 

Parallel Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Poster in MITACS 7th Annual Conference, May, 2006, Toronto
pdf 

On the Complexity of D5 Principle
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W., and Xie, Y.
ISSAC 2005 Best Poster Award, Beijing, July, 2005.
pdf 

The RegularChains Library in Maple 10
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Poster in ISSAC2005, July, 2005, Beijing
pdf 

Equiprojectable Decomposition of Zero-dimensional Varieties
by Dahan, X., Moreno Maza, M., Schost E., Wu, W., and Xie, Y.
Poster in MITACS 6th Annual Conference, April, 2005, Calgary
pdf 


ballDissertations                                                       Back to Top

Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically
by Xie, Y.
Ph D Thesis, University of Western Ontario, 2007
pdf  slides

A Family of XML Schema for MathML
by Xie, Y.
Master's Thesis, University of Western Ontario, 2002
pdf 



Back to Yuzhen Xie's Homepage