COMP 617: Resource Aware Programming (RAP) Seminar, Fall 2007

Instructor:	Walid Taha	Lectures:	Duncan Hall (DH) 3110	Time:	MWF 11:00-12:00 pm

Here is a link to last semester's seminar.

Both at the end of the semester and at the start of the new semester, we discuss topics for the seminar.

Related Seminars:

• COMP 635 Heterogeneous Processors
• COMP 607 Computer-aided Verification
• COMP 522 Multi-core Computing

---

Introduction

This focus of the seminar this semester will be determined at the start of the semester. Please see previous year links and dicussion page for topics currently being considered.

Course Schedule

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

#	Day	Date	Reading Due	Speaker	Homework Due	Notes
1	Mon	Aug 27	Planning and Organization	Walid Taha
2	Wed	Aug 29	How to give a good research talk	Walid Taha		Simon's treasure box, Good Talk
3	Fri	Aug 31	Formalizing and Enhancing Verilog	Cherif		Slides, Comments
3+	Mon	Sep 3	No class (Labor Day Recess)
4	Wed	Sep 5	Acumen: A simulation environment for control design	Angela		Slides, Comments
5	Fri	Sep 7	Bridging the Gap Between Verilog and Uccello	Gregory		Slides
6	Mon	Sep 10	How to write a great research paper	Walid Taha
6+	Wed	Sep 12	No class (CS Affiliates Meeting)
7	Fri	Sep 14	Compiling Dynamic Languages	Raj B
8	Mon	Sep 17	Non-standard Analysis in Theorem Proving (1)	Jun Inoue		Slides, Comments
9	Wed	Sep 19	Non-standard Analysis in Theorem Proving (2)	Jun Inoue
10	Fri	Sep 21	No Class
11	Mon	Sep 24	Adding Type Systems to Dynamic Languages	Blake Kaplan
12	Wed	Sep 26	E-FRP with Priorities	Roumen
13	Fri	Sep 28	E-FRP with Priorities	Roumen
14	Mon	Oct 1	Non-standard Analysis in Theorem Proving (3)	Jun Inoue
15	Wed	Oct 3	How to give a good research talk	Simon Peyton Jones
16	Fri	Oct 5	Non-standard Analysis in Theorem Proving (4)	Jun Inoue
17	Mon	Oct 8	Layout of Graphs in Uccello	Gregory M		Slides
18	Wed	Oct 10	How to Write a Great Research Paper	Simon Peyton Jones
19	Fri	Oct 12	Abstract reviews	All
19+	Mon	Oct 15	No class (Midterm Recess)
20	Wed	Oct 17	No class due to PEPM deadline
21	Fri	Oct 19	No class
22	Mon	Oct 22	Gradual Typing	Raj		Notes
23	Wed	Oct 24	System-ML: Designing Hardware in OCaml	Cherif
24	Fri	Oct 26	A gentle Introduction to Certified Program Generation in Coq	Angela		Slide, Notes
25	Mon	Oct 29	Dependent Types in Practical Programming	Gregory		Slides
26	Wed	Oct 31	Gradual Typing in OO Languages	Raj
27	Fri	Nov 2	Discussion
28	Mon	Nov 5	Securing Java Script	Blake Kaplan
29	Wed	Nov 7	No class
30	Fri	Nov 9	Discussion
31	Mon	Nov 12	Concoqtion: Indexed Types Now!	Angela Zhu		Slides, Notes
32	Wed	Nov 14	Comparing Hardware description languages	Cherif Salama		Slides
33	Fri	Nov 16	Discussion
34	Mon	Nov 19	A Capability Calculus for Program Determinism	Greg Malecha		Slides
35	Wed	Nov 21	A Capability Calculus for Program Determinism	Greg Malecha
35+	Fri	Nov 23	No class (Thanksgiving Recess)
36	Mon	Nov 26	Semantics-based Physical Modeling	Angela		Slides, Notes
37	Wed	Nov 28	Domain Theory	Corky
38	Fri	Nov 30	PEPM'08 Practice Talk	Cherif Salama		Slides
39	Mon	Dec 3	Random Test Generation for Java (COMP 520 Research Project)	Daniel
40	Wed	Dec 5	Foreign Function Interfact (FFI)	Blake Kaplan
40+	Thu	Dec 6	Abstract and Bio (Cancelled)	Tim Leite		Visit Agenda
41	Fri	Dec 7	Planning seminar for next semester (names for speakers, and talks you want to give)
42	Mon	Dec 9	Foreign Function Interfact (FFI)	Blake Kaplan

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, StudentsComp617Group, RajB, MathiasRicken, JamesSasitorn^?