https://resource-aware.org/twiki/bin/view/Teaching The Teaching web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2008 by contributing authors Walid Taha [maroneal@gmail.com] Walid Taha [maroneal@gmail.com] TWiki https://resource-aware.org/twiki/bin/view/Teaching https://resource-aware.org/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif https://resource-aware.org/twiki/bin/view/Teaching/TeachDracula?t=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) 2008-05-28T09:40:00Z WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/ACL2Tutorial?t=2008-05-15T20:18:54Z Dracula ACL2 Tutorial Ruben Gamboa Access Permissions: (Please don't edit) Set ALLOWTOPICCHANGE DraculaGroup (last changed by WalidTaha) 2008-05-15T20:18:54Z WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/211Proposed?t=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) 2008-05-13T14:31:19Z WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/517?t=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) 2008-05-07T19:55:30Z RajB https://resource-aware.org/twiki/bin/view/Teaching/RonaldGarciaTalkS08?t=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) 2008-05-07T19:53:35Z RajB https://resource-aware.org/twiki/bin/view/Teaching/RonaldGarciaBio?t=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) 2008-05-07T19:51:38Z RajB https://resource-aware.org/twiki/bin/view/Teaching/517Notes_Spring2008?t=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) 2008-04-28T08:02:53Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/EdwinWestbrookBio?t=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) 2008-04-27T17:03:25Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/EdwinWestbrookTalkS08?t=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) 2008-04-27T16:59:37Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/617WishList?t=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) 2008-04-14T17:55:56Z YunZhu https://resource-aware.org/twiki/bin/view/Teaching/RobertHanmerTalkS08?t=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) 2008-04-07T04:35:02Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/RobertHanmerBio?t=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) 2008-04-07T04:30:23Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/GranvilleSewellBio?t=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) 2008-03-17T18:32:07Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/GranvilleSewellTalk?t=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) 2008-03-17T18:25:26Z CherifSalama https://resource-aware.org/twiki/bin/view/Teaching/211?t=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) 2008-02-28T21:21:53Z WalidTaha https://resource-aware.org/twiki/bin/view/Teaching/NikhilSwamyTalk?t=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) 2008-02-26T19:52:32Z CherifSalama