Course Syllabus
18-647: Computational Problem Solving
Spring 2021

Location: Zoom
Class Lecture: Tuesday and Thursday, 10:40am–12:00pm
Number of Units: 12
Recommended pre-requisites: 18-213/613, 18-202 or equalent


Instructor: Prof. Franz Franchetti
Office hours: Tuesdays 4:00–5:00 p.m. or by appointment
Zoom instead of HH A312: https://cmu.zoom.us/my/franzf
Email: franzf@ece.cmu.edu
Web: http://www.ece.cmu.edu/~franzf

Teaching Assistant: Sanil Rao
Office hours: Mondays 1:00 p.m., https://cmu.zoom.us/j/310251213
Email: sanilr@andrew.cmu.edu

Course Management Assistant: Michele Passerrelo
Email address: ece-asc@andrew.cmu.edu
Office location: HH 1112

ECE IT Helpdesk: HH A204 walk-in Monday–Friday 8:00am–5:00pm
email: help@ece.cmu.edu


Overview:

Computing platforms used in engineering span an incredible dynamic range from embedded and wearable processors through handhelds/laptops to high performance computing servers and the cloud. Similar engineering and AI/ML problems need to be solved across the entire dynamic range. When developing algorithms or solving R&D problems, one usually starts with Matlab and Python using frameworks like Torch, Spark, and TensorFlow, and only resorts to C/C++ only when needed. This course covers how to solve AI/ML and engineering research and development problems across the entire range of machines in a productive and performant way. It discusses how to scale problems from the initial concept stage usually executed on a laptop to more powerful computing systems like enterprise or HPC servers, GPU accelerated systems, and cloud computing platforms.

This course addresses a wide range of computational and informatics problem families from traditional numerical simulation and symbolic data processing to AI and machine learning problems. It covers the most important scalable parallel algorithms used in engineering computing, and discusses frameworks providing problem-specific and general implementation templates. It covers algorithm analysis from the numerical and complexity perspective, parallelization approaches and scalability, algorithm optimization, evaluation and analysis of results.

Students in this course learn to productively solve AI/ML and engineering research and development problems on advanced computer systems across the dynamic range of computing systems. Further, they learn to carry algorithms from the concept stage to efficient-enough scaled-up implementations necessary to solve large scale problem instances, or squeeze them into the small footprint of embedded and wearable devices. Students will solve assigned homeworks and do a final blog post about lessons learned.

Brief List of Topics Covered:

  • Parallel algorithms, scalability, and numerical analysis of these algorithms
  • Software stack and hardware for computational engineering and AI/ML problems
  • Hardware and software available to CMU students (on-site, cloud, NSF XSEDE)
  • Frameworks and execution environments for quick problem solving
  • How to scale from initial concepts to large-scale problems
  • Next steps: How to transition to C/C++ with CUDA/OpenCL, OpenMP, MPI etc.

18-647 Lecture 26: "Computing for Engineers: Summary and Beyond" by Prof. Franz Franchetti, May 6, 2021.

Download the syllabus here.

picture1 picture2 picture3

Tentative Course Calendar

DateDayClass Activity
February
2Tues.State of computing: What is the current state of the art from embedded devices through desktops, servers, and consumer systems all the way to cloud, HPC, and supercomputing
4Thurs.Computer architecture: Relevant computer architecture concepts
9Tues.The ECE Computing Environment: number cluster, Andrew systems, capability machines, GPU access, cloud access, Pittsburgh Supercomputing Center and XSEDE
11Thurs.Software stack: ISA, operating system, virtualization, messaging, containers. Release HW 1
16Tues.Mathematics for Engineers: The central role of numerical linear algebra
18Thurs.Algorithm analysis, scalability, complexity: Getting answers in time
25Thurs.Parallelization: Sequential vs. parallel algorithms, scalability vs. performance. HW 1 due, release HW 2
March
2Tues.Need for speed: Principles of code optimization, when and how to optimize code
4Thurs.Cloud computing and HPC: Amazon EC2/Windows Azure/Google Cloud, Computational Grids, Scientific Workflows, Computing Centers, ECE ITS
9Tues.Guest Lecture: Quantum Computing and Quantum Algorithms
11Thurs.Numerical Analysis: How good are your answers? How to make them better? HW 2 due, release HW 3
16Tues.Scalable algorithms: Dense numerical linear algebra, CNNs/DNNs/ FFTs
18Thurs.Scalable algorithms: Graph algorithms and sparse numerical linear algebra
23Tues.Scalable algorithms: ODE and PDE solvers, stencils, filters, discretization
25Thurs.Scalable algorithms: Discrete and continuous optimization, ML training. HW 3 due, release HW 4
30Tues.Scalable algorithms: Informatics, symbolic computing, higher level AI algorithms
April
1Thurs.Scalable algorithms: Statistics: Monte Carlo, MCMC, statistical machine learning
6Tues.Data: Obtaining real data sets, data visualization, data bases, data stores, file systems
8Thurs.Modern CPUs: Super-Scalar Out-of-order, multicore. HW 4 due, release HW 5
13Tues.Modern CPUs: Vector Extensions
20Tues.Hardware Acceleration: GPUs, FPGAs, TPU, Tensor Cores, . . .
22Thurs.From productivity to performance: C++, OpenMP, MPI, CUDA, Autotuning
27Tues.Guest Lecture: Pittsburgh Supercomputing Center and Usable HPC and High Performance AI/ML
29Thurs.Research Talk: SPIRAL: Formal Software Synthesis of Computational Kernels. HW 5 due
May
4Tues.Student Blog Presentations and Homework Lessons Learned
6Thurs.Summary and Beyond. Blog post due


picture4 picture5 picture6

Homework and Blog Post Logistics and Requirements

Machines

In this course we will use a large variety of machines in the homeworks and projects:

  • Large Linux servers with direct ssh access. The machines we will access are the ECE number cluster and the data science cloud.
  • Large number of small Linux machines in high throughput mode via ECE's HTCondor.
  • HPC multicore nodes and multi-node configurations with and without GPUs via a batch system at PSC and CMU/MechE.
  • Hadoop/Spark/Tensorflow with and without GPUs at PSC.
  • Special hardware at PSC: Bridges AI multi-GPU resources (HPE Apollo and DGX-2) and large memory machines.
  • AWS instances with or without multicore and GPU support.

Software Platforms

In the course we will try out a number of high-level languages and libraries in these languages:

  • Python with NumPy, SciPy, and matplotlib
  • R with CRAN packages
  • Matlab
  • Mathematica
  • Haskell
  • Frameworks: Torch, Theano, OpenCV
  • High-end engineering software
  • C/C++ with HPC math/ML libraries

Algorithms

We will use algorithms covered in the lecture as simple examples to experiment across the machines and software platforms. Students either implement the algorithms themselves or find implementations online, and then run them on the target machines to perform scalability studies. Algorithm groups targeted in the homeworks are as following:

  • Dense numerical linear algebra, CNNs/DNNs/FFTs
  • Graph algorithms and sparse numerical linear algebra
  • ODE and PDE solvers, stencils, filters, discretization
  • Discrete and continuous optimization, ML training
  • Informatics, symbolic computing, higher level AI algorithms
  • Statistics: Monte Carlo, MCMC, statistical machine learning
  • Deep Learning, Big Data Analytics

MS Homework 1—5 Deliverables

Homework 1 to 5 will have as deliverables examples that run the specified/chosen algorithms on the specified/chosen machines for a range of problem sizes. The homework submission consists of the following:

  • The source code for the algorithm, with source attribution as applicable
  • The necessary data files
  • All necessary scripts and make files
  • The captured output of the submission runs
  • Measurements in CSV files and performance plot

Blog post—Deliverables

As final project students submit a blog post addressing the following aspects of one of the homework problems:

  • Problem specification: explain what problem you are addressing and where it is used.
  • Algorithm: describe the algorithm you used.
  • Hardware and software: describe the hardware platform and software infrastructure you used.
  • Outcome: describe the result you obtained and how larger computing resources were necessary.
  • Scalability and complexity: describe the algorithm's complexity, how the algorithm scales with problem size, and how it scales number of processors/cores in strong and weak scaling sense.
  • Quality of the result: assess the numerical or approximation quality of your result.
  • Performance anyalysis: measure the runtime behavior, model fit it to the theoretical growth behavior, and assess the efficiency of the implementation.
  • Suggested performance optimization: Assume a limited engineering budget but the need for a faster solution. Suggest which parts of the algorithm one would optimize and what optimization approach and target hardware should be used.

home  |  short cv  |  projects  |  publications  |  professional activity  |  courses  |  students  |  rockin