Talks - Diego Fabregat-Traver

  1. Hybrid CPU-GPU generation of the Hamiltonian and Overlap matrices in FLAPW methods
    JHPCS'16.
    4 October 2016.
  2. Cl1ck + LGen: FLAME for small scale linear algebra
    BLIS Retreat 2016.
    University of Texas at Austin, 19 September 2016.
  3. Cl1ck: A code generator for linear algebra kernels
    Programming Languages Lunch Colloquium.
    University of Texas at Austin, 12 September 2016.
    We present Cl1ck, a code generator for specialized linear algebra kernels. Cl1ck adopts the FLAME methodology for the derivation of formally correct loop-based algorithms, and takes a three-stage approach: First, the input operation is transformed into one or more Partitioned Matrix Expressions (PMEs), i.e., a recursive definition of the operation; then, the PMEs are decomposed to identify a family of loop invariants; finally, loop-based algorithms are built around these loop invariants using formal methods techniques. Different back-ends enable then the translation of the algorithms into Matlab and optimized C code.
    abstractwebPDFhide
  4. OmicABEL: Story of a successful interdisciplinary collaboration
    PASC Conference 14.
    ETH Zürich, Zürich, Switzerland, June 2014.
  5. Knowledge-Based Automatic Generation of Algorithms and Code
    Ph.D. Defense, Aachen, Germany, December 2013.
  6. Automating the Generation of Algorithms for Generalized Least-Squares Problems
    The 6th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2012).
    Vienna, Austria, September 2012.
  7. A Domain-Specific Compiler for Linear Algebra Operations
    The 7th Intl Workshop on Automatic Performance Tuning (iWAPT), 10th Intl Meeting on High-Performance Computing for Computational Science (VECPAR 2012).
    Kobe, Japan, July 2012.
  8. High-throughput Algorithms for Genome-Wide Association Studies
    The 8th International Conference on Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB 2012).
    Novosibirsk, Russia, June 2012.
  9. Sequences of Generalized Least-Squares for Genome-Wide Association Studies
    The 83rd Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM 2012).
    Darmstadt, Germany, March 2012.
  10. Knowledge-Based Automatic Generation of Partitioned Matrix Expressions
    The 13th International Workshop on Computer Algebra in Scientific Computing (CASC 2011).
    Kassel, Germany, September 2011.
  11. Automatic Generation of Loop-Invariants for Matrix Operations
    Workshop on Computer Algebra Systems and Their Applications (CASA), 11th International Conference on Computational Science and Its Applications (ICCSA 2011).
    Santander, Spain, June 2011.
  12. Automatic Generation of Partitioned Matrix Expressions for Matrix Operations
    Workshop on Automated computing, 8th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010)..
    Rhodes, Greece, September 2010.
  13. Generation of Linear Algebra Algorithms for Automatic Differentiation
    Workshop on Autotuning, 6th Parallel Matrix Algorithms and Applications (PMAA 2010).
    Basel, Switzerland, June 2010.