CS 8803 Topics in Program Analysis, Fall 2019

CS 8803
Topics in Program Analysis
Fall 2019

Announcements:

[11/23] Final presentation schedule.
[11/5] The project report is due on 11/22 10pm ET. Please use the title "[8803 project] YourGroupMemberNames:Project Title".
[9/2] The project proposal is due on 9/25 10pm ET. Please use the title "[8803 project] YourGroupMemberNames:Project Title".
[9/2] Please send your group member names to the instructor by 9/18 10:00 pm EST.
[8/20] The first paper review on WebAssembly is due on 8/26 10pm ET. Please use the title "[8803 reading] Yourname:Bringing the Web up to Speed with WebAssembly".
[8/20] Send your preference of 5 papers to present to the instructor by 8/23 10pm ET.
[8/20] Welcome to CS8803 PAN!

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:

Static Analysis
- Principles of Program Analysis by F. Nielson, H. Nielson, and C. Hankin, Springer, 1999.
- Formal Semantics of Programming Languages by G. Winskel, MIT Press, 1993.
- [MS18] Static Program Analysis by A. Møller and M. Schwartzbach, Online book, 2018.
- Updated lecture notes will be posted on this site.
Writing and Presentation
- Tips and Resources for Writing Computer Science Papers.
- Hints for Giving Technical Talks.

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	Course Logistics	Qirun Reading: Crash Course on Notation in Programming Language Theory (video1, video2). [MS18] Chapter 1. [MS18] Chapter 10.
8/22	Fundamentals	Static Analysis and Soundness
8/27	WebAssembly	[PLDI'17] Bringing the Web up to Speed with WebAssembly	Shweta
8/29	Superoptimization	[ASPLOS'13] Stochastic superoptimization	Myeongsoo
9/3	Superoptimization	[PLDI'14] Stochastic optimization of floating-point programs with tunable precision	Myeongsoo
9/5	Rust	Linear types can change the world	Youngsuk Reading: A taste of linear logic
9/10	Rust	[POPL'18] RustBelt: Securing the Foundations of the Rust Programming Language	Yuanbo
9/12	Persistent Memory	[OOPSLA'18] Persistence Semantics for Weak Memory	Yuanbo Reading: Memory Consistency Models: A Tutorial
9/17	Persistent Memory	[ASPLOS'19] PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs	Seulbae
9/19	AutoTuning	[TACO'13] Continuous Learning of Compiler Heuristics	Jacob
9/24	Program Generation	[ESOP'15] Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System	Shuo
9/26	Project Proposal	Presentation schedule.	All
10/1	QuickCheck	[ICFP'00] QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs	Shuo Reading: An introduction to QuickCheck testing
10/3	QuickCheck	[ICFP'13] Testing Noninterference, Quickly	Fan
10/8	Separation logic	[LICS'02] Separation Logic: A Logic for Shared Mutable Data Structures	Yechan
10/10	Program Checking	[JACM'97] Software reliability via run-time result-checking	Fang
10/15	No Class - Fall Recess
10/17	Verifiable Computing	[JAR'14] A Framework for the Verification of Certifying Computations	Jacob
10/22	Resource Analysis	[PLDI'15] Compositional Certified Resource Bounds	Fang
10/24	Resource Analysis	[POPL'17] Towards Automatic Resource Bound Analysis for Ocaml	Gabriel
10/29	Automatic Complexity Analysis	[Report'89] The automatic complexity analysis of divide-and-conquer algorithms	Roland
10/31	Hardware Static Analysis	[ISCA'19] Bouncer: Static Program Analysis in Hardware	Yechan
11/5	Program Enumeration	[ISSTA'02] Korat: Automated Testing Based on Java Predicates,	Xinyu
11/7	Peephole Optimization	[PLDI'15] Provably Correct Peephole Optimizations with Alive	Gabriel
11/12	Javascript	[PLDI'14] Improving JavaScript performance by deconstructing the type system	Shweta
11/14	Memory Model	[POPL'19] Bridging the gap between programming languages and hardware weak memory models	Youngsuk
11/19	Causal Consistency	[POPL'17] On Verifying Causal Consistency	Seulbae
11/21	Differential Privacy	[CCS'12] On significance of the least significant bits for differential privacy	Xinyu
11/26	Final Presentation	Presentation schedule.	All
11/28	No class - Thanksgiving break
12/3	Final Presentation	Presentation schedule.	All

Misc:

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

CS 8803 Topics in Program Analysis Fall 2019

CS 8803
Topics in Program Analysis
Fall 2019