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.
Related Links
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)