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

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.

---

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.

Project Proposals

Please review the technical writing tips before submitting your written work or presenting a talk.

Name	Topic/Proposal	Discussion	Report
Angela	Semantics of Physical System Modeling and Simulation	...
Cherif	Structural and Behavioral Verilog Synthesizability	...
Eddy	Nominal Meta-OCaml and Constructive Real Numbers	...
Jun	Monads, Monad Transformers, Arrows, Staging, and Interpreters	Click here
Kapil	Preprocessing of Hardware Descriptions	...
Mathias	Java Annotations for Mult-Stage Programming	...
Richard	Exploration of Resources for Self-Teaching Java	...
Ron	Type-directed Syntactic Abstractions	...

Related Links

• Current Paper Plans
• Feedback Form
• Zen and Presentation

Course Schedule

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

If someone's talk is replaced by another one that was previously not scheduled, cross out (like this) the original speaker and topic; remove any links to slides, abstract, etc of the original speaker; and insert the new speaker's stuff.

If you switch places with someone else, just switch the entries before the talk. No need to cross anything out.

Crossed out dates indicate holidays; crossed out topics/speakers indicate canceled/rescheduled talks.

#	Day	Date	Deadlines	Topic/Reading Due	Abstract/Slides	Speaker	Notes(scribe)	Time Keeping + Setting up A&V
1	Mon	Aug 25
2	Wed	Aug 27
3	Fri	Aug 29
4	Mon	Sep 1		Labor Day
4	Wed	Sep 3		How to give a good talk (84%@8)		Walid	Mathias (notes)	Eddy
5	Fri	Sep 5	DATE	Array Bounds Checking for Verilog (82%@9)	Slides	Cherif	Jun (notes)	Mathias
6	Mon	Sep 8		Internship report (79%@10)	Slides	Hisham	Cherif (notes)	Jun
7	Wed	Sep 10		Verifying Multi-staged Programs (88%@9)	Slides	Jun	Angela (notes)	Cherif
8	Fri	Sep 12				Kapil	Jun	Hisham
9	Mon	Sep 15		Java Annotations for Invariant Specification		Mathias	Kapil	Jun
10	Wed	Sep 17		Java Type Inference Is Broken: Can We Fix It? (79%@9)	Slides	Dan Smith	Angela(notes)	Kapil
11	Fri	Sep 19		Logic Synthesis of hardware descriptions in Verilog (71%@9)	Slides	Kapil	Jun (notes)	Mathias
12	Mon	Sep 22		Java Annotations for Invariant Specification (88%@8)	Slides	Mathias	Kapil (notes)	Jun
13	Wed	Sep 24		Semantics of PhyDL (79%@8)	Slides	Angela	Richard(notes)	Mathias
14	Fri	Sep 26		State of the Art Material for Self-Teaching Java (85%@8)	Slides	Richard	Mathias (notes)	Kapil
15	Mon	Sep 29		Evaluating Acumen: Part One (83%@9)		Marisa	Angela(notes)	Richard
15	Mon	Sep 29 3pm				Rick	Marisa	Angela
16	Wed	Oct 1	CC/ESOP	A Theory of Gradual Typing (85%@9)		Ron	Cherif (notes)	Marisa
16	Wed	Oct 1 3pm		(86%@10)		Yilong	Mathias (notes)	Eddy
17	Fri	Oct 3		Checking the Sanity of Verilog Descriptions (88%@9)	Slides	Cherif	Jun (notes)	Kapil
18	Mon	Oct 6		Monad Transformers and Modular Interpreters (70%@9)		Jun	Kapil	Cherif
19	Wed	Oct 8	TLDI	Staged Monad Transformers (88%@10)		Eddy	Mathias (notes)	Marisa
20	Fri	Oct 10	PEPM	Guest Talk: If I Had Known Then What I Know Now: Lessons from an LLC (DH3076)		Adam Wulf	Ron
21	Mon	Oct 13		Guest Talk: Proving that software eventually does something good (DH3076)		Byron Cook
21	Wed	Oct 15		Verilog Preprocessing (84%@9)		Kapil	Richard (notes)	Ron
22	Fri	Oct 17		Constructive Real Analysis	Slides	Angela	Eddy	Jun
23	Mon	Oct 20		Creating an Online Tutorial for Teaching Java (84%@8)	Slides	Richard	Marisa (notes)	Ron
24	Wed	Oct 22		Writing Interpreters Using Monads (92%@6)	Slides	Eddy	Cherif (notes)	Angela
25	Fri	Oct 24		Java Annotations on Types and Expressions (89%@7)	Slides	Mathias	Eddy	Marisa
26	Mon	Oct 27		Type-directed Syntactic Abstractions (86%@7)		Ron	Jun	Eddy
26+	Mon	Oct 27 4pm				Rick	Mathias	Cherif
27	Wed	Oct 29		Modeling Oscillating Motion With Acumen: A User's Evaluation (86%@9)		Marisa	Ron (notes)	Angela
27+	Wed	Oct 29 4pm				Yilong	Richard	Eddy
28	Fri	Oct 31		Estimating Area of Verilog Circuits		Cherif	Eddy	Angela
28	Mon	Nov 3		Monad Transformers and Modular Interpreters		Jun	Angela	Richard
29	Wed	Nov 5		Evaluating the accuracy of type based estimates of area versus actual area on different technologies		Kapil	Jun	Marisa
30	Fri	Nov 7	PLDI	Arrows vs Monads		Jun	Marisa	Ron
30+	Fri	Nov 7				Dustin	Mathias	Cherif
31	Mon	Nov 10		Defining Multi-Stage Java Programs using Annotations		Mathias	Cherif	Marisa
32	Wed	Nov 12		Self-Teaching Java Resources	Slides	Richard	Ron	Mathias
33	Fri	Nov 14				Fulong	Richard	Eddy
34	Mon	Nov 17		Nominal Meta-OCaml		Eddy	Marisa (notes)	Richard
35	Wed	Nov 19		New Modeling Features of Acumen		Angela	Richard	Ron
36	Fri	Nov 21	HFL	Monad Transformers and Modular Interpreters		Jun	Angela	Richard
37	Mon	Nov 24		Lazy Evaluation and Delimited Control		Ron	Marisa	Angela
37+	Mon	Nov 24 4pm				Dustin	Ron	Jun
37+	Mon	Nov 24 4pm				Rick	Eddy	Ron
38	Wed	Nov 26		Monad Transformers and Modular Interpreters: Take 2	Slides	Jun	Mathias (notes)	Ron
39	Fri	Nov 28	LDTA	Thanks Giving Recess
40	Wed	Dec 1		New Modeling Features of Acumen		Angela	Richard (notes)	Ron
41	Mon	Dec 1 4pm		Modeling Free-body Motion With Acumen: A User's Evaluation		Marisa	Eddy	Richard
41	Mon	Dec 1 4pm				Yilong	Marisa	Cherif
42	Wed	Dec 3		Defining Multi-Stage Java Programs using Annotations		Mathias	Cherif	Marisa
42+	Wed	Dec 3 4pm				Dustin
43	Fri	Dec 5		Estimating Area of Verilog Circuits		Cherif	Eddy	Angela
43+	Fri	Dec 5 4pm		A Tentative plan for High Level Modeling		Fulong	Richard(notes)	Eddy

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, JenniferEvans