University of Texas at Austin, 19 September 2016.
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.
ETH Zürich, Zürich, Switzerland, June 2014.
Ph.D. Defense, Aachen, Germany, December 2013.
The 6th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2012).
The 7th Intl Workshop on Automatic Performance Tuning (iWAPT), 10th Intl Meeting on High-Performance Computing for Computational Science (VECPAR 2012).
The 8th International Conference on Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB 2012).
The 83rd Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM 2012).
The 13th International Workshop on Computer Algebra in Scientific Computing (CASC 2011).
Workshop on Computer Algebra Systems and Their Applications (CASA), 11th International Conference on Computational Science and Its Applications (ICCSA 2011).
Workshop on Automated computing, 8th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010)..
Workshop on Autotuning, 6th Parallel Matrix Algorithms and Applications (PMAA 2010).