COMP 617F06: Seminar in Resource Aware Programming (Fall 2006)

Instructor:	Walid Taha	Lectures:	Duncan Hall (DH) 3110	Time:	MWF 15:30-16:30 pm

Here is a link to last semesters seminar.

Introduction

In the fall semester, unlike previous years, the seminar will not focus on papers, but rather cover Benjamin Pierce's book (some of you may have taken this course, but this will be a seminar-style treatment with more discussion, and more hands-on programming with these type systems using Concoqtion). We will focus on this in order to help everyone get up to speed with the basics of semantics as well as with advanced type systems.

Mondays and Wedensday will be presenations by participants on the reading material, and Fridays will be discussions. Homeworks are determined on Friday, done by Monday, critiqued by other students by Wedensday, and graded by me by Friday.

It is expected that each student will present five times, do the homeworks, and do the reviews. It is expected that presentations will be on the board, and not using slides. About 40% of grade will be on homework, 40% will be on the presentations, and 20% will be on class room participation.

In the spring semester, I will teach COMP 411 Programming languages semantics from Winskel's book, and will also run the COMP 617F06. Winksel's book will allow us to visit foundational aspects of semantics as well as many other topics that go beyond what is covered in Benjamin's text. In the seminar, we will work from the book edited by Pierce (TAPL II), which covers more advanced issues in typing.

Required Text: Types and Programming Languages, Benjamin Pierce.

Course Schedule

Please note that any future dates may change, and these are only guidelines.

Please submit homeworks hand-written and not typed up. This is quite important because

1. I want you to spend more time on the proofs and less on the typesetting, and
2. I would like you to constantly think about effective presentation techniques, and doing that in combination with typesetting is extremely time consuming and, in some cases, misleading.

Homeworks are handed in at the begining of class.

Homework grading shifts are recordered 617HomeworkGrading

For notes and discussions in a previous course that covered material from the text that we'll use in the first part of the course, please see this page.

#	Day	Date	Reading	Speaker	Homework	Notes
1	Mon	Aug 28	RAP Overview (I)	Walid
2	Wed	Aug 30	RAP Overview (II)	Walid
3	Fri	Sep 1	Rap Overview (III)	Walid	2.2.{6,7,8}, 3.2.{5,6}. 3.5.{10,13}. 4.2.2. Download and install Concoqtion. Implement fact, fib, ack, and hand them in.	pdf
3+	Mon	Sep 4	Labor day (no class)	Ch 3
4	Wed	Sep 6	Ch 1, 2, 3, 4	Walid
5	Fri	Sep 8	Ch 1, 2, 3, 4	Walid		pdf
6	Mon	Sep 11	Ch 5, 6, 7	Seth		pdf
7	Wed	Sep 13	Ch 5, 6, 7	Seth		pdf
8	Fri	Sep 15	Ch 4	Walid		pdf
9	Mon	Sep 18	Ch 5	Walid	5.2.{4,10} , 5.3.8. State and prove relation between big-step and small semantics. State and prove condition for reordering substitions. 6.2.{7,8}, 6.3.{1,2}.	Yousra
10	Wed	Sep 20	Ch 6, 7	Walid		Cherif
11	Fri	Sep 22	Ch 8	Roumen		Raj
12	Mon	Sep 25	Ch 9	Roumen		pdf
13	Wed	Sep 27	Ch 10	Angela	9.2.3,9.3.2,9.3.10,9.4.1 (Due Monday)	pdf
14	Fri	Sep 29	Ch 11	Angela		pdf
15	Mon	Oct 2	Ch 12	Cherif		Cherif
16	Wed	Oct 4	Ch 13	Yousra		---
17	Fri	Oct 6	Ch 14	Yousra		---
18	Mon	Oct 9	Ch 11	Greg		Yousra
19	Wed	Oct 11	Ch 12	Greg		Raj
20	Fri	Oct 13	Ch 13	Seth	Future assignments revisited	Roumen
20+	Mon	Oct 16	Midterm recess (no class)
21	Wed	Oct 18	Ch 14	Seth		pdf
22	Fri	Oct 21	Ch 15	Cherif		Angela
23	Mon	Oct 23	Ch 16(Walid travelling. Roumen moderates?)	Angela		Yousra
24	Wed	Oct 25	Ch 17(Walid travelling. Roumen moderates?)	Angela		Cherif
25	Fri	Oct 27	Ch 18(Walid travelling. Seth leads?)	Roumen		Raj
26	Mon	Oct 30	Ch 19	Yousra		pdf
26+	Wed	Nov 1	Ch 21	Yousra		pdf
27	Fri	Nov 3	Ch 22	Greg		Angela
28	Mon	Nov 6	Ch 23	Seth		Cherif
29	Wed	Nov 8	Ch 24	Greg
30	Fri	Nov 11	Ch 25	Greg		Yousra
31	Mon	Nov 13	Ch 26	Seth		Roumen
32	Wed	Nov 15	Ch 27	Seth		Greg
33	Fri	Nov 17	Ch 28	Cherif		Angela
34	Mon	Nov 20	Order free type inference	Walid		Yousra
35	Wed	Nov 22	Order free type inference	Emir		Cherif
35+	Fri	Nov 24	No class (Thanksgiving Recess)	-	-	-
36	Mon	Nov 27	Concoqtion tutorial			Raj
37	Wed	Nov 29	Circuit applications for Concoqtion			Roumen
38	Fri	Dec 1				Greg
39	Mon	Dec 4	...TBA...			Angela
40	Wed	Dec 6	...TBA...			Yousra
41	Fri	Dec 8				Cherif

Accomodations for Students with Special Needs

Students with disabilities are encouraged to contact me during the first two weeks of class regarding any special needs. Students with disabilities should also contact Disabled Student Services in the Ley Student Center and the Rice Disability Support Services.

Access Control: (Please don't edit)

• Set ALLOWTOPICCHANGE = RapGroup, RajB, MathiasRicken, JamesSasitorn^?