The Teaching web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. https://resource-aware.org/twiki/bin/view/Teaching Copyright 2008 by contributing authors 2008-08-28T12:59:57Z https://resource-aware.org/twiki/bin/view/Teaching/617 2008-08-28T12:59:57Z

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 https://resource-aware.org/twiki/bin/view/Teaching/517S08 2008-08-28T12:49:34Z

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 https://resource-aware.org/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 https://resource-aware.org/twiki/bin/view/Teaching/617WishList 2008-08-25T23:22:52Z

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 https://resource-aware.org/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 https://resource-aware.org/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 https://resource-aware.org/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 https://resource-aware.org/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 https://resource-aware.org/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 https://resource-aware.org/twiki/bin/view/Teaching/NikhilSwamyTalk 2008-08-25T22:43:18Z

End to end Security for Web Applications : A Language based Approach Date March 14th, 2008 Speaker Nikhil Swamy Abstract Most large organizations must maintain ... (last changed by WalidTaha)

WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/DiscussionAffineArithmetic 2008-08-25T22:43:18Z

This page is for discussions related to Jun Inoue's affine arithmetic project for COMP 517S08 for spring 2008. (last changed by WalidTaha)

WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/TeachDracula 2008-05-28T09:40:00Z

Teach Yourself Dracula ACL2 Goal To provide you with step by step instructions to teach yourself how to verify programs using ACL2. Prerequisites The goal of ... (last changed by WalidTaha)

WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/ACL2Tutorial 2008-05-15T20:18:54Z

Dracula ACL2 Tutorial Ruben Gamboa Access Permissions: (Please don't edit) Set ALLOWTOPICCHANGE DraculaGroup (last changed by WalidTaha)

WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/211Proposed 2008-05-13T14:31:19Z

Proposal for New Curriculum Task force: Walid, Corky, Alan, Joe, Dung, (Steven?) Week Lecture Theme Content ... (last changed by WalidTaha)

WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/517Notes_Spring2008 2008-04-28T08:02:53Z

Opening People Corky, Gregory, Josh, Raj, Jun, Angela Alex, Kath, Yilong Lectures MW, Meetings F Scribe Walid Corky: model theory ... (last changed by CherifSalama)

CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/EdwinWestbrookBio 2008-04-27T17:03:25Z

Edwin Westbrook Short Bio Edwin Westbrook received a BS in engineering from the University of California at Berkeley and is currently finishing his !PhD from Washington ... (last changed by CherifSalama)

CherifSalama