The Teaching web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://hope.cs.rice.edu/twiki/bin/view/Teaching Copyright 2008 by contributing authors 2008-09-05T16:52:36Z http://hope.cs.rice.edu/twiki/bin/view/Teaching/617 2008-09-05T16:52:36Z

COMP 617: Resource Aware Programming (RAP) Seminar, Fall 2008 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 11:00 12:00 pm Here ... (last changed by JunInoue)

JunInoue http://hope.cs.rice.edu/twiki/bin/view/Teaching/617Notes_Fall2008 2008-09-05T16:50:59Z

This page contains the scribe notes for the Fall 2008 COMP 617 seminar. The scribe should add a new heading and section below on this page, or attach a separate file ... (last changed by JunInoue)

JunInoue http://hope.cs.rice.edu/twiki/bin/view/Teaching/617WishList 2008-09-03T17:56:00Z

Work page for COMP 617 This page is used by students and instructors of COMP 617 to collaborate on selecting the papers that will be covered during the semester. ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/617F07 2008-08-29T16:43:44Z

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 ... (last changed by JunInoue)

JunInoue http://hope.cs.rice.edu/twiki/bin/view/Teaching/517S08 2008-08-29T16:43:15Z

COMP 517S08: Resource Aware Programming (RAP) Seminar, Spring 2008 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 9:00 9:50 am ... (last changed by JunInoue)

JunInoue http://hope.cs.rice.edu/twiki/bin/view/Teaching/617HomeworksAngelaZhuSizedList 2008-08-28T20:46:34Z

Author: Angela Yun Zhu \ Date: 2007 03 17 Performance measurement on sized lists Overview This document is to provide an insight on performance difference ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/617HomeworksCherifAndraos 2008-08-28T20:46:34Z

617S07 Homeworks for Cherif Andraos Braun Trees (Continued) Functions (Continued) Now that we have a new release of Concoqtion, we can easily write the remove function ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/617F06 2008-08-28T20:46:34Z

COMP 617F06: Seminar in Resource Aware Programming (Fall 2006) Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 15:30 16:30 pm ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/617S07 2008-08-28T20:46:34Z

COMP 617S07: Seminar in Resource Aware Programming (Spring 2007) Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 11:00 12:00 pm ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/617HomeworksAngelaZhu 2008-08-28T20:46:34Z

Project report (2007 04 09(M)) Group Member: Cherif Salama Angela Zhu \ Date: 2007 04 09 FFT using indexed types Overview Discrete Fourier Transformation ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/517Slides 2008-08-27T20:46:31Z

Attach Slides here so that they are only accessible to people having access to the 517 page. UnitTestingRice.ppt: Nat Ayewah Slides Tools Presentation (2007 ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/517 2008-08-25T22:45:49Z

COMP 517: Resource Aware Programming (RAP) Seminar, Spring 2008 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 11:00 11:50 am ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/RonaldGarciaTalkS08 2008-08-25T22:43:18Z

Talk by Ronald Garcia (May 8,2008) Computing While Compiling: Reasons and Methods for Compile time Metaprogramming Abstract Software libraries make it much easier ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/RonaldGarciaBio 2008-08-25T22:43:18Z

Ronald Garcia Short Bio Ronald Garcia is a Doctoral Candidate in Computer Science at Indiana University, where he is a member of the Open Systems Laboratory. (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/NikhilSwamyBio 2008-08-25T22:43:18Z

Nikhil Swamy Short Bio Nikhil Swamy is a Ph.D. candidate enrolled at the University of Maryland, College Park since 2002. He is a member of the Programming Languages ... (last changed by WalidTaha)

WalidTaha http://hope.cs.rice.edu/twiki/bin/view/Teaching/DiscussionSeperationLogic 2008-08-25T22:43:18Z

Gregory Malecha proposed exploring Separation Logic in COMP 517S08, Spring 2008. The following discussion assumes that you have read his proposal. (last changed by WalidTaha)

WalidTaha