Journal Publications

1. Sparse Direct Factorizations through Unassembled Hyper-Matrices.
   Paolo Bientinesi, Victor Eijkhout, Kyungjoo Kim, Jason Kurtz and Robert van de Geijn.
   Computer Methods in Applied Mechanics and Engineering, Vol. 199, Issues 9-12, January 2010.


2. Families of Algorithms Related to the Inversion of a Symmetric Positive Definite Matrix. [PS] [PDF]
   Paolo Bientinesi, Brian Gunter, Robert A. van de Geijn.
   ACM Transactions on Mathematical Software, 35(1), July 2008.


3. Scalable Parallelization of FLAME Code via the Workqueuing Model. [PDF]
   Field Van Zee, Paolo Bientinesi, Tze Meng Low and Robert van de Geijn.
   ACM Transactions on Mathematical Software, 34(2), March 2008.


4. A Parallel Eigensolver for Dense Symmetric Matrices Based on Multiple Relatively Robust Representations. [PS] [PDF]
   Paolo Bientinesi, Inderjit S. Dhillon, Robert A. van de Geijn.
   SIAM Journal on Scientific Computing, Vol. 27, No. 1, 2005.


5. Representing Linear Algebra Algorithms in Code: The FLAME APIs. [PS] [PDF]
   Paolo Bientinesi, Enrique Quintana-Orti and Robert van de Geijn.
   ACM Transactions on Mathematical Software, 31(1), March 2005.


6. The Science of Deriving Dense Linear Algebra Algorithms. [PS] [PDF]
   Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Orti and Robert A. van de Geijn.
   ACM Transactions on Mathematical Software, 31(1), March 2005.


7. On Numerical Approximation of Electrostatic Energy in 3D. [PS] [PDF]
   Daniele Finocchiaro, Marco Pellegrini and Paolo Bientinesi.
   Journal of Computational Physics 146/2, 707-725, 1998.

Submitted:

8. A Goal-Oriented and Modular Approach to Stability Analysis.
   Paolo Bientinesi and Robert van de Geijn.
   Submitted to SIAM Journal on Matrix Analysis and Applications.

Peer Reviewed Conference Publications

1. An Example of Symmetry Exploitation for Energy-related Eigencomputations.
   Matthias Petschow, Edoardo Di Napoli and Paolo Bientinesi.
   7th International Conference of Computational Methods in Sciences and Engineering (ICCMSE'09). Accepted for publication.


2. On Parallelizing the MRRR Algorithm for Data-Parallel Coprocessors.
   Christian Lessig and Paolo Bientinesi.
   PPAM 2009, Eighth International Conference on Parallel Processing and Applied Mathematics. Accepted for publication.


3. Reduction to Condensed Forms for Symmetric Eigenvalue Problems on Multi-core Architectures.
   Paolo Bientinesi, Francisco Igual, Daniel Kressner and Enrique Quintana-Orti.
   PPAM 2009, Eighth International Conference on Parallel Processing and Applied Mathematics. Accepted for publication.


4. Can Cloud Computing Reach the TOP500? [PDF]
   Jeff Napper and Paolo Bientinesi.
   Proceedings of the Workshop on UnConventional High Performance Computing, in conjunction with The 2009 ACM International Conference on Computing Frontiers, 18-20 May 2009.


5. Multi-dimensional Array Operations for Signal Processing Algorithms. [PDF]
   Paolo Bientinesi, Nikos Pitsianis and Xiaobai Sun.
   Proceedings of PARA 2008: 9th International Workshop on State-of-the-Art in Scientific and Parallel Computing. May 2008.


6. Fast Computation of Local Correlation Coefficients.
   Paolo Bientinesi, Nikos Pitsianis and Xiaobai Sun.
   SPIE Advanced Signal Processing Algorithms, Architectures, and Implementations 2008.


7. SuperMatrix: a Multithreaded Runtime Scheduling System for Algorithms-by-Blocks. [PDF]
   Paolo Bientinesi, Ernie Chan, Enrique Quintana-Orti, Gregorio Quintana-Orti, and Robert van de Geijn.
   Proceedings of ACM SIGPLAN 2008 Symposium on Principles and Practice of Parallel Programming (PPoPP'08), February 20-23, 2008.


8. Unassembled Hyper-Matrices for hp-adaptive FEM Problems.
   Paolo Bientinesi, Victor Eijkhout, Jason Kurtz and Robert van de Geijn.
   Proceedings of the International Congress on Industrial and Applied Mathematics (ICIAM'07), July 16-20, 2007.


9. Formal Correctness and Stability of Dense Linear Algebra Algorithms. [PS] [PDF]
   Paolo Bientinesi and Robert van de Geijn.
   Proceedings of 17th IMACS World Congress: Scientific Computation, Applied Mathematics and Simulation, 2005.


10. Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory. [PS] [PDF]
    Paolo Bientinesi, Sergey Kolos and Robert van de Geijn.
    Proceedings of PARA'04 State-of-the-Art in Scientific Computing, June 20-23, 2004.


11. Rapid Development of High-Performance Linear Algebra Libraries. [PS] [PDF]
    Paolo Bientinesi, John Gunnels, Fred Gustavson, Greg Henry, Margaret Myers, Enrique Quintana-Orti and Robert van de Geijn.
    Proceedings of PARA'04 State-of-the-Art in Scientific Computing, June 20-23, 2004.


12. The Science of Programming High-Performance Linear Algebra Libraries.
    Paolo Bientinesi, John A. Gunnels, Fred G. Gustavson, Greg M. Henry, Margaret E. Myers, Enrique S. Quintana-Orti and Robert A. van de Geijn.
    Proceedings of Performance Optimization for High-Level Languages and Libraries (POHLL-02), a workshop in conjunction with the 16th Annual ACM International Conference on Supercomputing (ICS'02), June 21, 2002.

Dissertation & Thesis

• Mechanical Derivation and Systematic Analysis of Correct Linear Algebra Algorithms. [PS] [PDF]
  Ph.D. Dissertation, Department of Computer Sciences, University of Texas at Austin, August 2006.


• Computational Geometry techniques for approximation of electrostatic forces. [PS] [PDF]
  Masters Thesis, University of Pisa, April 1998.

Technical Reports

1. An Example of Symmetry Exploitation for Energy-related Eigencomputations.
   Matthias Petschow, Edoardo Di Napoli and Paolo Bientinesi.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. AICES-2009-18. October 2009.


2. On Parallelizing the MRRR Algorithm for Data-Parallel Coprocessors.
   Christian Lessig and Paolo Bientinesi.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. AICES-2009-12. May 2009.


3. Reduction to Condensed Forms for Symmetric Eigenvalue Problems on Multi-core Architectures.
   Paolo Bientinesi, Francisco Igual, Daniel Kressner and Enrique Quintana-Orti.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. AICES-2009-11. March 2009.


4. Formal Derivation of Krylov Methods.
   Victor Eijkhout, Paolo Bientinesi and Robert van de Geijn.
   Texas Advanced Computing Center, The University of Texas at Austin. TR-09-03. March 2009.


5. Can Cloud Computing Reach the Top500?
   Jeff Napper and Paolo Bientinesi.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. AICES-2009-5. February 2009.


6. The Science of Deriving Stability Analyses. [PDF]
   Paolo Bientinesi and Robert van de Geijn.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. Technical Report AICES-2008-7. November 2008.


7. Automation in Dense Linear Algebra. [PDF]
   Paolo Bientinesi and Robert van de Geijn.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. Technical Report AICES-2008-2. October 2008.


8. Multi-dimensional Array Operations for Signal Processing Algorithms.
   Paolo Bientinesi, Nikos Pitsianis and Xiaobai Sun.
   Aachen Institute for Computational Engineering Science, RWTH Aachen. Technical Report AICES-2008-1. October 2008.


9. Multi-dimensional Array Memory Accesses for FFTs on Parallel Architectures.
   Paolo Bientinesi, Nikos Pitsianis and Xiaobai Sun.
   Department of Computer Science, Duke University. Technical Report CS-2007-10. December 2007.


10. Sparse Direct Factorizations through Unassembled Hyper-Matrices. [PDF]
    Paolo Bientinesi, Victor Eijkhout, Kyungjoo Kim, Jason Kurtz and Robert van de Geijn.
    Texas Advanced Computing Center, The University of Texas at Austin. TR-07-02. October 2007.


11. Parallel 2D FFTs on the Cell Broadband Engine.
    Paolo Bientinesi, Nikos Pitsianis and Xiaobai Sun.
    Department of Computer Science, Duke University. Technical Report CS-2007-03. April 2007.


12. Mechanical Derivation and Systematic Analysis of Correct Linear Algebra Algorithms. [PS] [PDF]
    Paolo Bientinesi.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-06-46. September 2006.


13. Families of Algorithms Related to the Inversion of a Symmetric Positive Definite Matrix.
    Paolo Bientinesi, Brian Gunter and Robert van de Geijn.
    FLAME Working Note #19.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-06-20. April 2006.


14. Representing Dense Linear Algebra Algorithms: A Farewell to Indices. [PS] [PDF]
    Paolo Bientinesi and Robert van de Geijn.
    FLAME Working Note #17.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-06-10. February 2006.


15. FLAME 2005 Prospectus: Towards the Final Generation of Dense Linear Algebra Libraries.
    Paolo Bientinesi, Kazushige Goto, Tze Meng Low, Enrique Quintana-Orti, Robert van de Geijn and Field Van Zee.
    FLAME Working Note #16.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-05-15. April 2005.


16. FLAME\@lab: A Farewell to Indices.
    Paolo Bientinesi, Enrique S. Quintana-Orti and Robert A. van de Geijn.
    FLAME Working Note #11.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-03-11. April 2003.


17. The Science of Deriving Dense Linear Algebra Algorithms.
    Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Orti and Robert A. van de Geijn.
    FLAME Working Note #8.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-02-53. September 2002.


18. A Parallel Eigensolver for Dense Symmetric Matrices Based on Multiple Relatively Robust Representations.
    P. Bientinesi, I. Dhillon and R. van de Geijn.
    The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-03-26. September 2002.


19. Electrostatic fields without singularities: implementation and experiments. [PS] [PDF]
    P. Bientinesi and M. Pellegrini.
    Institute for Computational Mathematics, Technical Report TR-B4-16-97, 1997.