PASCO 2007: London, Ontario, Canada
Marc Moreno Maza, Stephen M. Watt (Eds.): Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada. ACM 2007 ISBN 978-1-59593-741-4
Invited speakers' papers
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt: Generation and optimisation of code using coxeter lattice paths. 1-10
Michael A. Bauer: High performance computing: the software challenges. 11-12
Matteo Frigo: Multithreaded programming in Cilk. 13-14
Thierry Gautier, Xavier Besseron, Laurent Pigeon: KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. 15-23
Katherine A. Yelick, Dan Bonachea, Wei-Yu Chen, Phillip Colella, Kaushik Datta, Jason Duell, Susan L. Graham, Paul Hargrove, Paul N. Hilfinger, Parry Husbands, Costin Iancu, Amir Kamil, Rajesh Nishtala, Jimmy Su, Michael L. Welcome, Tong Wen: Productivity and performance using partitioned global address space languages. 24-32
Contributed full papers
Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche: Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography. 33-42
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska: Parallel computation of the rank of large sparse matrices from algebraic K-theory. 43-52
Xin Li, Marc Moreno Maza: Multithreaded parallel implementation of arithmetic operations modulo a triangular set. 53-59
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie: Multiprocessed parallelism support in ALDOR on SMPs and multicores. 60-68
Eric Robinson, Daniel Kunkle, Gene Cooperman: A comparative analysis of parallel disk-based Methods for enumerating implicit graphs. 78-87
Jean-Louis Roch, Sébastien Varrette: Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product. 88-92
Contributed extended abstracts
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. 93-94
Ilias S. Kotsireas, Christos Koukouvinos: Inequivalent Hadamard matrices from orthogonal designs. 95-96

Bruce W. Char, B. David Saunders, Bryan S. Youse: LinBox and future high performance computer algebra. 102-103
Mohab Safey El Din, Philippe Trebuchet: POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. 104-106



