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

Instructor:	Walid Taha	Lectures:	Duncan Hall (DH) 3110	Time:	MWF 10:00-10:50 am

Here is a link to last semester's seminar.

Introduction

The focus of the seminar this semester will be on the implementation of Exact Real Arithmetic systems. We will select several papers to read on the subject, and will implement several published implementation. Participants in the seminar will read and critique research papers, and will write, read, test, apply, critique, verify, and study the performance of a wide range of ERA implementations.

Write-up guidelines

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

Name	Topic/Proposal	Discussion	Report
Cherif	...	...
Jun	...	...	...
Edwin	...	...	...
Marisa	...	...	...
Fulong	...	...	...

Related Links

• References and Readings
• Current Paper Plans
• Feedback Form
• Zen and Presentation

Course Schedule

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

THE FOLLOWING SCHEDULE IS BEING UPDATED.

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

#	Day	Date	Misc	Topic/Reading Due	Abstract/Slides	Speaker	Notes(scribe)
1	Mon	Aug 24		Introduction to Exact Real Arithmetic (part 1)		Walid	Cherif (notes)
2	Wed	Aug 26		Introduction to Exact Real Arithmetic (part 2)		Walid	Cherif (notes)
3	Fri	Aug 28		Survey of Number Inaccuracy Problems and Solutions		Walid	Travis (notes)
4	Mon	Aug 31		Stream Programming In OCaml		Jun	Marisa (notes)
5	Wed	Sep 2		Functions Representing Streams		Walid	Mathias (notes)
6	Fri	Sep 4		Acumen and ERA		Walid	Marisa (notes)
7	Mon	Sep 7		Labor Day
7	Wed	Sep 9	DH 3076	Multiplication		Walid	Henry (notes)
8	Fri	Sep 11		Multiplication (continued) & notes on cost estimation		Walid	Cherif (notes)
9	Mon	Sep 14		Common Features of Good Writing		Walid	Jun (notes)
10	Wed	Sep 16		Complexity of Multiplication		Walid	Alexandre (notes)
11	Fri	Sep 18	DH 3076	Complexity of Multiplication (part2)		Walid	Travis (notes)
12	Mon	Sep 21		Complexity of Multiplication (part3)		Walid	Marisa (notes)
13	Wed	Sep 23		Complexity of Addition		Walid	Henry (notes)
14	Fri	Sep 25	DH 3076	Pretty Printer		Alexandre
15	Mon	Sep 28		Pretty Printer (continued)		Alexandre
16	Wed	Sep 30	DH 3076	Pretty Printer (continued)		Alexandre
17	Fri	Oct 2		Organizational Meeting		Walid
18	Mon	Oct 5		Complexity of Addition (continued)		Walid	Cherif (notes)
19	Wed	Oct 7		Acumen Poster		Marisa	Jun (notes)
20	Fri	Oct 9		Organizational Meeting		Walid	Marisa (notes)
21	Mon	Oct 12		Midterm Recess
21	Wed	Oct 14		Acumen paper abstract and intro		Walid
22	Fri	Oct 16		Acumen paper figures		Walid
23	Mon	Oct 19		Acumen paper revised intro		Walid
24	Wed	Oct 21		Acumen paper suggested abstracts		Walid
25	Fri	Oct 23		Acumen paper abstract and Reading List		Cherif, Eddy	Mathias (notes)
26	Mon	Oct 26		In Pursuit of Real Answers		Eddy
27	Wed	Oct 28		In Pursuit of Real Answers (part 2)		Eddy
28	Fri	Oct 30	DH 3076	In Pursuit of Real Answers (part 3)		Eddy
29	Mon	Nov 2		RealLib: An efficient implementation of exact real arithmetic		Eddy
30	Wed	Nov 4		MSB-First Digit Serial Arithmetic		Eddy
31	Fri	Nov 6		MSB-First Digit Serial Arithmetic (part 2)		Cherif
32	Mon	Nov 9		MSB-First Digit Serial Arithmetic (part 3)		Walid
33	Wed	Nov 11		Acumen Installation		Walid
34	Fri	Nov 13		Addition of binary numbers with proportional relaxation		Walid
35	Mon	Nov 16		Addition of binary numbers with proportional relaxation (part 2)		Cherif
36	Wed	Nov 18		Addition of binary numbers with proportional relaxation (part 3)		Eddy
37	Fri	Nov 20		Lazy Algorithms for Exact Real Arithmetic
38	Mon	Nov 23		Exact real arithmetic: a case study in higher order programming
39	Wed	Nov 25		On the rapid computation of various polylogarithmic constants
40	Fri	Nov 27		Thanksgiving
40	Mon	Nov 30		Computing with Real Numbers
41	Wed	Dec 2		Numerical Integration with Exact Real Arithmetic
42	Fri	Dec 4

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, Main.