CACR Seminar

Thursday June 2, 2005 1:00 PM

Formal Derivation Techniques for Generating Linear Algebra Libraries

Speaker: Paolo Bientinesi, University of Texas at Austin
Location: See event detail for location
Event location: Powell-Booth Room 100
"Formal Derivation Techniques for Generating Linear Algebra Libraries," Paolo Bientinesi, University of Texas at Austin.

Contact: Sarah Emery sarah@cacr.caltech.edu