Courses
18-647: Computational Problem Solving
Spring 2024
18-647: Computational Problem Solving
Spring 2023
18-202: Mathematical Foundations of Electrical Engineering
Fall 2021
Co-taught with Carlee Joe-Wong
18-647: Computational Problem Solving
Spring 2021
18-202: Mathematical Foundations of Electrical Engineering
Fall 2020
Co-taught with Carlee Joe-Wong
18-847G: Special Topics in Computer Systems: Computational Problem Solving for Engineers
Spring 2020
18-202: Mathematical Foundations of Electrical Engineering
Fall 2019
Co-taught with Linda Moya
18-613: Foundations of Computer Systems
Spring 2019
18-847G: Special Topics in Computer Systems: Computing for Engineers
Fall 2018
15-213 / 18-213 / 15-513: Introduction to Computer Systems
Spring 2018
Co-taught with Seth Goldstein and Brian Railing
18-847G: Special Topics in Computer Systems: Computing for Engineers
Fall 2017
18-213 / 15-213 / 15-513: Introduction to Computer Systems
Spring 2017
Co-taught with Seth Goldstein
18-202: Mathematical Foundations of Electrical Engineering
Fall 2016
Co-taught with Tom Sullivan
18-213 / 15-213 / 15-513: Introduction to Computer Systems
Spring 2016
Co-taught with Seth Goldstein
18-213 / 15-213: Introduction to Computer Systems
Spring 2015
Co-taught with Seth Goldstein
18-847: Special Topics in Computer Systems: Spiral
Spring 2015
Co-taught with Jose' M. F. Moura
18-202: Mathematical Foundations of Electrical Engineering
Fall 2014
Co-taught with Jose' M. F. Moura
Lecture notes:
[uncountable]
[complex] [1st-order-odes] [2nd-order-odes] [dt-odes-order2] [eigen]
Carnegie Mellon University, ECE Department
Guest Lectures
Short Course: "Demystifying the Black Art of Autotuning and Formal Software Synthesis"
University of Vienna,
June 28-30, 2016
How
to Write Fast Code (18-645) 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 (18-799B) 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.
|