CS 6848 - Principles of Programming Languages

Goal of the course: At the end of the course, students will have a fair understanding of some fundamental issues in the design and implementation of programming languages.

Time and Place: Wed (2.00-3.40pm), Fri (3.00-4.40pm), R-T slots. Class room # CS 26 (Seminar room).
Teacher : V. Krishna Nandivada
Office hours / Doubt sessions : Anytime.
TA : Suyash Gupta. Office hours: Fix a time by sending an email.
Course outline.
Software, documentation and tools link is here.
Submission guidelines.
Discussion website is here (access restricted).
Texts:
- Book 1: Essentials of Programming Languages (EOPL), Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes, McGraw-Hill, 2001.
- Book 2: Types and Programming Languages, Benjamin C. Pierce, MIT Press, 2002.
- Ref 1: Foundations of Programming Languages, John Mitchell, MIT Press, 1996.
- Ref 2: Practical Foundations of Programming Languages, Robert Harper, 2011, online book.

Slides for the Lectures:

--- all dates --- Acknowledgements
Jan 16, 18 2013. Introduction
Jan 23, 30, Feb 4th 2013. Data Types and Interpreters
Feb 6th, 8th 2013. Operational Semantics
Feb 13th 2013. Type Systems
Feb 15th,20th 2013. Type Systems II
Feb 22nd 2013. Discussion on structural subtyping in Java. An interesting paper.
Feb 27th 2013. Type Systems III (language extensions)
Mar 1st 2013. Type Systems IV (System F)
Mar 6th 2013. Type Systems V (TAL)
Mar 8th, 13th 2013. CPS
Mar 20th, 22nd, 23rd 2013. Flow Analysis
Mar 26th, Apr 3rd 2013. Exceptions. Self reading: Dynamic state restoration using versioning exceptions.

Assignments:

Java Simplifier: 5 marks. Set date: 18-Jan-2013. Due date: 01-Feb-2013, 11.59AM IST.
Java Interpreter: 5 marks. Set date: 01-Feb-2013. Due date: 15-Feb-2013, 11.59AM IST.
Java structural subtyping: 5 marks. Set date: 20-Feb-2013. Due date: 01-Mar-2013, 11.59AM IST.
Scheme type inference: 5 marks. Set date: 01-Mar-2013. Due date: 13-Mar-2013, 11.59AM IST.
Java CPS transformer: 10 marks. Set date: 13-Mar-2013. Due date: 27-Mar-2013, 11.59AM IST.
Java flow-directed inliner: 10 marks. Set date: 27-Mar-2013. Due date: 12-Apr-2013, 11.59AM IST.
Paper presentation: 10 marks.

Written Exams:

Midterm exam (20%) on Mar 15th 2013. Closed book, closed notes, closed neighbor. sample solution.
Final exam (30%) on Apr 30th 2013 2pm. Closed book, closed notes, closed neighbor. sample solution.

Under construction