 |
|
| Thursday, July 26 | |
|---|---|
| PASCO - SHARCNET Tutorials Morning | |
| 8:15- 9:15 | Tutorial 1 Gary Molenkamp. Introduction to SHARCNET: The Supercomputing Facilities around You |
| 9:15-9:30 | Pause |
| 9:30-10:45 | Tutorial 2 (part 1) Ge Baolai Practical High Performance Computing |
| 10:45-11:00 | Coffee-Break |
| 11:00-11:45 | Tutorial 2 (part 2) Ge Baolai Practical High Performance Computing |
| 11:45-12:45 | Lunch |
| PASCO - SHARCNET Tutorials Afternoon | |
| 12:45-15:45 | Tutorial 3: David McCaughan. Parallel Software Design |
| 15:45-16:00 | Coffee-Break |
| 16:00-18:00 | Tutorial 4: Hanan Lutfiyya. Implications of CPU Cache Replacement Algorithms on Performance |
| Friday, July 27 | ||
|---|---|---|
| 8:15-8:50 | Registration | |
| 8:50-9:00 | PASCO Opening and Welcome | |
| SNC-PASCO Morning | ||
| Session chair: Marc Moreno Maza | ||
| 9:00-9:55 | [PASCO] Invited Talk: Katherine Yelick. Productivity and Performance Using Partitioned Global Address Space Languages |
|
| 9:55-10:00 | Pause | |
| 10:00-10:25 | [SNC] Victor Pan. The Schur Aggregation for Solving Linear Systems of Equations |
|
| 10:25-10:45 | Break | |
| Session chair: Tateaki Sasaki | ||
| 10:45-11:10 | [PASCO] Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi and Anna
Urbanska. Parallel Computation of the Rank of Large Sparse Matrices from Algebraic K-Theory |
|
| 11:10-11:35 | [SNC] Marc Normandin, Adam Vajda and Sreeram Valluri. Matched Filtering a Gravitational Wave Pulsar Signal Involving Reciprocal Gamma Functions |
|
| 11:35-11:40 | Pause | |
| 11:40-12:35 | [SNC] Invited Talk: Erich Kaltofen. On Probabilistic Analysis of Randomization in Hybrid Symbolic-Numeric Algorithms |
|
| 12:35-2:00 | Lunch | |
| SNC-PASCO Afternoon | ||
| Session chair: Stephen Watt | ||
| 2:00-2:25 | Paul DeMarco. Parallel and Distributed Computation Using Maple 11 |
|
| 2:25-2:30 | Pause | |
| 2:30-3:25 | Invited Talk: Anthony Kennedy. Automating Renormalization of Quantum Field Theories |
|
| 3:25-3:30 | Pause | |
| 3:30-3:55 | [PASCO] David Saunders, Bruce Char and Bryan Youse. LinBox and Future High Performance Computer Algebra |
|
| 3:55-4:15 | Break | |
| Session chair: Jeremy Johnson | ||
| 4:15-4:40 | [PASCO] Marc Moreno Maza and Yuzhen Xie. Component-level Parallelization of Triangular Decompositions |
|
| 4:40-5:05 | [SNC] Victor Y. Pan and Xiaodong Yan. Null Space and Eigenspace Computations with Additive Preprocessing |
|
| 5:05-5:30 | [PASCO] Anton Leykin. Computing Monodromy via Parallel Homotopy Continuation |
|
| SNC-PASCO Banquet | ||
| 6:00 | Banquet at the Grad Club (Middlesex College) | |
| After-dinner speaker: Keith Geddes | ||
| Saturday, July 28 | |
|---|---|
| 8:15-9:00 | Registration |
| PASCO Morning | |
| Session chair: Jean-Louis Roch | |
| 9:00- 9:55 | Invited Talk: Thierry Gautier. KAAPI: a Thread Scheduling Runtime System for Data Flow Computations on Cluster of Multi-Processors |
| 9:55-10:00 | Pause |
| Session chair: Wayne Eberly | |
| 10:00-10:25 | Ilias Kotsireas and Christos Koukouvinos. Orthogonal Designs and Periodic Autocorrelation Function |
| 10:25-10:50 | Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch and Thomas
Roche. Adaptive Loops with Kaapi on SMP and Grids: Applications in Symmetric Cryptography |
| 10:50-11:10 | Break |
| Session chair: Jean-Guillaume Dumas | |
| 11:10-11:35 | Marc Moreno Maza, Ben Stephenson, Stephen Watt and Yuzhen Xie. Multiprocessed Parallelism Support in ALDOR on SMPs and Multicores |
| 11:35-12:00 | Yosuke Sato and Shutaro Inoue. On the Parallel Computation of Comprehensive Groebner Systems |
| 12:00-12:25 | Xin Li and Marc Moreno Maza. Multithreaded Parallel Implementation of Arithmetic Operations Modulo a Triangular Set |
| 12:25-12:50 | Philippe Trebuchet and Mohab Safey El Din. POSIX Threads Polynomials (PTPol): a Scalable Implementation of Univariate Arithmetic Operations |
| 12:50-14:15 | Lunch |
| PASCO Afternoon | |
| Session chair: Erich Kaltofen | |
| 14:15-15:10 | Invited Talk: Matteo Frigo. Multithreaded Programming in Cilk |
| 15:10-15:15 | Pause |
| Session chair: Michael Monagan | |
| 15:15-15:40 | Thomas Wolf. About Parallelizing the Search for 3-Dimensional Scalar Discrete Integrable Equations |
| 15:40-16:05 | Sebastien Varrette and Jean-Louis Roch. Probabilistic Certification on Global Computing Platforms. Application to Fault-Tolerant Exact Matrix-Vector Product. |
| 16:05-16:25 | Break |
| Session chair: David Saunders | |
| 16:25-16:50 | Eric Robinson, Daniel Kunkle and Gene Cooperman. A Comparative Analysis of Parallel Disk-Based Methods for Enumerating Implicit Graphs |
| 16:50-17:15 | Amadeo Casas, Manuel Carro and Manuel V. Hermenegildo. Towards Efficient and Flexible Parallelism Primitives in High-Level, Symbolic Languages |
| 17:15-17:20 | Pause |
| Session chair: Marc Moreno Maza | |
| 17:20-18:15 | Invited Talk: Mike Bauer. High Performance Computing: the Software Challenges |