CS 6110 (Spring 2012) - Advanced Programming Languages
Overview
CS6110 (formerly 611) Advanced Programming Languages is a course on the mathematical semantics of programming languages. It is basic material for the CS PhD program, and its content is required knowledge for PhD students. Doctoral students in other fields are welcome if they have the appropriate background and know at least one modern programming language. Well prepared undergraduates are also welcome. The course covers elements of formal methods needed to establish properties of programming languages and prove properties of programs. This course is considered essential background for students considering advanced research in programming languages.
Meeting Times: MWF 10:10-11:00 (Fri. is joint meeting with 6116)
Location: Upson 315
Instructor:
Robert Constable
Office: 4147 Upson Hall
Office Hours: Wed. 11:00-12:00 and by appointment
TA:Jason Wu
email: wuja at cs dot cornell dot edu
Office Hours: Tues. 1:00-2:00PM in Upson 5151
Announcements
5/9/12 | Exam Review Notes
4/30/12 | Final Exam Monday May 14 - 9:30-12:30 in Upson 315
4/27/12 | Assignment 6 updated 5/1 with prob. 7 added. Due May 4
2/17/12 | Solutions to prob set 1
Resources
- Lectures notes from CS6110 for 2010, 2011
- Benjamin Pierce’s textbook Types and Programming Languages
Available online with access through the Cornell network (or using VPN) http://library.books24x7.com/toc.aspx?bookid=3447 - New lecture notes and assigned articles (see schedule)
- PL Lab course page
Homework Policies
Cornell University has a Code of Academic Integrity, with which you should be familiar. Violations of this code are treated very seriously by Cornell and can have long-term repercussions. In this course, you are encouraged to discuss the content of the course with other students, and you may also discuss homework problems with other students. However, you must do your own work, write up assignments yourself, and if you discuss a problem with another student, you are expected to document this fact in your write-up. It is a violation of the code to copy work, including programs, from other students; it is also a violation to use solutions to homework problems from previous iterations of the same course. Note that Cornell holds responsible for the code violation both the recipient and the donor of improper information.