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

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

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	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)
33	Wed	Nov 11		Lazy Algorithms for Exact Real Arithmetic
34	Fri	Nov 13
35	Mon	Nov 16		Exact real arithmetic: a case study in higher order programming
36	Wed	Nov 18
37	Fri	Nov 20		On the rapid computation of various polylogarithmic constants
38	Mon	Nov 23
39	Wed	Nov 25		Computing with Real Numbers
40	~~Fri~~	~~Nov 27~~		Thanksgiving
40	Mon	Nov 30
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)