Compilers

Compilers

Please watch the relevant video prior to class. Also, download the exercises - we will be using them during class. Subtitles (English, Swedish, Japanese, Spanish, and Chinese (PRC and TW)) are available for some videos. Slides exist in two forms, with and without animations. Instructors can contact us for the key to unlock answers to in-class exercises.

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		28m
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	20m

Lexical Analysis

#	Topic	Video	Slides	In-class Exercises	Prereq- uisite	Video Length
lex-1	Lexical Analysis I Language Issues Regular Grammars Regular Expressions Scanner Generators 8-bit vs. 16-bit vs. 32-bit vs. 64-bit Addressing Modes x86 Example Execution x86 Intel vs. AT&T Syntax Disassembly		x86-1.pdf x86-1-anim.pdf	x86-1-exercises.zip x86-1-exercises-answers.zip.aes	compilers-1	32m
lex-2	Lexical Analysis II- Finite State Machines Deterministic Finite Atomaton Exercises Nondeterministic Finite Atomaton Implementing Lexical Analysis Dealing with Keywords		x86-2.pdf x86-2-anim.pdf	x86-2-exercises.zip	lex-1	26m
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		x86-3.pdf x86-3-anim.pdf	x86-3-exercises.zip	lex2-2	21m

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		ast-1.pdf ast-1-anim.pdf	ast-1-exercises.zip	misc-1	20m
parse-1	Parsing I - Grammars Context-Free Grammars Revisited Top-Down Parsing Recursive Descent Parsing - 4 Problems Precedence, Associativity, Ambiguity Further Grammar Transformations		cfg-1.pdf cfg-1-anim.pdf	cfg-1-exercises.zip	misc-1, x86-2	24m
parse-2	Parsing 2- Top-Down Parsing Top-down Parsing Computing FIRST Sets Computing FOLLOW Sets Construct Top-Down Parser Expression Grammar		file-1.pdf file-1-anim.pdf	file-1-exercises.zip		12m
parse-3	Parsing 3- Predictive Parsing Predictive Parsing Building the Parse Table Error Recovery Exercise		disass-1.pdf disass-1-anim.pdf	disass-1-exercises.zip	x86-2, cfg-1	25m
parse-4	Parsing 4- Tying it all Together Exercise The LL(1) Property Building the Abstract Syntax Tree		disass-1.pdf disass-1-anim.pdf	disass-1-exercises.zip	x86-2, cfg-1	25m

Semantic Analysis

Lectures on debugging, tracing, etc.

#	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