Graph-COM/Text-Attributed-Graphs huggingface dataset:
Page type: course

UTCS Home Page;General Information;; Faculty Recruiting 1996-97;; Department Overview;; Research Groups;; Related Programs;; Academic Information; (Admission Requirements, Course Descriptions, Catalogs);;; Department Publications;; Computing Facilities; Upcoming Events;; Public calendar;; Seminars (utcs.talks);; Visitor Schedules;Pages and People;; Classes;; Personal Pages;; Student Organizations;; Alumni Links;; Finding People;; Faculty/Staff Directory;The University;WWW Information;gripe@cs.utexas.edu;
Page type: project

UT Artificial Intelligence Laboratory;UT Artificial Intelligence Laboratory;The Artificial Intelligence Laboratory at;The University of Texas at Austin;has a distinguished history and a large number of excellent faculty and;graduate students.;U.S. News and World Report (3/18/96) ranked our AI program 5th in the nation.;The AI Lab is closely linked with the; UT Computer Science Department.; Faculty; Bob Boyer; --- Automated Theorem Proving; Robert L. Causey; --- Logic and philosophical foundations; Benjamin Kuipers; --- Qualitative Reasoning; Vladimir Lifschitz; --- Reasoning about Action; Risto Miikkulainen; --- Neural Networks; Dan Miranker --- Rule-Based Systems; Ray Mooney; --- Machine Learning; Gordon Novak ---; Automatic; Programming,; Physics; Problem-Solving.; Bruce Porter ---; Multi-Functional; Knowledge Bases; Emeritus Faculty; Woody Bledsoe (deceased Oct. 4, 1995) ---; Automated; Theorem Proving;I had a Dream (1984 AAAI Presidential; Address).; Robert F. Simmons --- In Memoriam; Postdocs; Peter Clark; Art Souther; Technical Reports and Software;FTP directories are currently available for:; AI Lab; Technical Reports;; Automated Theorem Proving Technical Reports; Kuipers; Miikkulainen; Mooney; Novak; Porter;Pointers to Other AI Labs and AI Funding Agencies;Contact: novak@cs.utexas.edu;
Page type: student

Ajita John;Ajita John;PhD Candidate,;Parallel Programming Group,;Department of Computer Sciences,;University of Texas at Austin,;Hello !; My Research:;I am working on a system for automatic parallelization. The programming;framework is based on constraints, which are compiled to parallel;procedural programs.; My Advisor: Professor J.C. Browne;My Papers;My work uses the translation routines of the;CODE Parallel Programming System;If you want to contact me ...;POSTAL Computer Sciences C0500; TAY 2.124, U.T. Austin; Austin TX 78712 USA;VOICE +1 512.471.7316 (main office); +1 512.471.9735 (my office, TAYLOR 139);FAX +1 512.471.8885;ajohn@cs.utexas.edu;
Page type: course

CS 336: Analysis of Programs;CS 336: Analysis of Programs;Fall 1996 | Instructor: Vicki L. Almstrum | TA: Linyuan Yang; Syllabus; Announcements; Homework assignments; Handouts; Some; interesting tutorials; News (utexas.class.cs336a); Instructor Almstrum's; homepage; Last updated 8/29/96; Page prepared by Vicki L. Almstrum. Any suggestions, comments welcome.; Click to send e-mail to; almstrum@cs.utexas.edu or; linyuan@cs.utexas.edu;Department of Computer Sciences; at UT Austin;
Page type: faculty

Vicki L. Almstrum @ UTCS Home Page;Vicki L. Almstrum;About Me;I am an educator and a computer scientist. I am very interested in;understanding how people learn what they learn. I am particularly interested;in the learning of mathematical logic and formal methods. My doctoral;research was on the topic of Limitations in the Understanding of Mathematical;Logic by Novice Computer Science Students.;I am a lecturer at the University of Texas at Austin. In addition, I;spent the fall semester of 1995 teaching in Uppsala Sweden. My;home page;there is a link into that university.;Other interests include encouraging others to excel in mathematics and computer;science, gardening, travel, crafts such as sewing and woodworking, etc.;Here's a picture of me with my hubby, Torgny Stadler.;Check these sites out!!:;;ITICSE '97: Conference on Integrating Technology;into Computer Science Education;June 2-4, 1997 (Working groups June 1-5);Uppsala, Sweden;Other pages that I maintain:; Classes I teach at UT Austin; The field of Computer Science Education;(includes research methods, evaluation ...); Mentoring Issues; Some interesting jumping-off points;[This area suffers from spurts of construction frenzy!!];Home pages for organizations to which I belong:;SIGCSE;ACM's Special Interest Group on Computer Science Education;SIGSoft;ACM's Special Interest Group on Software Engineering;ACM;The Association for Computing Machinery;IEEE;The Institute of Electrical and Electronics Engineers;CPSR;Computer Professionals for Social Responsibility;Connections to other home pages:;UT Austin Computer Sciences UT Austin Web Texas Elsewhere;To Contact Me; Office:; Department of Computer Sciences C0500; TAY 2.124, University of Texas at Austin; Austin, TX 78712 USA; +1 512.471.7316 (CS main office); +1 512.471.9730 (direct, but seldom there); fax: +1 512.471.8885; Home:; +1 512.459.8678; fax: +1 512.459.6068 (not always connected; need to forewarn me and leave plenty of time!);; Email address:;almstrum@cs.utexas.edu;;almstrum@cs.utexas.edu;
Page type: student

Aruna's homepage;Aruna Addala;Currently:;graduate student;The University of Texas at Austin;Department of Computer Sciences;Taylor Hall 2.214;Austin, Tx 78712;Education:;Bachelor of Engineering in Computer Sciences;S.J. College of Engineering;Mysore;Work Experience:;Lecturer, Fall 1992 to Fall 1994;Department of Studies in Computer Sciences;University of Mysore;India;I Come From:;Mysore city;India;To Contact Me:;Email aruna@cs.utexas.edu;Voice 512 418 9647;;
Page type: student

Roberto Bayardo's home page;Roberto Bayardo; Ph.D. Candidate (Expected completion date: Fall 96!!!);Department of Computer Sciences;The University of Texas at Austin; Currently I am also working for MCC within the InfoSleuth project.; Research Interests; Query processing; Active and expert database systems; Data mining; Constraint satisfaction;My thesis advisor is Prof. Daniel P. Miranker.;Some of my research papers are on-line,;along with a toolkit for generating;and solving exceptionally hard SAT instances.;Contact Information; E-mail address:; bayardo@cs.utexas.edu; Campus mailing address:; University of Texas at Austin; Dept. of Computer Sciences; Taylor Hall, rm. 141 (C0500); Austin, TX 78712; History; S.B. in Computer Science and Engineering,; MIT, 1991.; S.M. in Electrical Engineering and Computer Science,; MIT, 1991, working at the; Center for Coordination Science.;This is hit number; since March 9, 1996.;
Page type: student

home page for Bhanu;Welcome to Bhanu's homepage;This is my son Akhil Reddy;Thanks for visiting my homepage !! You are visitor number;.;School; The University of Texas at Austin;M.S. Computer Science Third Semester;Courses;CS 384M Multimedia Systems - Dr. Harrick Vin;CS 388L Introduction to Mathematical Logic - Dr.Vladimir Lifschitz;;MIS 381 Datacommunication and Networks - Dr.Anitish Barua;;CS 352 Computer Systems Architecture - Dr. Schwetman;I;
Page type: faculty

Home Page of Robert S. Boyer;Home Page of Robert Stephen Boyer; Professor, Computer Sciences, Mathematics, and Philosophy;Departments, University of Texas at Austin;How to reach me;Paper mail: Bob Boyer, Computer Sciences Dept., Univ. of Texas,;Austin, TX 78712, USA;Email: boyer@cs.utexas.edu;FAX: +1 512 471 8885;Physical locations;Classes;Curriculum Vitae;Personal data;Education;Publications;Honors;Jobs;Graduated Ph. D. students;The Boyer-Moore Prover, also known;as Nqthm;1981 photo; Recommended reading;Project Vote Smart Web;The QED project;My views on undergraduate education in computer science; John McCarthy's web page;The Moffett building controversy;NY Times Article About McCune's Robbins Algebra Result and;some;technical details.;Verification of the floating point division algorithm for AMD's new K5 microprocessor;;UT's new and wonderful software licensing policy, which permits;the use of the Gnu Public License with close to zero administrative;overhead. A short course on how;this works. And;much more about intellectual property at UT.; The;great books, various enumerations thereof. Ok, I confess to being a;canon thumper.;The possible ending of tenure at some U. S. universities;Standard disclaimer Naturally, nothing on my web pages should;be taken as representing the official position of the University of;Texas at Austin or any other part of the government of the State of;Texas. (Furthermore, to steal a joke from Peter Deutsch, my having a;web page on a government-owned computer should not be taken as an;indication that I endorse everything that the government does.);Formal methods have always been risky to use;``Peano was one of the first to use what we now call symbolic logic.;He introduced, for instance, the use of the symbols `(E x)' to mean;`there is an x such that'; and he habitually wrote out all of his;lecture notes in his new symbolism. He was teaching at a military;academy at the time, and his students were so incensed by his;formalistic approach to mathematics that they rebelled (despite his;promises to pass them all) and got him fired. Subsequently he found a;more congenial setting at the University of Turin.'' -- G�del's;Incompleteness Theorems, Rudy Rucker, p. 289.;The Death of Fundamental Science?;"`Fundamental science is on the verge of extinction.' said Harold W.;Kroto of Britain's Sussex University, who shared the 1996 chemistry;prize with Robert F. Curl and Richard E. Smalley of Rice University in;Houston, for their discovery of carbon atoms bound in the shape of a;soccer ball." -- From the article "Scientists lament loss of funding,";Associated Press, December 10, 1996, Daily Texan.;Up;Up to the University of Texas at Austin Computer Sciences Department.;
Page type: course

CS 395T and PHL 391;CS 395T and PHL 391, Spring 1996, Foundations of;Mathematics, TT 2:00-3:30, Taylor 3.144; Course blurb: There are many approaches to formal reasoning. The;objective of specifying computer programs, including the formalization;of worlds with which programs are to interact, has led to the creation;of numerous tools for formal reasoning. We will examine some systems;for formal reasoning while examining a number of mechanical formal;methods tools that support these different systems. Examples of such;system/tool pairs are:;; System Tool;; Primitive Recursive Arithmetic Boyer-Moore Prover, ACL2; First Order Logic Otter, Nelson's qed; Higher Order Logic HOL, IMPS; Equational Reasoning OBJ; Set Theory Mizar, Quaife/Otter, PVS; Type Theory NuPrl, Lego, Coq;Students will choose, with the help of the instructor, a system and/or;tool to examine and the grade will be based upon presentations about;these.; The QED Project;HTML Version of the;QED Manifesto;Plain text version of the QED;Manifesto;Bowen' Formal Methods Web Page and a;backup copy.;The chief assignment. Select a formal methods system, e.g.,;from Bowen's Formal Methods Web Page above, and report via in-class,;oral presentations on either its logical foundations or upon its use.;Many of these systems have good, freely available implementations.;Consult with me before making a final choice.;No tests, no final. Only the presentation(s).;I hope to have a number of guest presentations from the local;formal methods community.;*Very* Tentative Schedule; April 16 -- Rick Tanney -- Coq continued; April 18 -- Trevor Hicks -- Otter; April 23 -- Ruben Gamboa on ACL2 and Square root of 2; April 25 -- Samuel Guyer -- Circal and process algebras; April 30 -- Sawada -- PVS; May 2 -- Russell Turpin (SES) -- Galois;
Page type: project

UTCS CAD Home page; CAD For VLSI Research Group;Address;Department of Computer Sciences, TAY 2.124,;The University of Texas at Austin,;Austin, TX 78712-1188; People;This group is supervised by;Prof. Martin Wong.;The members of the group are:; Yao-Wen Chang; Chung-Ping Chen;Yao-Ping Chen; Yung-Ming Fang (ECE Department); Wei-Kei Mak; Shashidhar Thakur; Hai Zhou; Research;The current interests of the group lie in a wide range of;areas in VLSI CAD. These areas are broadly classified as follows:;FPGA Placement and Routing.;FPGA Architecture.;Partitioning.;Architectural and Logic Synthesis.;Issues in High Performance VLSI.;The abstracts of some recent publications of the group;can be found by tracing each of the above links.; Links of Interest; ACM SIGDA.;Special Interest Group on Design Automation of the ACM.; IEEE.;The Institute of Electrical and Electronics Engineers.; Information/Comments;For more information on the CS Department at UT Austin;click here.;For comments, mail thakur@cs.utexas.edu.;
Page type: student

Bill Canfield;Home!;Business;My resume (postscript).;In Spring 1996 I had to give a report to my; EE382C ("Software for Highly-Available Distributed; Systems") class. The slides talk about; efforts to use;; RT-Mach to implement some of;; Flaviu Cristian's distributed; algorithms (work done for;; Prof. Al Mok; built on some work by; Guangtian Liu).;I am currently working on a hardware verification project at;IBM in the;RS/6000 division.;It ties in with my Ph.D research under Professor;Allen Emerson.;Pleasure;Domestic bliss department:; photos of my wife Carla and our newborn; daughter Ruth Claire (3/13/96).;Before parenthood struck, travel and beer were high priorities.; Somewhere between the two lies the enjoyment I get from peeling; beer labels off of bottles in foreign; lands.;Humor from various sources;The; Sofasphere II project.;Some haikus about Olestra, the new; FDA-approved fat substitute.;Speaking of poetry... here is an interesting ode to; women.;Some disinformation about; Bob Dole.;canfield@cs.utexas.edu;;Last updated: 29 April 96;Thanks to Todd Peters (peterst@mail.utexas.edu) for many humor links and;the "Home" picture above. (He's too cool for web pages.);UT CS home page.;
Page type: student

Al Carruth;Al Carruth;Please send mail to; carruth@cs.utexas.edu;if you have any questions or suggestions.; Introduction;I am a Ph.D. candidate at UT-Austin in the; Department of Computer;Sciences.;My supervising professor is Jayadev Misra and my;dissertation topic is; Real-Time UNITY.;I am a member of Professor Misra's; PSP research group.;I am extending the; UNITY;theory in order to express finite time bounds;on the usual UNITY operators for progress and safety. I am also;interested in functional programming languages, partial order;semantics and automated theorem proving.; Contact Information; my personal home page; Office address: UA-9 4.116G; Office phone: 512-471-9764; Home phone: 512-302-3276; Email address:; carruth@cs.utexas.edu; U.S. mail:; Al Carruth; Department of Computer Sciences; Taylor Hall 2.124; University of Texas at Austin; Austin TX 78712-1188; Links to other World Wide Web pages;
Page type: student

Chung-Ping Chen;Chung-Ping Chen; I am now a Ph.D student in the; Department of Computer Science;at the University of Texas at Austin.;My fiancee is;Meng-Yin Tsai;Currently I am at intel as a summer intern. I am working on buffer;insertion problem.; Syllabus; Grading Policy; Exam Schedule; Homework Exercises and Schedule; Office Hours & Locations; News (utexas.class.cs352j);CS 352 : Fall 1995 Syllabus;Topics;Chung-Ping Clen, last updated 8 Oct, 1995;If you have any ideas on improving this page, send your suggestions to; ccp@cs.utexas.edu;
Page type: student

Home Page for Deji Chen;Deji Chen;About Me;Hello! This is the homepage of a Ph.D. student from; Tongji University, Shanghai, P. R. China;To Contact Me;POSTAL Computer Sciences C0500; TAY 2.124, U.T. Austin; Austin, TX 78712 USA;HOME 3373-A Lake Austin Blvd; Austin, TX 78703 USA;PHONE (512) 471-7316 (main office); (512) 471-9573 (my office); (512) 477-3630 (home);FAX (512) 471-8885;cdj@cs.utexas.edu;
Page type: student

Cliff Chaput;Cliff Chaput;The University of Texas at Austin;Department of Computer Sciences;Taylor Hall 2.124;Austin, TX 78712;RobotLab: (512) 471-9563;Home: (512) 453-DULL;chaput@cs.utexas.edu;Cliff got his B.A. in Computer Studies from Northwestern University in 1990, but got;himself employed as a programmer anyway. He spent two years writing an;email client and a portable visual object library for Odesta Systems Corporation.;He left there for the Institute for the;Learning Sciences in 1992, where he;wrote educational and traning software in Macintosh Common Lisp, and then;implemented a simulated environment for educating high school students;called the GAMES;Project.;Cliff is now a graduate student in the Computer Sciences Ph.D. program at UT Austin. He hangs out in the Robotics Lab;annoying people with his hair-brained schemes about meaning,;non-symbolic representation, and artificial life.;When not programming, Cliff sleeps. In his dreams, he reads and writes;fiction; listens to Ali Farka Toure and Medeski, Martin and Wood; watches;MST3K reruns; plays on his Korg DS-8; and rides his bike all over. Turnons;include: breakfast in bed, new system versions, and raspy-voiced;Starfleet captains. Turnoffs: republicans, Microsoft, hangovers.;Fave Sites:;Current Events;Daily News from Reuters;Intellicast;Weather;Austin, TX;Chicago, IL;Periodicals;Suck;Salon;Mirsky's Worst of;the Web;The Onion;MacWeek;MacUser;Reference;Hypertext Webster;Interface;Yahoo;Alta Vista;Cardiff Movie Database;Lycos Road Map;alt.culture;Macintosh Data;Apple Computer;CyberDog;QuickTime;QuickDraw;3D;Apple Support;MacInTouch;Macintosh Resource;Cyberdog Pound;Info-Mac;Archive Root;Cool/Weird Stuff;Fringeware;The ACTLab;PBS;NPR;Now Playing:;MST3K Catch Phrase Catalog;Papers and Software;The Résumé;Symbol Emergence and Symbol Grounding;RobotMap for Macintosh (fat);People;Dave Faloon;Charles Lewis;Jeff Lind;Jeff Sherwood;Brian Slator;Sandy Stone;
Page type: student

Welcome to the Homepage of Chin-Tser Huang;Last updated: December 24th, 1996;Education; June 12th, 1993; B.S. Degree, Dept. of Computer Science & Information Engineering,; National Taiwan University,; Taipei, Taiwan.;Currently I am a Master's student in Department of Computer Sciences, The University of Texas at Austin.;Research Interests; Natural Language Processing, Human-Computer Interface; Network, Distributed Systems;Experience;I ever worked in Chinese Knowledge Information Processing Group, Institute;of Information Science, Academia Sinica as a research assistant. My major work;is to design a system capable of word segmentation and category tagging using;Hidden Markov Model, and to improve a user-friendly tool allowing user to;execute on-line proof-reading of the result of automatic tagging. The automatic;tagging system now can reach an accuracy of 96%, which can be further improved;because of the continuous expansion of training data.;Personal Interests;Movies, Books and Music.;Literature and Semiology.;Baseball, Basketball, Table Tennis.;PINBALL!!;Favorite Sites;China Times;MinSheng Daily;The New York Times;USA Today;The Economist;The Atlantic Monthly;Make Contact;910 E. 40th St. APT#B203; Austin, Texas 78751;(512)302-5629 (FAX), (512)467-6707;chuang@cs.utexas.edu;Finger me;You are the visitor.;
Page type: student

Chung Keung Poon's Home Page; Chung Keung Poon;Department of Computer Sciences;University of Texas at Austin;Austin TX 78712-1124;USA;(512) 471-9547 (office);ckpoon@cs.utexas.edu;My plan:;To be a hungry fish!;Why? Ask;Vincent Gogan please :-);My PhD thesis:;On the Complexity of the ST-Connectivity Problem;Some interesting web sites about...; Theoretical computer science; Hong Kong; Harmonica; my high school;
Page type: student

Home Page for Chung Kei Wong;Chung Kei Wong;last modified: Dec 11, 1996;About Me;I am a graduate student in the;Department of Computer Sciences;,;The University of Texas at Austin;.;I am a member of the;Networking Research Lab;which is headed by;Prof. Simon S. Lam;.;Research Related links...; Java Security Project;; NIST Computer Security Division;; Computer Security Resource Clearinghouse;; Role Based Access Control (RBAC);; Prof. Ron Rivest;; 's;; Cryptography and Security page;;To Contact Me;EMAIL ckwong@cs.utexas.edu;POSTAL Computer Sciences C0500; TAY 2.124, U.T. Austin; Austin TX 78712 USA;VOICE +1 512.471.9599 (lab - TAY 150K); +1 512.471.???? (office - PAI 5.50); +1 512.471.7316 (CS dept office);FAX +1 512.471.7866;Other links...; Hyde Park Baptist Church Chinese Mission;; Hong Kong Student Association at UT Austin;; Linux OS Home Page;; NetBSD Project;; FreeBSD OS Home Page;; OpenBSD Project;;send me email to;ckwong@cs.utexas.edu;
Page type: student

Chris Chu;Welcome to Chris Chu's Home Page;;About Myself;My photo:;I am a PhD student in ....;Phone Numbers and Address:;Call me at:;Office: (512) 471-9772 (UA9 4.118E);Home: (512) 708-0296;Mailing address:; University of Texas at Austin; Department of Computer Sciences; Taylor Hall 2.124; Austin, TX 78712-1188;;Interesting Links; Austin Chinese Campus Christian Fellowship; Austin Chinese Church; Department of Computer Sciences; UT Austin; Austin; Hong Kong; China;;Author: Chris C. Chu;Email: cnchu@cs.utexas.edu;Last Updated: January 19, 1996;
Page type: project

CODE Visual Parallel Programming System;Mastering the lawless science of our law,--;That codeless myriad of precedent,;That wilderness of single instances.;-- Alfred Lord Tennyson;CODE is a visual parallel programming system, allowing users to compose sequential;programs into a parallel one. The parallel program is a directed graph, where;data flows on arcs connecting the nodes representing the sequential programs. The;sequential programs may be written in any language, and CODE will produce parallel;programs for a variety of architectures, as its model is architecture-independent.;Click here for a screen shot.;The CODE system can produce parallel programs for PVM-based networks of machines as well as for the Sequent Symmetry. The newest version (pre-release available below) supports the Cray, Sun SMPs, and MPI.;Announcements;(11/14/96) A pre-release version of the new CODE is now available (and it's FREE)! Click here to download the software.;This is a major new revision of CODE (click here for a screen shot). It features a sophisticated new user-interface which provides many improvements to the previous version of CODE, making it easier and more pleasant to use. Some of the features include a Mac-like interface (à la MacDraw), multiple windows for subgraph editing, a hierarchy browser and more.;(10/8/96) Article on CODE: HPCwire, the on-line journal of high-performance computing, recently published an article on CODE entitled "Visual Parallel Programming May Come of Age with CODE" that they've been kind enough to let us reproduce here.;There is a CODE mailing-list for current (and prospective) CODE users so that they will be notified of releases, new backends, etc.;To join the mailing list, fill in the form below. (If you download CODE, you will also be added to the mailing list.);First name:;Last name:;E-mail address:;Documentation & Publications;These directories of compressed PostScript files are documentation for the previous version of CODE, but are being made available in lieu of new documentation, which is in the preparation stages. Despite the changes in the user interface, these manuals are still quite useful.; CODE 2.0 User's Manual; CODE 2.0 Reference Manual;Here is a listing of CODE-related publications, including links to PostScript versions of most of them.;Contact Information;For specific comments regarding CODE, send e-mail to Emery Berger at emery@cs.utexas.edu. To send snail mail to a group member, address it to:;Department of Computer Sciences;The University of Texas at Austin;Austin, TX 78712-1188;The Research Group;Group Leader;Professor James C. Browne;Project Manager; Emery Berger;Student Members; Dwip Banerjee: Incorporating dynamic data partitioning into the CODE model.; Ajita John: Developing a programming system based on constraints for automatic parallelization.; CODE Alumni;[Overview] [Announcements] [Software];[Researchers] [Publications] [Contacts];CODE Home Page / emery@cs.utexas.edu / Last updated 2 January 1997;
Page type: student

Carlos Puchol;Carlos Puchol;Research Interests;Responsive/Real-time/Reactive Systems in General; Formal Methods;Specification and Implementation of Real-Time Systems; Distributed Control; Robotics; Esterel, a synchronous programming language.; Mawl, a language for web applications development.;Check out the UTCS Real-Time Systems Group home page.;Publications;I have a list of publications available for;browsing.;Software;The TempEst Toolset: a package for verifying;safety properties of programs written in the Esterel programming language.;I once wrote one and a half Linux device drivers, one for the;QuantaVision;frame grabber and part of the;joystick;device driver.;Contact Information;Office:;UA9 4.108d;Real-time Systems Lab:;Taylor Hall 3.140;(512) 471-9543 (Lab);(512) 471-9756 (Office);Office-;The University of Texas at Austin;Department of Computer Sciences;Austin, TX 78712-1188;E-;cpg@cs.utexas.edu; Home-;P.O. Box 7817;Austin, TX 78713-7817;Lots-of-Phun Interests;Member of the;The Robot Group. Check the group's Web page.;Latest interest;is the;Be box.;Originally from;Gandia, in;the province of Valencia,;in Spain;.;
Page type: project

UTCS Real-Time Systems Research Group;The Real-Time Systems research group is headed by;Prof. Aloysius Mok.;In the past few years, we have worked towards laying the groundwork;for establishing a firm theoretical foundation for real-time systems;and also to build design tools based on this foundation. Our work can;be categorized into three areas as follows:;Specification and Modeling: precise formulation of real-time properties of systems.; Analysis and Verification: reasoning about real-time properties.; Synthesis: enforcing stringent timing constraints and other real-time properties.;Projects; RTL (Real-Time Logic); Modechart Toolset; Modechart Editor; Modechart Verifier; Modechart Simulator; Modechart Compiler;; Timetool; Ged; Scenario Language;Publications;Abstracts of some of;the group's papers are available;online in PostScript.;Current Members; Deji Chen; Carlos Puchol; Doug Stuart; Duu-chung Tsou; Guangtian Liu; Rwo-Hsi Wang; Jin Yang;Alumni; Tei-Wei Kuo; Paul Clements; Chih-kan Wang; Farn Wang; Supoj Suthandavibul; Farnam Jahanian;
Page type: student

Cindi Thompson;Cindi Thompson;Machine Learning Research Group;University of Texas at Austin;I am participating in a Candlelight Vigil Across the Internet;to help increase awareness of violence against women.;Research;My current research interests in artificial intelligence are primarily;in the area of machine learning. Specifically, I am interested;in Natural Language Acquisition.;Learning to produce a deep semantic;representation from an input sentence would be useful in many tasks.;My Ph.D. proposal is on corpus-based lexical acquisition.;I wrote my Master's Thesis;on a system which learned rules suitable for use in a diagnostic expert;system.;I am also interested in mobile robots, and had an exhibit at;Robofest 5 in 1994. In the spring semester of 1995, I was the TA for;"Building Intelligent Agents".;Here's my finger information,; a picture of me, my vita,; and a list of my publications.;Also, see;the Machine Learning page;for more information on our group.;Education; M.A. in Computer Sciences, The University of Texas at Austin, 1993.; B.S. in Computer Science, North Carolina State University, 1989.;Contact Information; Office:; Taylor Hall 150C;Phone: (512) 471-9767; Email address:; cthomp@cs.utexas.edu; Postal address:;The University of Texas at Austin;Department of Computer Sciences, TAY 2.124;Austin, TX 78712-1188;Some of My Hotlist; Starting Points for Internet Exploration; Misc. Computer Science:; The Consortium for Lexical Research; A Collection of Computer Science Bibliographies; The Ada Project - A collection of Resources for Women in Computing; Computing Research Association; Robotics Internet Resources Page; Artificial Intelligence:; CMU AI Repository; Knowledge Systems Laboratory - Home Page; Georgia Tech AI Page; Journal of Artificial Intelligence Research; Association of Computational Linguistics; Home Pages of ML & CBR Folks; Cognitive Science Resource Page; Miscellaneous Other Stuff:; Wolves, Man and Truth; Re-evaluation Counseling Home Page; Expanding Your Horizons;
Page type: faculty

Mike Dahlin;MIKE;DAHLIN;General information;Assistant professor of Computer Sciences,;The University of Texas at Austin.; Ph.D. in Computer Science,;UC Berkeley, 1995.; M.S. in Computer Science,;UC Berkeley, 1993.; B.S. in Electrical Engineering,;Rice University, 1991.;Teaching;Fall 1996: 395T Web Operating Systems;Spring 1997: 382M Advanced Computer Architecture;Everyone should read these;"Technical Classics";Research;xFS: A "Serverless" Network File System;Web Operating Systems;The Lab for Experimental Software Systems (LESS);Publications list.;Other Information;Technology Trends Page;This page;summarizes some recent technology trends that may be of interest to operating;systems researchers and compter architects, including;historical data I've gathered about the;prices and capacity/prices of disks and memory.;Personal Information;If this page seems boring, you probably want my working internet root page. (Links to the world.);Email:;dahlin@cs.utexas.edu; Office:; Taylor Hall 4.136; (512)471-9549;Postal:;Taylor Hall 2.124;The University of Texas at Austin;Austin, TX 78712-1188;bye...;
Page type: course

CS382M: Advanced Computer Architecture;CS382M: Advanced Computer Architecture;This course focuses on the techniques of quantitative analysis and evaluation;of modern computing systems, such as the selection of appropriate benchmarks;to reveal and compare the performance of alternative design choices in;system design. The emphasis is on the major component subsystems of high;performance computers: pipelining, instruction level parallelism, memory;hierarchies, input/output, and network-oriented interconnections. Students;will undertake a major computing system analysis and design project of;their own choosing.;Administrative Information;Unique Number: 47315;Meeting Place: MWF 2-3, WEL 2.304;Instructor: Mike;Dahlin;Office Hours: MW 3-4 or by appointment, TAY 4.136;TA: TBD;TA Office Hours: TBD;Readings;Textbook: Hennessy and Patteson Computer;Architecture: A Quantitative Approach, Second Edition;Note that the 2nd edition is significantly different than the 1st;edition, and it is not recommended that you attempt to use the 1st;edition as a textbook for this course.;Errata Sheet;for Hennessy & Patterson;In addition, we will read current papers on various aspects of current;computer architecture research. Watch this space for a pointer to the reading;list.;Grading;10% Class Participation;30% Homework (Work in pairs);30% Exams (2 midterms);30% Project (Work in pairs);Course Schedule;Week;Date;Topic;Reading;Due;1;Jan 13;Intro, Admin, Review: Perf/Cost, Amdahl's Law, Tech Trends;Ch 1;2;Jan 20;Caching and Memory, ISAs, Pipelining, Hazards and Branch Prediction;Ch 2;M: MLK Holiday;F: HW 1;3;Jan 27;Pipelining, Hazards, and Static Branch Prediction;Ch 3;F: Project Proposal;4;Feb 3;ILP: Scoreboarding, Tomasulu, Speculation;Ch 4;F: HW 2;5;Feb 10;ILP: Dynamic Prediction, Limits of ILP, Vector Processors;Ch D;6;Feb 17;Memory Hierarchy;Ch 5;F: Project Survey;7;Feb 24;Memory DRAM, VM, and Banks;F: HW 3;8;Mar 3;Memory and Review;W: Midterm 1;9;Mar 10;Spring Break;M-F: Spring Break;10;Mar 17;I/O: Metrics, Queuing, Busses, Disks, RAID;Ch 6;11;Mar 24;I/O: Tertiary, Networks;F: HW 4;12;Mar 31;Networks;Ch 7;F: Project Checkpoint;13;Apr 7;Networks, Parallel Architectures;F: HW 5;14;Apr 14;MPPs;Ch 8;15;Apr 21;MPPs, Review;W: Midterm 2;16;Apr 28;Project Preseantations;M/W/F: Project Presentations;Fri: Last Day of Classes;M: Project Written Report;Additional Resources;Course Pages;Products and Research;Conferences, Bibliographies, and Tech Reports;Yahoo: Business;and Economy:Companies:Computers:Systems;
Page type: student

Doug Stuart's Welcome Page;Doug Stuart's Home Page;Welcome!;This page is under construction (what page isn't), so bear with me.;I am not sure what I will put here, but for now, there are a number of;links;to interesting places, as well as some information about;Sports;,;science fiction;,;books;in general, and a few;jokes;(test;of latex2html), or a;weather map;and;conditions at Austin;and;New Orleans;.;I guess I am sort of using this as my own personal archive, and am;graciously sharing it with the web. I'm not sure why, but I'm doing it.;Perhaps because the linking process provides me with an index, and putting;it all here is just as simple as keeping it to myself, and the web;browser provides a useful database browser as well. I don't know if this;is a good idea or not, but if I'm going to save something, it is just;as easy to save it in a web accessible manner.;Stuff;Mom, click here.;Computer Sciences Calendar;Links;Video Links;Science Fiction;Books;Jokes;Sports;Food;Video;UT Library;Resume;Last updated 11/27/96.;;DAS;dastuart@cs.utexas.edu;
Page type: student

Diane Law;Diane Law; PhD Student; Department of Computer Sciences; The University of Texas at Austin;Research Interests;The symbol grounding problem;Navigation for robotic agents using neural networks evolved through the;use of genetic algorithms.;Education; M.S. in Computer Science, The University;of Texas at Austin, 1994.; B.A. in Computer Science, The University;of Texas at Austin, 1991.; B.A. in Spanish Literature, Washington;State University, 1978.; B.A. in Fine Arts, Washington State;University, 1976.;Contact Information; Office:; Taylor Hall 5.145; Phone: (512) 471-9730; Email address:; dianelaw@cs.utexas.edu; Postal address:; The University of Texas at Austin; Department of Computer Sciences, TAY 2.124; Austin, TX 78712-1188;Local Links; UTCS Neural Networks home;page; AI lab home page;; UTCS home page; UT Austin home page;Genetic Algorithm Links; GANN -;Genetic Algorithms and Neural Networks; IlliGAL Home Page; Santa Fe Institute;; GA Digest Archive;University of Michigan GA Research Group;
Page type: student

Home Page for Dionisis Papadopoulos;Dionisis Papadopoulos;About Me;I am a graduate student in the; Department of Computer Sciences at UT.;I was an undergraduate student in the;Department of;Computer Engineering and Informatics at the University of Patras in Greece.;I have also worked for the;Computer Technology Institute of Patras in;Greece. I was a member of the Software Engineering And Applications;Reasearch Unit;(RU2).;To Contact Me;Dionisis Papadopoulos;University of Texas at Austin;Computer Sciences Department;TAY 2.124;Austin, TX 78712;E-mail:; dionisis@cs.utexas.edu;Links to ...;; Mining and Monitoring Databases Homework; The Panhellenic Students Association;Panathinaikos Athletic Club;Greek News;Hellenic Resources Network;Everything You Always Wanted to Know; About Sex...;
Page type: faculty

David Zuckerman;David Zuckerman;Assistant Professor of Computer Sciences, The University of Texas at Austin.;Contact Information; Office:;Taylor Hall 3.126, (512) 471-9729; Fax:;(512) 471-8885; Email address:;diz@cs.utexas.edu; Postal address:;Department of Computer Sciences;The University of Texas at Austin;Austin,;Texas;78712-1188; Finger.;Course for Fall, 1996;CS 378, Cryptography;Research Interests;The role of randomness in computation, complexity theory,;expanders and their applications, random walks on graphs, cryptography.;For a one paragraph description as well as other information,;see my;profile in the annual report.;You can also look at my;C.V.;Some Recent Publications;;Asymptotically Good Codes Correcting Insertions, Deletions, and Transpositions;(SODA 97);;Randomness-Optimal Sampling, Extractors, and Constructive Leader Election;(STOC 96);;Multiple Cover Time;(Random Structures and Algorithms, to appear.);;Randomness is Linear in Space (JCSS, 1996);(Preliminary version called "More Deterministic Simulation in Logspace";from STOC 93);;Simulating BPP Using a General Weak Random Source (Algorithmica,1996);(Preliminary version in FOCS 91);;Tight Analyses of Two Local Load Balancing Algorithms (STOC 95);;Derandomized Graph Products (Computational Complexity, 1995);;Computing With Very Weak Random Sources (FOCS 94, revised 4/6/96);;Expanders that Beat the Eigenvalue Bound: Explicit Construction;and Applications (Combinatorica, to appear. UTCS Technical report.);(Preliminary version in STOC 93);;Efficient Construction of a Small Hitting Set;for Combinatorial Rectangles in High Dimension;(Combinatorica, to appear, revised 9/9/96);(Preliminary version in STOC 93);;Lower Bounds for Randomized Mutual Exclusion (SICOMP, to appear);(Preliminary version in STOC 93);;On Unapproximable Versions of NP-Complete Problems (SICOMP, to appear);(Preliminary version in Structures 93);Here is a;;complete list of publications and abstracts.;Visits to this page since April 6, 1996:;Last modified: October 21, 1996.;
Page type: project

Multimedia Lab's Home Page; Distributed Multimedia Computing Laboratory; The University of Texas at Austin; Welcome to the Distributed Multimedia Computing Laboratory !;; The main objective of our research is to investigate a wide range;of research issues in the area of Multimedia Systems. Our current;research focuses on the design of multimedia storage servers,;network and transport protocols for digital audio and video, and;multiresolution multimedia databases. The Distributed Multimedia;Computing Laboratory (DMCL) is a part of the Department;of Computer Sciences at the University of Texas at Austin.; Sponsors; Research work being carried out in the Distributed Multimedia;Computing Laboratory is sponsored by various industrial and federal;institutions including the AT&T Foundation, IBM, Intel, National Science Foundation,;NASA, Microsoft, Mitsubishi Electric Research Laboratory (MERL), Sun Microsystems;Inc., and The University of Texas at Austin.; Table of contents; Research Agenda; Papers and Relevant Technical Reports; List of Members; Call for Papers;; We would like to hear from you! Send your;comments/suggestions to:;multimedia@cs.utexas.edu;;
Page type: faculty

Don Batory;Don Batory;Software generation is a key to improved programmer productivity, reduced;maintenance costs, and enhanced application performance. I and my students;are investigating ways to realize practical, domain-specific component-based;design methodologies and technologies for large scale software system;synthesis. This spans the topics of: software architectures, design patterns,;extensible languages, subjectivity, domain modeling, parameterized;programming, object-oriented programming, frameworks. The domains of;current interest are database management, data structures, and avionics.;My current research is building a programming language to support software;generation. The goal of the Jakarta Project is to build an extensible preprocessor for the Java language.;Domain-specific generators would be encapsulated, pluggable extensions to Jakarta.;Research funding is from DARPA, Microsoft Research, the University of Texas Applied Research;Laboratories, and Schlumberger.;Publications, Projects, Students, Software;Contact Information;Office:;Taylor Hall 3.104B;Email address:;batory@cs.utexas.edu;Phone Numbers;512-471-9713 (Office);512-471-8885 (Fax);Postal address:;The University of Texas at Austin;Department of Computer Sciences , TAY 2.124;Austin, TX 78712-1188;
Page type: student

Home Page for Dwip N Banerjee; Photograph of me;Dwip Banerjee;About Me;This is some info about me. I'm working in the CODE2.0 Parallel Programming;Group on the methodology of including data partitioning in a graphical;parallel programming system.;Here is the paper I will be presenting at the;International Parallel Processing Symposium 1996.;Here is a list of my favorite sites:;!;!;.;Some more info about me : I'll insert when I know them myself..;To Contact Me; Department;POSTAL Computer Sciences C0500; TAY 2.124, U.T. Austin; Austin TX 78712 USA;VOICE +1 512.471.7316 (main office); +1 512.471.9734 (my office);FAX +1 512.471.8885; Home;POSTAL 2202 Enfield Road,; #201; Austin TX 78703 USA;VOICE +1 512.469.9209;dwip@cs.utexas.edu;
Page type: student

Ed Posnak;Ed Posnak; What I Do;I am a graduate student in; Computer Science at the; University of Texas at Austin.;I am interested in network and operating system support for; multimedia;systems and work in the; Distributed Multimedia;Computing Laboratory;headed by; Dr. Harrick Vin;here at UT. My; research;is supervised by Dr. Vin and; Dr. Greg Lavender;at the;;ISODE Consortium.; View Research Summary;; View Publications;; Ed Posnak /;ejp@cs.utexas.edu;phone: (512) 349-9284.;
Page type: faculty

E. Allen Emerson;;E. Allen Emerson;Bruton Centennial Professor;Computer Sciences Department;Taylor Hall 2.124;University of Texas at Austin;Austin, Texas 78712 USA;e-mail: emerson@cs.utexas.edu;fax: 1 512 471 8885;phone: 1 512 471 9537 (direct); 1 512 471 7316 (secretary);Areas of Research Interest; Formal Methods; Computer Aided Verification; Temporal Logic and Automata on Infinite Objects; Concurrent and Distributed Systems;Selected Recent Publications;E. A. Emerson, A. K. Mok, A. P. Sistla, J. Srinivasan, "Quantitative temporal reasoning," Journal of Real-Time Systems, vol. 4, pp. 331-352, 1992.;E. A. Emerson, T. H. Sadler, and J. Srinivasan, "Efficient temporal satisfiability," Journal of Logic and Computation, vol. 2, no. 2, pp. 173-210, 1992.;E. A. Emerson, "Real-time and the Mu-calculus," in Real-Time: Theory in Practice, J. W. de Bakker et al., Eds. New York: Springer-Verlag Lecture Notes in Computer Science, 1992, no. 600, pp. 176-194.;E. A. Emerson and C. S. Jutla, "Tree automata, Mu-calculus, and determinacy," in 32nd Annual IEEE Symposium in Foundations of Computing (FOCS), San Juan, Oct. 1991, pp. 368-377.;E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Elsevier/The MIT Press, Amsterdam/Cambridge, Mass., 1990, pp. 995-1072.;
Page type: student

Emery Berger : Home page;Emery Berger;personal;contact info;Mailing address:; Dept. of Computer Sciences;; Taylor Hall;; University of Texas at Austin;; Austin, TX 78712;Phone:; (512) 471-9734 (work); (512) 454-6126 (home);Fax:; (512) 471-8885;E-mail:;emery@cs.utexas.edu;work;systems analyst;Parallel Programming Group;I am a systems analyst in the parallel programming research group at UT-Austin, working on the CODE visual parallel programming system. For more information about CODE, see the CODE home page.;TICAM, Composite Materials Group;I am also affiliated with TICAM, working in the Composite Materials group (for more information on the project, click on the group name).;academics;functional programming;FP+OOP=Haskell, Emery Berger (UT TR 92-30).;Abstract: The programming language Haskell adds object-oriented functionality (using a concept known as type classes) to a pure functional programming framework. This paper describes these extensions and analyzes its accomplishments as well as some problems.;dvi,;compressed PostScript, or HTML.;other;My youngest brother Doug has an Aspiring Artist page (the CODE graphic is Doug's handiwork).;;web links;The CODE Visual Parallel Programming System;TEXbook, the UT Textbook Exchange;GRACS;(Graduate Representative Association for Computer Sciences); emery@cs.utexas.edu / Last updated October 1, 1996;Do you believe in Macintosh? Check out;http://www.evangelist.macaddict.com/;and join the "EvangeList" mailing list.;
Page type: student

Emma Y. Wu's Home Page;Emma Y. Wu;Chinese girl coming to US;on August 18, 1995, to study in the;Department of Computer Science of;the University of Texas at Austin.;Interested in what I did in China;?;Immediately after I get my BS Degree in Computer Science from;Zhongshan University, I became a Marketing Representative in;IBM China Company, South China Branch,;trying to deliver the solutions for a small planet to my costomers in;telecommunication and media industry.;Hey, this is;Zhongshan University, you would be surprised to find that I have so many;alumni in US if you enter our;Alumni Club.;One nice thing for attending graduate school in Austin is that there are lots;of intern opportunities for engineering students. This semester, I work as a;part-time programmer at National Instruments;Inc.; Distributed Computing;Managing; Information;Automatic; Programming;Tool Base;Yahoo;Galaxy; UT Library Online; US University;Yellow Page;Mini Library; Introduction to OOP Using C++; Fortran 90 Tutorial; TCL WWW Info;Leisure Time;NewsPage;People's Daily;Arts;Time Magazine;Chinese Magazine;PC Magazine;City I have visited in the US; New Orleans; Houston; San Antonio;San Francisco;Marina, a peaceful city;San Jose, the capital of Silicon Valley;;I love San Francisco.;Contact Point;Email: emmawu@cs.utexas.edu;Phone: 512-338-1295;Mailing: Department of Computer Science, the University of Texas at Austin,; Austin, TX 78712; Last date updated: January 24, 1996.;;;
Page type: student

Esra ERDEM's Homepage;Esra ERDEM;M.S. Student in the;Department of Computer Sciences ,;at The University of Texas at Austin;B.S. in Computer Sciences,; Department of Computer Engineering and;Information Science,;Bilkent University ,;Turkey(1996);Areas of Interest;(Machine) Learning;Inductive Logic Programming;(Non-monotonic) Reasoning;Topics of Interest in Cognitive Science;Learning;Reasoning: children's theories of mind, non-monotonic reasoning,;commonsense reasoning;Knowledge Representation;Emotions;Philosophy of Mind;Contact Information;;Postal: Department of Computer Sciences; The University of Texas at Austin; Austin, TX 78712; USA;Voice: +1 (512) 471-9760;Fax: +1 (512) 471-8885;E-Mail: esra@cs.utexas.edu;
Page type: student

Mr. Carl's Home Page;Stephen P. Carl;Pardon the Dust!;So, Who Am I?;I am currently a student working towards a Master of Arts degree in the;Computer Science department;of the University of Texas.;My thesis describes a new system for performing syntactic;extensions in the Scheme programming language.;I wasn't always a student. I once had a life...see my;resume if you don't believe me.;A few items of personal interest:;My Plan;My Resume;My Research Interests;A psuedo-random collection of WWW links;The Carl Household;My Daily Dose of Things on the World Wide Web; Snow on Pike's Peak? See for Yourself!; Houston Chronicle Interactive: Sports; For What It's Worth: Rice Athletics; The Rice University Marching Owl Band;Getting In Touch;POSTAL Computer Sciences C0500; TAY 2.124, U.T. Austin; Austin TX 78712 USA;VOICE +1 512-471-7316 (main office - but they don't know me yet!); +1 512-471-9575 (my office);FAX +1 512-471-8885;esteban@cs.utexas.edu;Return to;
Page type: student

Tara Estlin;Tara Estlin;Machine Learning Research Group;The University of Texas at Austin;Research;Control knowledge improves the performance of a problem solver by;guiding it to more efficient and accurate solutions. My research;involves using a combination of analytical and inductive machine;learning techniques to acquire this control information. I am;particularly interested in using such methods to improve the;performance of planning and scheduling systems. For more information,;I have included a detailed description of my;research, my vita, and a list of publications. Also, check out the;Machine Learning Research Group page.;Education; M.S. in Computer Science, The University of Texas at Austin, 1994.; B.S. in Computer Science, Tulane University, 1992.;Contact Information; Office:; Taylor Hall 5.152;Phone: (512) 471-9589; Email address:; estlin@cs.utexas.edu; Postal address:;The University of Texas at Austin;Department of Computer Sciences, TAY 2.124;Austin, TX 78712-1188;estlin@cs.utexas.edu;
Page type: faculty

Donald S. Fussell; Donald S. Fussell; Trammell Crow Regents' Professor; Department of Computer Sciences; Director - Advanced Technology Division; Information Technology Group; Applied Research Laboratory; member of; Computer Engineering Research Center; Department of Electrical and Computer Engineering; and; Texas Institute for Computational and Applied Mathematics; The University of Texas at Austin;Austin, TX 78712;Phone: (512) 471-9719;Fax: (512) 471-8885;e-mail: fussell@cs.utexas.edu;Information: http://www.cs.utexas.edu/users/fussell;B.A. in Mathematics and Social Science (1973);Dartmouth College;M.S. and Ph.D. in Computer Science (1977, 1980);University of Texas at Dallas; Areas of Interest; Computer Architecture; Computer Graphics; Database Systems; Design Automation; Fault-Tolerant Computing; Courses;;CS354 - Introduction to Computer Graphics;;CS384G - Computer Graphics; Journal Publications; Conference Publications; Research Groups; Work in Progress; Current and Former Students;