15-812: Programming Language Semantics (Sp'15)


DateLecture NotesExtraDue
Tue 01/13Overview1.1-1.3
Thu 01/15Denotational Semantics: Compositionality&Full Abstraction1.4
Tue 01/20Denotational Semantics: Numerals and Equivalence1.4
Thu 01/22Structural Operational Semantics: Small and Big Steps1.4
Tue 01/27Imperative Programs2.1,2.3-2.5
Thu 01/29Coincidental Contexts2.2,2.6
Tue 02/03Semantics of Program Contexts3.4
Thu 02/05Full Abstraction and Relating Behaviors3.2,3.3
Tue 02/10Dynamic LogicmodlogAsst 1 
Thu 02/12Nondeterministic Programs: static and dynamic semantics
Tue 02/17CoincidencesAsst 2 
Thu 02/19Sequence Semantics
Tue 02/24Proofs about Programs
Thu 02/26Proofs about Loops
Tue 03/03
Thu 03/05Axiomatic SemanticsAsst 3 
Tue 03/10Spring break
Thu 03/12Spring break
Tue 03/17Games and Interactivity
Thu 03/19Winning Strategies and RegionspdfWhite paper 
Tue 03/24Winning and Proving
Thu 03/26The Miracle of RepetitionpdfAsst 4 
Tue 03/31Winning Repetitions by Proofs
Thu 04/02Midterm Exam
Tue 04/07Independent Parallel Programspdf, 7.1,7.3
Thu 04/09Auxiliaries and Soundnesspdf 7.3,7.4
Tue 04/14Functions, arrays, pointers, objectspdf
Thu 04/16
Tue 04/18Operational Semantics of Deterministic Programs
Thu 04/23Type Systems and Type Preservation
Tue 04/25Semantics of Parallel Programspdf, 7.2, pdfAsst 5 
Thu 04/30Shared VariablespdfTerm paper 
The lecture schedule is tentative!

Assignment Schedule

Asst 150Expression semantics and imperative programscodeTue 02/10
Asst 250Full abstraction and imperative reasoningcodeTue 02/17
Asst 350Frees and bounds in dynamic logiccodeThu 03/05
White paper20Project White PaperThu 03/19
Asst 450Reasoning and axiomatics of programscodeThu 03/26
Asst 550Fun with gamescodeTue 04/25
Term paper180Project Term PaperThu 04/30
Sum450points listed

The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.