1. T: Aug 20

• Scanners
• Parsers

• Dragon Ch. 1 - 2.3 & Ch. 3
• IntelliJ docs
• Git docs
• JUnit docs

• Course Overview
• Install Sireum IVE
• Set up private repos

2. U: Aug 29

• Top-down Parsers
• ANTLR4

• Dragon Ch. 2.4 - 2.9 & Ch. 4
• ANTLR4 docs

• Project M1: Scanner & Parser (due Sep 11)
• Demo: Sireum IVE & ANTLRv4 Plugin

3. U: Sep 5

• Abstract Syntax Tree
• Eclipse JDT

• Dragon Ch. 4 & 5
• Eclipse JDT Documentation

• Exam 1: Scanners, Parsers & Top-Down Parsers

4. U: Sep 12

• Symbol Table
• Type Checking
• Bottom-up Parsers

• Dragon Ch. 2.7 & Ch. 6.1 - 6.5

• Project M2: Abstract Syntax Tree (due Sep 25)
• Exam 1 Discussion
• Demo: JDT AstView Plugin

5. U: Sep 19

• Virtual Machine
• Code Generation: Eclipse JDT to Java bytecode using ASM

• Dragon Ch. 6.6 - 6.9 & Ch. 8.1-8.6
• JVM Specification
• ASM Documentation and API

• Exam 2: AST, Symbol Table, and Type Checking

6. U: Sep 26

• Bytecode Optimization

• Dragon Ch. 8.7

• Project M3: Type Checking (due Oct 9)
• Exam 2 Discussion

7. U: Oct 3

• 706 Presentation Topics
• 801 Final Project (due Dec 16)

8. U: Oct 10

• Static Analysis – Overview
• Static Analysis – Control Flow Graph (CFG)
• Static Analysis – Reaching Definition

• Nielson-Nielson-Hankin Ch. 1
• Dragon Ch. 9

• Project M4: Bytecode Generation (due Oct 23)
• Project M5: Static Analysis (due Nov 6)
• Demo: ASM Bytecode Viewer Plugin

9. U: Oct 17

• Static Analysis – Classic Problems
• Static Analysis – Monotone Dataflow Framework

• Nielson-Nielson-Hankin Ch. 2
• Dragon Ch. 9

• Exam 3: Virtual Machine, Bytecode Generation, and Bytecode Optimization

10. No Lab

11. U: Oct 31

• Exam 4: Static Analysis – CFG, Reaching Definition, Classic Problems, and Monotone Dataflow Framework

12. U: Nov 7

• Exam 3 & 4 Discussion

13. No Lab

14. No lab

15. Thanksgiving Break

16. T U: Dec 3 & 5

Presentations

• Dec 3: TBA
• Dec 5: LLVM