Courses
18647: Computational Problem Solving Spring 2023
18202: Mathematical Foundations of Electrical Engineering Fall 2021 Cotaught with Carlee JoeWong
18647: Computational Problem Solving Spring 2021
18202: Mathematical Foundations of Electrical Engineering Fall 2020 Cotaught with Carlee JoeWong
18847G: Special Topics in Computer Systems: Computational Problem Solving for Engineers Spring 2020
18202: Mathematical Foundations of Electrical Engineering Fall 2019 Cotaught with Linda Moya
18613: Foundations of Computer Systems
Spring 2019
18847G: Special Topics in Computer Systems: Computing for Engineers
Fall 2018
15213 / 18213 / 15513: Introduction to Computer Systems
Spring 2018
Cotaught with Seth Goldstein and Brian Railing
18847G: Special Topics in Computer Systems: Computing for Engineers
Fall 2017
18213 / 15213 / 15513: Introduction to Computer Systems
Spring 2017
Cotaught with Seth Goldstein
18202: Mathematical Foundations of Electrical Engineering
Fall 2016
Cotaught with Tom Sullivan
18213 / 15213 / 15513: Introduction to Computer Systems
Spring 2016
Cotaught with Seth Goldstein
18213 / 15213: Introduction to Computer Systems
Spring 2015
Cotaught with Seth Goldstein
18847: Special Topics in Computer Systems: Spiral
Spring 2015
Cotaught with Jose' M. F. Moura
18202: Mathematical Foundations of Electrical Engineering
Fall 2014
Cotaught with Jose' M. F. Moura
Lecture notes:
[uncountable]
[complex] [1storderodes] [2ndorderodes] [dtodesorder2] [eigen]
Carnegie Mellon University, ECE Department
Guest Lectures
Short Course: "Demystifying the Black Art of Autotuning and Formal Software Synthesis"
University of Vienna,
June 2830, 2016
How
to Write Fast Code (18645) by M. Püschel
Guest lecture: SIMD Vector
Instructions: slides and notes [preliminary] [final]
Carnegie Mellon University, ECE Department
Algorithms
and Computation in Signal Processing (18799B) by M.
Püschel
Guest lecture 21 and 22: SIMD
Vector Instructions: slides1, slides2, and notes
Carnegie Mellon University, ECE Department
Program
Generation and Optimization (CS 680) by J. Johnson
Guest lecture: SIMD Vector
Instructions: slides and notes
Guest lecture: Formal Loop
Optimization: slides and notes
Drexel University, CS Department
Tutorial
S. Chellappa, F. Franchetti,
and M. Püschel
How To Write Fast
Numerical Code: A Small Introduction
In Proceedings of the
Generative and Transformational Techniques in Software Engineering (GTTSE)
2007.
