 
Schedule
Week 
Topic 
Reading 
Lectures 
Homework 
Feb 4th 
introduction, lambda calculus, logical
relations 
Review Harper 58
Pierce 12 
motivation,
lecture1,lecture2 

Feb 11th 
TAL: core, polymorphism 
Review Harper 2223 
tal(parts 1,2) 
Homework 1 
Feb 18th 
TAL: stacks, data structures 
stal 
tal(parts 2,3,4) 

Feb 25th 
TAL: dependency, Cyclone 
Cyclone 
tal(parts 4,5)
wed: Grossman, Cyclone

Homework 2 
March 4th 
LF, representing syntax 
Pfenning notes 
Pfenning
slides 

March 11th 
LF, representing judgments 
Appel
tutorial 
wed: Gang 
Homework 3 
Break 




March 25th 
foundations of logic 
a judgmental
reconstruction of modal logic 
(handwritten) 
project proposal due March 27th 
April 1st 
proofcarrying code, proofcarrying
authentication 
proofcarrying
code
proofcarrying
authentication

mon: Kedar slides
wed: Lujo slides


April 8th 
proofcarrying authentication, QCM 
QCM 
mon: EunYoung 

April 15th 
runtime monitoring, stack inspection 
stack inspection 
IRMs, stack
inspection 

April 22nd 
Jkernel 
Jkernel 
Jkernel 

April 29th 
project presentations 



