CS 8803
Topics in Program Analysis
Fall 2019


Announcements:


Instructor:
Qirun Zhang,
Office: 2324 Klaus
Office Hours: Tue/Thu 3:30 - 4:15 PM
Email: qrzhang@gatech.edu

Lectures:
Time: Tue/Thu 4:30 - 5:45 PM
Location: Architecture (West) 260

Course Summary:
CS 8803 is a graduate course on static program analysis. Static analysis provides a way to reason about programs without actually running them on specific inputs. In general, static analysis model program behavior for all possible inputs. 

References:

Assignments:
  • Paper Review
    • Paper review LaTeX template.
    • Deadline: by 10:00 pm EST the night before the class.

  • Project Proposal
    • Four-Paragraph guideline for your proposal.
    • Deadline: 9/25 by 10:00 pm EST.

  • Project Report
    • Conference-paper-style report.
    • Deadline: 11/22 by 10:00 pm EST.

Grading:
Grading breakdown:
  • Paper Review: 20%
  • Presentation: 20%
  • Project: 60%

Schedule:

Date Topic Paper Presenter and Optional Reading
8/20 Introduction
8/22 Fundamentals
8/27 WebAssembly
  • Shweta
8/29 Superoptimization
  • Myeongsoo
9/3 Superoptimization
  • Myeongsoo
9/5 Rust
9/10 Rust
  • Yuanbo
9/12 Persistent Memory
9/17 Persistent Memory
  • Seulbae
9/19 AutoTuning
  • Jacob
9/24 Program Generation
  • Shuo
9/26 Project Proposal
  • All
10/1 QuickCheck
10/3 QuickCheck
  • Fan
10/8 Separation logic
  • Yechan
10/10 Program Checking
  • Fang
10/15 No Class - Fall Recess
10/17 Verifiable Computing
  • Jacob
10/22 Resource Analysis
  • Fang
10/24 Resource Analysis
  • Gabriel
10/29 Automatic Complexity Analysis
  • Roland
10/31 Hardware Static Analysis
  • Yechan
11/5 Program Enumeration
  • Xinyu
11/7 Peephole Optimization
  • Gabriel
11/12 Javascript
  • Shweta
11/14 Memory Model
  • Youngsuk
11/19 Causal Consistency
  • Seulbae
11/21 Differential Privacy
  • Xinyu
11/26 Final Presentation
  • All
11/28 No class - Thanksgiving break
12/3 Final Presentation
  • All

Misc:
If you have any concern, please send an email to the instructor. This link could help to send anonymous messages.