CACR Seminar
See event detail for location
Formal Derivation Techniques for Generating Linear Algebra Libraries
Paolo Bientinesi,
University of Texas at Austin,
Event location: Powell-Booth Room 100
"Formal Derivation Techniques for Generating Linear Algebra Libraries," Paolo Bientinesi, University of Texas at Austin.
"Formal Derivation Techniques for Generating Linear Algebra Libraries," Paolo Bientinesi, University of Texas at Austin.
For more information, please contact Sarah Emery by email at sarah@cacr.caltech.edu.