Compilers

Compilers

Please watch the relevant video prior to class. Also, download the exercises - we will be using them during class. Slides exist in two forms, with and without animations.

Introduction

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
compilers-1	Introduction Languages and Translators Compiler Phases – Analysis Phase Compiler Phases – Synthesis Phase Compiler Modularity Compilation Example Systems Software and Runtime Systems		compilers-1.pdf compilers-1-anim.pdf	compilers-1-exercises.zip		29m
tiny-1	Compiling a Simple Language Languages and Translators Lexical Analysis Syntactic Analysis Concrete vs. Abstract Syntax Semantic Analysis AST Evaluation IR Generation Interpreting the IR Code Generation Putting it all Together		tiny-1.pdf tiny-1-anim.pdf	tiny-1-exercises.zip	compilers-1	25m

Lexical Analysis

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
lex-1	Lexical Analysis I Language Issues Regular Grammars Regular Expressions Exercises Scanner Generators		lex-1.pdf lex-1-anim.pdf	lex-1-exercises.zip	tiny-1	20m
lex-2	Lexical Analysis II- Finite State Machines Deterministic Finite Atomaton Exercises Nondeterministic Finite Atomaton Implementing Lexical Analysis Dealing with Keywords		lex-2.pdf lex-2-anim.pdf	lex-2-exercises.zip	lex-1	23m
lex-3	Lexical Analysis III - From REs to DFAs RE to NFA (Thompson's Construction) From NFA to DFA SubsetConstrction Example NFA to DFA -Take 2		lex-3.pdf lex-3-anim.pdf	lex-3-exercises.zip	lex-2	17m

Syntactic Analysis

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
grammars-1	Formal Grammars Grammars Context-Free Grammars Precedence, Associativity, Ambiguity Abstract Syntax Exercises		grammars-1.pdf grammars-1-anim.pdf	grammars-1-exercises.zip	tiny-1	31m
parse-1	Parsing I - Grammars Context-Free Grammars Revisited Top-Down Parsing Recursive Descent Parsing - 4 Problems Precedence, Associativity, Ambiguity Further Grammar Transformations		parse-1.pdf parse-1-anim.pdf	parse-1-exercises.zip	grammars-1	23m
parse-2	Parsing 2- Top-Down Parsing Top-down Parsing Computing FIRST Sets Computing FOLLOW Sets Construct Top-Down Parser Expression Grammar		parse-2.pdf parse-2-anim.pdf	parse-2-exercises.zip	parse-1	30m
parse-3	Parsing 3- Predictive Parsing Predictive Parsing Building the Parse Table Error Recovery Exercise		parse-3.pdf parse-3-anim.pdf	parse-3-exercises.zip	parse-2	17m
parse-4	Parsing 4- Tying it all Together Exercise The LL(1) Property Building the Abstract Syntax Tree		parse-4.pdf parse-4-anim.pdf	parse-4-exercises.zip	parse-3	25m

Semantic Analysis

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
sem-1	Semantic Analysis 1 Context Conditions Tree-Walk Evaluators Constant Expression Evaluation Constant Declarations Type checking Synthesized vs. Inherited Attributes Environments		gdb-1.pdf gdb-1-anim.pdf	gdb-1-exercises.zip	x86-2, ghidra-3	29m
sem-2	Semantic Analysis 2— Declarations Scope Rules Semantic Analysis Tasks Symbol Tables and Environments Threaded Attributes Attribute Grammars Nested Scope Environments		trace-1.pdf trace-1-anim.pdf	trace-1-exercises.zip	opaque-1	22m
sem-3	Semantic Analysis 3—Type Checking Basic Types Array Types Type Equivalence and Compatibility Type Checking Expressions Type Checking Function Calls		symex-1.pdf symex-1-anim.pdf	symex-1-exercises.zip	ast-1, softprot-1, x86-1	25m
sem-4	Semantic Analysis 4—Wrapping Up Optimizing Treewalk Evaluators Output Attributes Multi-Pass Tree walk Evaluators		symex-2.pdf symex-2-anim.pdf	symex-2-exercises.zip	symex-1	8m

Intermediate Code

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
ghidra-1	Intermediate Code 1 Tree IR DAG IR Tuple IR Generating Quads		ghidra-1.pdf ghidra-1-anim.pdf	ghidra-1-exercises.zip	x86-2, cfg-1	19m
interm-2	Intermediate Code 2 –Control Flow Boolean Expressions Boolean Representations Short -Circuit vs. Eager Evaluation Implementing Control Structures Control-Flow Graphs Control flow Analysis		ghidra-2.pdf ghidra-2-anim.pdf	ghidra-2-exercises.zip	ghidra-1	18m
interp-1	Interpretation ...		ghidra-3.pdf ghidra-3-anim.pdf	ghidra-3-exercises.zip	ghidra-1	19m
javavm-1	Java Bytecosde ...		ghidra-4.pdf ghidra-4-anim.pdf	ghidra-4-exercises.zip	ghidra-3	21m

Machine Code Generation

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
codgen-1	Code Generation 1 ...		virt-1.pdf virt-1-anim.pdf	virt-1-exercises.zip	cfg-1	16m
codegen-2	Code Generation 2 ...		virt-2.pdf virt-2-anim.pdf	virt-2-exercises.zip	virt-1	28m
proc-1	Procedures 1 ...		checksum-1.pdf checksum-1-anim.pdf	checksum-1-exercises.zip		24m
proc-2	Procedures 2 ...		arith-1.pdf arith-1-anim.pdf	arith-1-exercises.zip	ast-1	22m

Optimization

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
opt-1	Optimization 1 ...		compilers-1.pdf compilers-1-anim.pdf	compilers-1-exercises.pdf		28m
opt-2	Optimization 2		tiny-1.pdf tiny-1-anim.pdf	tiny-1-exercises.pdf	compilers-1	20m

Runtime Systems

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
gc-1	Garbage Collection 1 ...		compilers-1.pdf compilers-1-anim.pdf			28m
gc-2	Gaarbage Collection 2		models-1.pdf models-1-anim.pdf	models-1-exercises.pdf	compilers-1	20m
oo-1	Object Oriented languages 1		models-1.pdf models-1-anim.pdf	models-1-exercises.pdf	compilers-1	20m
oo-2	Object Oriented Languages 2		models-1.pdf models-1-anim.pdf	models-1-exercises.pdf	compilers-1	20m