|
|
||
|
|
Start of topic | Skip to actions
Results from Teaching webretrieved at 12:56 (Local)
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 ...
COMP 517S08: Resource Aware Programming (RAP) Seminar, Spring 2008 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 9:00 9:50 am ...
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 ...
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. ...
COMP 517: Resource Aware Programming (RAP) Seminar, Spring 2008 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 11:00 11:50 am ...
Talk by Ronald Garcia (May 8,2008) Computing While Compiling: Reasons and Methods for Compile time Metaprogramming Abstract Software libraries make it much easier ...
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.
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 ...
Gregory Malecha proposed exploring Separation Logic in COMP 517S08, Spring 2008. The following discussion assumes that you have read his proposal.
End to end Security for Web Applications : A Language based Approach Date March 14th, 2008 Speaker Nikhil Swamy Abstract Most large organizations must maintain ...
This page is for discussions related to Jun Inoue's affine arithmetic project for COMP 517S08 for spring 2008.
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 ...
Dracula ACL2 Tutorial Ruben Gamboa Access Permissions: (Please don't edit) Set ALLOWTOPICCHANGE DraculaGroup
Proposal for New Curriculum Task force: Walid, Corky, Alan, Joe, Dung, (Steven?) Week Lecture Theme Content ...
Opening People Corky, Gregory, Josh, Raj, Jun, Angela Alex, Kath, Yilong Lectures MW, Meetings F Scribe Walid Corky: model theory ...
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 ...
Heifer: A Type Theory for Creating Programming Languages Date April 28rd, 2008 Speaker Edwin Westbrook Abstract This talk will introduce Heifer, a novel type ...
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 ...
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 ...
About Granville Sewell CV: sewellcv.pdf: Granville Sewell CV Website: http://www.math.utep.edu/Faculty/sewell/ Wikipedia Article I found about him: ...
The PDE2D Collocation Finite Element Method Date March 28th, 2008 Speaker Granville Sewell Abstract PDE2D (www.pde2d.com, sold through Visual Numerics' e commerce ...
Principles of Program Design Catalog Description: How to systematically design programs in functional and object oriented languages. Includes inductive data definitions ...
Nat Ayewah Short Bio Nat Ayewah is a Ph.D. student of Computer Science at the University of Maryland, College Park. His interests include programming languages, static ...
MultithreadedTC Date January 9th, 2008 Speaker Nat Ayewah Abstract There are many difficulties associated with developing correct multithreaded software, and ...
Talk on January 30th, 2008 Speakers Karen Wu and Roumen Kaiabachev Abstract Measurement While Drilling (MWD) tools used in Oilfield Services are pieces of high temp ...
Karen Wu Short Bio Karen Wu is a Senior Software Engineer working in the Sugarland Product Center (SPC) of Schlumberger. She joined Schlumberger in 1997 and worked ...
Roumen Kaiabachev Short Bio Roumen Kaiabachev, a graduate student in the Programming Languages Group at Rice University, joined Schlumberger in 2007 as an Embedded ...
Project report (2007 04 09(M)) Group Member: Cherif Salama Angela Zhu \ Date: 2007 04 09 FFT using indexed types Overview Discrete Fourier Transformation ...
Online Book \ Owlspace (for quizzes) \ Office Hours \ HW Guide \ HW Checklist \ HW Grading \ Discussion Archive \ COMP 210: Principles ...
Assignment 12 (Due Friday 12/7/2007 at 5:00 PM) Weight: 50 points. Submit via SVN. (These may change.) Required problems (Must be submitted for grading): Suppose ...
set! Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander among the students ...
Assignment 11 (Due Monday 12/3/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): Book problems (Problem ...
Tim Leite Talk Date: Dec 6, 2007 Title: Abstract Bio Tim Leite is the Director of Education Programs for Visual Numerics, Inc. In his education programs role ...
Tim Leite's Visit Agenda Date: Thursday Dec 6, 2007 From To Activity Location 9:00 am 10:00 am Presentation 10:00 am 1:00 pm ...
Assignment 10 (Due Wednesday 11/28/2007 before class) Weight: 150 points. Submit via SVN. Note for 2008: This assignment will be due on Monday. Required problems ...
Assignment 9 (Due Monday 11/12/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): 29.1.2 You ...
Accumulators on Trees; Vectors Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies ...
Assignment 8 (Due Monday 11/5/2007 before class) Weight: 200 points. Submit via SVN. Remember to "fall back" on Sunday, November 4, 2007. Required problems (Must ...
OCaml for Seasoned Schemer This is a quick introduction to OCaml aimed at readers who are already fluent in Scheme. The Basics ... Follow slides, do each concept ...
Generative Recursion Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander ...
Assignment 7 (Due Monday 10/29/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): 21.2.1 You ...
How to do your homework Most (70%) of your grade depends on good style and following the recipe (grading is described in detail on the homework grading page) ...
Abstract functions Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander ...
Gradual Typing Presenter: Raj scribe: Cherif Date: 2007/10/22 Notes This work was done by Jeremy Siek and Walid Taha in 2006 Dynamic vs Static typing ...
Assignment 5 (Due Monday 10/08/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): 14.2.4 Be sure ...
Number of topics: 45
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211 Web Actions:  Teaching Web  Create New Topic  Index  Search  Changes  Notifications  Statistics  Preferences
|
|
Log In
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.