The Teaching web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://resource-aware.org/twiki/bin/view/Teaching Copyright 2008 by contributing authors 2008-05-15T20:18:54Z http://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 http://resource-aware.org/twiki/bin/view/Teaching/TeachDracula 2008-05-15T20:11:31Z

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 RubenGamboa)

RubenGamboa http://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 http://resource-aware.org/twiki/bin/view/Teaching/517 2008-05-07T19:55:30Z

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

RajB http://resource-aware.org/twiki/bin/view/Teaching/RonaldGarciaTalkS08 2008-05-07T19:53:35Z

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 RajB)

RajB http://resource-aware.org/twiki/bin/view/Teaching/RonaldGarciaBio 2008-05-07T19:51:38Z

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 RajB)

RajB http://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 http://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 http://resource-aware.org/twiki/bin/view/Teaching/EdwinWestbrookTalkS08 2008-04-27T16:59:37Z

Heifer: A Type Theory for Creating Programming Languages Date April 28rd, 2008 Speaker Edwin Westbrook Abstract This talk will introduce Heifer, a novel type ... (last changed by CherifSalama)

CherifSalama http://resource-aware.org/twiki/bin/view/Teaching/617WishList 2008-04-14T17:55:56Z

Plan for COMP 517 and 617 Proposed topics for Fall 2008 Topics that our research group is interested in: MSP for OO Extensible parsing ... (last changed by YunZhu)

YunZhu http://resource-aware.org/twiki/bin/view/Teaching/RobertHanmerTalkS08 2008-04-07T04:35:02Z

Fault Tolerance Date April 23rd, 2008 Speaker Robert Hanmer Abstract Software is everywhere and used more and more every day to conduct our business, maintain ... (last changed by CherifSalama)

CherifSalama http://resource-aware.org/twiki/bin/view/Teaching/RobertHanmerBio 2008-04-07T04:30:23Z

Robert Hanmer Short Bio Robert Hanmer is a Consulting Member of Technical Staff at Alcatel Lucent. He worked on switching system fault tolerance and system integrity ... (last changed by CherifSalama)

CherifSalama http://resource-aware.org/twiki/bin/view/Teaching/GranvilleSewellBio 2008-03-17T18:32:07Z

About Granville Sewell CV: sewellcv.pdf: Granville Sewell CV Website: http://www.math.utep.edu/Faculty/sewell/ Wikipedia Article I found about him: ... (last changed by CherifSalama)

CherifSalama http://resource-aware.org/twiki/bin/view/Teaching/GranvilleSewellTalk 2008-03-17T18:25:26Z

The PDE2D Collocation Finite Element Method Date March 28th, 2008 Speaker Granville Sewell Abstract PDE2D (www.pde2d.com, sold through Visual Numerics' e commerce ... (last changed by CherifSalama)

CherifSalama http://resource-aware.org/twiki/bin/view/Teaching/211 2008-02-28T21:21:53Z

Principles of Program Design Catalog Description: How to systematically design programs in functional and object oriented languages. Includes inductive data definitions ... (last changed by WalidTaha)

WalidTaha http://resource-aware.org/twiki/bin/view/Teaching/NikhilSwamyTalk 2008-02-26T19:52:32Z

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 CherifSalama)

CherifSalama