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

Jason Hickey's Home Page;I am a graduate student at Cornell in the Computer Science Department,;under the supervision of Robert;Constable.;Here's a summary of my current status:;My interests include the theory and practice of programming languages.;There is a great resource at CMU under The;Fox Project Home Page, especially Mark;Leone's resources for programming language research.;My own work in programming languages is mainly software verification.;One of the tools I use for specification is type theory. I use the formal;system Nuprl,;developed here at the Cornell University;Department of Computer Science. In my research I make use of higher-level;modules and abstract data types, and relate them to type-theory.;Here are some recent papers:;Some papers I have published at Cornell;A bibliography of some papers I published;at Bellcore;I also have some slides of talks I have;given in the Nuprl seminar. The slides can be pretty technical, but they;give an overview of the work I've done at Cornell.;If you want to see more about me, try a sequence on identification.;Some interests I have include:;The Fine Arts. Here is a gallery;of mine. There are a lot of other resources for fine arts on the Web. Try;The Art Net Web, or;The FineArt Forum.;CUCS;Hockey;Backcountry. Take a look at The;Backcountry Home Page.;I perform a few services for the department:;Publicly-maintained;Software Czar;;Hockey and hockey-equipment czar. Go back to Hockey;for more info.;Theatre czar. Here is the schedule for;the Cornell Center for the Theatre Arts.;
Page type: student

Karl-Friedrich Böhringer;Karl-Friedrich Böhringer;M.S. (Cornell University, 1992);Dipl.-Inform. (TU Karlsruhe, 1990);Graduate Student;Cornell University;Dept. of Computer Science;4157 Upson Hall; Ithaca, NY 14853, USA; Tel: (607) 255-1164; Lab: (607) 255-2329 ext. 501; Fax: (607) 255-4428; Email: karl@cs.cornell.edu;My current research interests are micro robotics, manipulation, and;assembly.;At the Cornell Nanofabrication;Facility I am building;microfabricated actuator arrays;that implement;micro manipulation strategies.;More generally I am interested in;new devices for handling and;assembling parts,;and manipulation strategies with;programmable force vector fields.;I have also investigated;design automation for micro structures.;Earlier work at the;University of Karlsruhe,;Germany, has included the development of better;graph layout algorithms.;My thesis advisor is Professor;Bruce Donald,;who is one of the founders and directors of the Cornell;;Computer Science Robotics and Vision Laboratory.;My project is in close collaboration with Professor;Noel MacDonald;and his;research group.; Publications and Other Documents.; Conference Announcement and Call for Papers.; Animations and Videos; Micro Sculptures; The; Invisible Cantilever;A microfabricated model of; Frank Lloyd Wright's Fallingwater.;; See the articles in the; New York Times Magazine; (March 10, 1996, p. 21) and; Wired; (4.10, October 1996, p. 41).;If I am not in my office or the;Nano Lab, I may be working out;in our Tae Kwon Do club,;or you may find me at the Lindseth;climbing wall.;Navigate through my pages:; previous page; higher level; deeper level; next page;karl@cs.cornell.edu;
Page type: student

Welcome to my Home Page;Kartik Kapadia;Master Of Engineering;Class of 1996;Department of Computer Science;Cornell University;Ithaca, NY 14850;Home Address:;10623 Dabney Drive, Apt. 38;San Diego, California 92126;Phone: (619) 689 8804 (Home); (619) 651 2063 (Work);Fax: (619) 658 3292;E-Mail:;kkapadia@qualcomm.com;Currently I am working as a Software Engineer for Qualcomm Incorporated;My main areas of interest are Computer Graphics, Distributed Systems and Computer Networking.;Courses I took in Spring 1996;Distributed Systems : CS514;Computer Graphics : CS417-CS418;Architectures of High Capacity Information Networks : EE546;Courses I took in Fall 1995;Operating Systems : CS414-CS415;Multimedia Systems : CS631;Software Engineering : CS501;Projects;HOCA - An Operating system for CHIP;HOCA (pronounced hodja) is a full-fledged operating system for CHIP (Cornell Hypothetical Instructional Processor). It supports features like Multitasking and Virtual Memory.;Hogman - An enjoyable game for a quick break at work.;Hogman is single player game for the X Windows platform. It is coded in C++ interfaced with Tcl/Tk (for the GUI). Hogman is a good source of entertainment while taking a break at work.;Click here to see a screenshot of the gameboard.;Click here to see a screenshot of the help screen.;Click here to view a postscript of the design document.;Scene transition effects for Rivl;Rivl stands for `Resolution Independent Video Language'. Rivl was developed at Cornell University by Jonathan Swartz and Brian Smith. It is an excellent language for developing Multimedia applications. My project was to enhance Rivl by incorporating primitives for implementing scene transition effects.;Click here to see a presentation.;Simulation of a Railroad System (Master of Engineering project);The visualization captures the scientific aspects of laying tracks, vehicle modeling and the dynamics of motion. The Graphics are coded using a combination of Open Inventor and OpenGL and are interfaced with the Virtual Reality facility at Cornell; Click here to view a postscript of my Resume;Some of my favorite Web Sites:;All your favorite stars...;Some cool mpeg clips...;Lots and lots of music...;Some cool graphics for your web page...;Last updated 01/30/96;
Page type: student

if i publish it, it is true.;some of my writings;i've not had much published, but i have written some things i'm proud;of. some of them have been flames of mine, and others have been more;thought out. as a conscientious objector to all armed conflict, my;first published letter was published in the grand rapids press a few;years back during the gulf war. since that time, however, i've;started keeping more of my work online.;lest you wonder, i also do write poetry and other things. but i'd;probably rather be famous as an essayist anyhow--i like to argue.;so here's some of my writings:;there's a dreadful mess going on in byron center, which is a;suburb 5 miles from where i went to high school. so i wrote a letter.;the unabomber suspect was a mathematician. so all mathematicians;are suspected terrorists? i don't think so...so i wrote a letter to the editor of my newspaper.;my most widely read letter
Page type: student

Kaz's Homepage;Kazushi Ota;kota@cs.cornell.edu;kazushi@ok.cow.melco.co.jp;I'm currently a Master of Engineering student in;Computer Science at Cornell;University. I received my BS in EE at the University of Tokyo, way back in March 87.;I work for Mitusbishi Electric Corporation in;Japan,;and this is where I'll return after I get my degree.;For what it's worth, this page is;under construction;, but then again, so am I.;This homepage started as an assignment (to get acquainted with html) for;CS 720,;the Cornell CS department Information Superhighway course.;This homepage will get more interesting as I try to get some PICTURES;and MUSIC in it.; Moving Sale coming your way!;I'll be taking off to Japan in February. There are a lot of things I want to sell, so I think I'll advertize them; HERE...;Up to the Cornell Computer Science People Page;
Page type: faculty

Faculty Research Interests: Dexter Kozen;Dexter Kozen;Joseph Newton Pew, Jr. Professor in Engineering;PhD, Cornell University, 1977;Research Interests;My research interests include algorithms and complexity, especially;complexity of decision problems in logic and algebra, and logics and;semantics of programming languages.;Papers Available Online;Kleene algebra |;set constraints |;type inference |;computational algebra;automata theory |;algorithms and complexity |;logic;Bibliography;list of all publications |;Cornell technical reports;Course Notes;CS212, Structure and Interpretation of Computer Programs;CS481, Automata and Computability Theory;Fun Stuff;Family pictures |;Rugby |;The Effect;Computer Science Department;Upson Hall;Cornell University;Ithaca, New York 14853-7501, USA;kozen@cs.cornell.edu;(607) 255-9209 work, (607) 257-4579 home, (607) 255-4428 fax;
Page type: staff

Home page of Christoph Kreitz;My own picture soon; Christoph Kreitz; Research Associate; Department of Computer Science; Cornell University; Ithaca,; NY 14853; USA;Office:;Phone:;Fax:;Email:; 4159 Upson Hall;++ 1 (607) 255 1068; ++ 1 (607) 255 4428; kreitz@cs.cornell.edu;Research Topics:;; Program Synthesis;; Automated Deduction and Type Theory;; Theory of Computation; Teaching and Learning (German):; Lehre und Lernen; Vorlesungsskripte; Medienunterst&uumltztes Lehren; This is my personal home page. More information will be available soon.;Last modified:;November 6, 1996;Christoph Kreitz /; t>kreitz@cs.cornell.edu;SOME LINKS;
Page type: student

Lidong Zhou's Homepage;;Welcome to;Lidong Zhou's Homepage;;Department of Computer Science;Cornell University;Ithaca, NY 14853-7501;Tel: (607) 254-5075 (o); Fall 96 Courses; CS 601 -- System Concepts; (only locally accessible); CS 631 -- Multimedia System; Research Related Materials; SIGOPS 96 Papers; OASIS from Cambridge; DEC SRC Research Reports;; Adage -- Authorization for Distributed Applications and Groups;; The ARA Project; Low Level Security in Java; Safe Internet Programming; Legion; Project Sirac; The Kerberos Network Authentication Service;; Massively Distributed Systems from IBM; Ocaml Homepage;Advanced materials on Internet and WWW; A Standard for Robot Exclusion; Computer and Network Security;Career WWW Documents;; Cornell Career Opportunities;; JobTrak;; College Grad Job Hunter;; Job opening in CS(For Ph.D.'s);; Career Center Online/Job Services; CareerMosaic Page; JobWeb Home Page; Career Mag; XJOBS Page; My Friends' Homepages; Yingjun Yu; Fudan 8924 classmates; Friends at Cornell; Information Resourses;; Tutorials on Computer languages and Tools; Big Yellow Book; Cornell ISSO Homepage; CND; SUNRISE; Chinese Soccer World;; Edmund's Automobile Buyer's Guides;; AutoSite--- The Ultimate Auto Buyers Guide;; Auto insurance Basics;; Legal Survival Guide; Other Links; Travel Agencies;Rank of CS departments; How to Succeed in Graduate School; Fudan Homepage; Back to Index;Last updated on Nov. 4, 1996;This homepage is under construction.;
Page type: faculty

Lloyd N. Trefethen;Lloyd N. Trefethen;Professor;LNT@cs.cornell.edu;My appointment at Cornell is in the;Computer Science Department.;I am also affiliated with the;Center for Applied Mathematics,;the Department of Mathematics,;and the;Cornell Theory Center.;My field is numerical analysis / scientific computing; I have;a personal view of what this means.;Specific interests include numerical linear algebra, numerical;solution of PDE, numerical conformal mapping, approximation theory,;and fluid mechanics. In recent years much of my work has;been related to non-normal matrices and operators, that is,;matrices and operators whose eigenvectors are not;orthogonal, and applications.;Textbooks;Finite Difference and Spectral Methods (ODE/PDE textbook);Numerical Linear Algebra (textbook by Trefethen and Bau, SIAM, 1997);Recent papers;MultiMATLAB: MATLAB on multiple processors;Matrix iterations: the six gaps between;potential theory and convergence;Pseudospectra of linear operators;Some other recent papers;Other items;Classic papers of numerical analysis;Curriculum vitae;Pseudospectra bibliography;$100;bet with Peter Alfeld;Current PhD students (at Cornell);Vicki Howle;Guðbjörn Jónsson; Yohan Kim;Divakar Viswanath;Previous PhD students (at MIT and Cornell);Jeff Baggett;Toby Driscoll;Alan Edelman; Louis Howell; Walter Mascarenhas;Noel Nachtigal;Satish Reddy; Kim-chuan Toh;Some other colleagues;Jim Demmel;Anne Greenbaum;Martin Gutknecht;Des and;Nick Higham;Anne Trefethen;Andre Weideman;
Page type: student

Yu(Lucy) Wu's Home Page; Lucy Wu;; Welcome.;I am a M.Eng. student at the;Computer Science Department; of Cornell University,;Ithaca, NY.;My interested computer topics are networks, distributed systems, programming;language, internet applications, etc.; Hobbies: Tai-Chi, ping-pong, badminton, swimming, travel, photograph, reading and music.; Resume; $Whiz -; Stock Search and Analysis Tools(M.Eng Degree Project);Spring 1996 Classes; CS514 Practical Distributed Computing;;CS515 Practicum in Distributed Systems; CS432 Database Systems; NBA600 Database Management;;Fall 1995 Classes;;CS414 Operating System;;CS501 Software Engineering;;CS631 Multimedia Systems;Contact?; 818-796-6546;yuwu@cs.cornell.edu;;My Favorite Web Sites;Hot software stuff;Java!; The Sun Spring Systems; CORBA; OMG Home Page; Silvano Home Page; GUI; TCL/TK;CGI; HTML and WWW; VRML; Object Oriented Language; Database Language; Operating Systems;;Network; Network Management; Bay Network Products; Server and Security;PC Lube and Tune; Internet; IPng;IP_ATM;Computer Company; Netscape; Business@Web; SAP; I-Cube; SCO; Sapient; Sun; Microsoft; Novell;;China; China/Chinese-Related Web Sites; Chinese Stuff;;Misc.; JOBTRACK; IRS; CNN News; The Artvark Gallery; MTV; Internet Underground Music Archive;;Personal Connections; Cornell Library Catalog; Travelers Mail; Sunlab; Caltech CCO;
Page type: student

Linda Wu Home Page at Cornell University;Linda Wu;lxwu@cs.cornell.edu;I am a Master of Engineering student in Computer Science Department at Cornell Univsersity. I received my B.S in EE from University of Massachusetts at Lowell in 1992. Since then, I worked at Digital Equipment Corp. and Banyan System Inc. My main research interests are networking and mulitimedia.;Click here for Resume;;Projects; Native ATM protocol stack on Windows NT; Using Multicast Group for Layered Video; Electronics Commerce -- Kramer Mart;Courses;Fall '96;CS414 and CS415 Operating System;CS519 Engineering Computer Networks;CS631 Multimedia;Photoes;Useful links;
Page type: course

CS 681 Fall 1995;CS 681 Fall 1995;Professor: Monika Rauch Henzinger;Email: mhr@cs.cornell.edu; Course Information;Homeworks: 1; 2; 3; 4; 5; 6;Solutions: 1; 2; 3; 4; 5;Lectures:; Lecture 1: Graph Exploration; Lecture 2: Greedy Algorithms; Lecture 3: Matroids; Lecture 4: Matroids; Lecture 5: Dijkstra's Algorithm; Lecture 6: Bellman-Ford's Algorithm; Lecture 7: Matrix Closure; Lecture 8:;Binomial Heaps; Lecture 9:;Binomial Heaps; Lecture 10:;Fibonacci Heaps; Lecture 11: Treaps; Lecture 12: Randomized;Search Trees; Lecture 13:;Union-Find; Lecture 14:;Union-Find; Lecture 15:;Union-Find; Lecture 16:;MaxFlow; Lecture 17:;MaxFlow MinCut Theorem; Lecture 18:;MaxFlow: Edmonds-Karp Algorithms; Lecture 19:;MaxFlow: Dinitz'Algorithm; Lecture 20:;MaxFlow: Preflow Push; Lecture 21:;MaxFlow: Preflow Push; Lecture 22:;MaxFlow: Dynamic Tree Implementations;
Page type: faculty

Monika Henzinger Homepage;Monika Rauch Henzinger;Assistant Professor;Computer Science Department;Cornell University;Ithaca, NY 14853;Email: mhr@cs.cornell.edu;Phone: (607) 255-1068;Fax: (607) 255-4428;Currently on leave at:;Digital Equipment Corporation Systems Research Center;Homepage;Research Interests;Combinatorial and Graph Algorithms,;especially Dynamic Graph Algorithms and Randomized Data Structures; Graph Theory;;Data Structures; Lower Bounds.;13~; Recent Publications; Dynamic Graph Algorithms Project Page;Program Committees: STOC'96 ,; SODA'97; Homepage of CS 681 (Fall 95);
Page type: student

Min (Stanley) Huang's Home Page; Min (Stanley) Huang;Master of Engineering Student;mhuang@cs.cornell.edu;317 Sheldon Court;Cornell University;Ithaca, NY 14850-4666;Tel: (607)253-7820;Master of Engineering(M.Eng.), Computer Science, Cornell University. class of '96.;Bachelor of Science(B.S.), Computer Science, University of Kentucky, Kentucky.;Areas of Interests;Operating Systems;Distributed Systems;Database Systems & Information Retrieval;Graphical User Interfaces;Other Interests Movie, Tennis, Horse_Back Riding, Travel, Reading.;I am working on my M.Eng. Project Distributed Computing in Plan9 with my;advisors Werner Vogels; and Robbert;van Renesse. Objective of the Project is to integrate Horus into Plan9.;Here are a few links related to the Project.;Plan9;Plan9 distribution;Plan9 Update;Plan9 FAQ;Horus;CS514 Final Exam Paper Collection -- Distributed Shared Memory;Distributed Shared Memory;Some Technical Papers I am interested in:;Group and Communication;Snapshot;U-Net: A User-Level Network Interface Architecture;JOBS;Career Path;Bay Area Jobs;CybeRezumes;Career Opportunities;Useful stuff;Technical Paper Fielded Search;Bell Labs;SP2;Bsd-Sources;Java;RFC;Last Modified Fri Oct 12, 1995; Min (Stanley) Huang / mhuang@cs.cornell.edu;
Page type: student

Lynette Millett's Homepage;Lynette I. Millett;Department of Computer Science;Cornell University;Ithaca, NY 14853; millett@cs.cornell.edu;"As the most participatory;form of mass speech yet developed, the Internet;deserves the highest protection from governmental intrusion."; --from;the decision in "ACLU v. Reno" CDA Challenge.; Script of the second-year skit for the 1995 CUCS holiday party.; Personal information.; A few pictures of our cats. Last updated: 4 Oct. 1996;A list of personal homepages;A very old list of links;"I myself have never been able to find out precisely what feminism is; I;only know that people call me a feminist whenver I express sentiments that;differentiate me from a doormat or a prostitute.";-- Rebecca West, 1913;Last modified: October 22, 1996.;Comments welcome.;For a copy of my pgp public key, please look; here.; millett@cs.cornell.edu; Copyright 1996 Lynette I. Millett;
Page type: student

Mishaal's Home Page;Mishaal's Home Page;Hi, I'm a Kuwaiti student at Cornell University. I'm in the Master's of Engineering in Computer;Science program (MEng;CS). I graduated with a double major in Electrical Engineering and;Computer Science from;Worcester Polytechnic Institute in;Worcester, MA.; The coolest place on Earth; Here's a list of stuff I'm involved or interested in:;Temporary Link to Cornell Services (BearAccess Menu);Links to courses I'm taking:;CS664 Machine Vision | Newgroup;EE546 High Capacity Networks | Newgroup;NBA600 Database Management | Newgroup;Optimal Video Transmission(MEng Project) | CMT Extension; Kuwait Home Page;My Resume;Check stock quotes;Cooler Links:;My Public WWW Server (hope to offer CoNote soon :); Weather in Ithaca; CNN for the latest news; Cannes International Film Festival; Everything is wrong; The reason why I want to be a kid again!; Ever been accused of being a nerd? Well, now you can be sure.;| Home;| Interests;| Cool Links;| CS Home Page |;© 1995 Mishaal Almashan;mishaal@cs.cornell.edu;Cornell University;
Page type: student

Nikos' Home Page;; Research;;Nikos Pitsianis; 5151 Upson Hall; Dept of Computer Science; Cornell University; Ithaca, NY 14853; 607 255 3042 work, 607 255 4428 fax; 607 277 8219 home;nikos@cs.cornell.edu;; Publications;;; Lectures;;; Teaching;; Java;; Vita;;; Pointers;;;Since May 4, 1996: You are visitor number;
Page type: project

WELCOME TO PREMA - PARALLEL RUNTIME SUPPORT SYSTEM; PREMA: Portable Runtime Environment for Multicomputer Architectures; PREMA: Portable Runtime Environment for Multicomputer Architectures; Advanced Computing Research Institute, Cornell Theory Center, Cornell University;Overview; Prema is a runtime support system for parallel compilers and;problem solving environments that target scientific computing;applications. Prema is build on top of PORTS (Cornell implementation) and is designed to run on a variety of MPP and SMP computers. PREMA suppots:; global address space memory model; data and task parallel programming models; multi-threaded style of execution;; automatic work-sharing mechanism (dynamic load balancing); Papers;;Multithreaded model for dynamic load balancing parallel adaptive PDE;computations. Nikos P. Chrisochoides, CTC95TR221,;Journal of Applied Numerical Mathematics 6(1996) pp 1--17, 1996.;Related Research;;PORTS, Portable Runtime Systems Group;;PCRC , Parallel Compiler Runtime Consortium; Copyright &copy 1995 Nikos Chrisochoides (nikosc@cs.cornell.edu);
Page type: student

Induprakas Kodukula's Home Page;;;Induprakas Kodukula;710, Engineering and Theory Center;Cornell University;Ithaca, NY 14853;Res: (607) 256-1903;Off: (607) 254-8833; prakas@CS.Cornell.Edu;I am a Ph.D student in the department of; Computer Science at; Cornell University. Prior to;that, I did my undergraduate in Computer Science at; IIT Madras .;At Cornell, I work in the;Bernoulli group;with;Prof Keshav Pingali .;Other members of my group are;Nawaaz Ahmed,;Vladimir Kotlyar,;Vijay Menon and;Paul Stodghill.;I am also affiliated with the;Advanced Computing Research Institute and the; Cornell Theory Center .; Research;My work centers on the interplay between applications, compilers and runtime systems for traditional and;multiprocessor architectures. The applications are derived from;scientific computing, image processing and multimedia. My co-op with;IBM's VLIW group has;interested me in computer architecture as well.; Talks; I've given a series of talks on dense compiler technology.;The first talk at;HP Chelmsford, in Feb '95 was;about the necessity to deal with imperfectly nested loop;transformations to be able to handle non trivial code.; I presented a framework;for performing imperfectly nested loop transformations at the Loop;Parallelization seminar in Schloss Dagstuhl in April '96.; In summer '95, I presented a talk at IBM Watson regarding the use;of loop transformations in a VLIW compiler.; In October '96, I presented a talk at HP Labs (Palo Alto) regarding;Data-centric Multi-level Blocking.; Teaching;I taught Systems Programming and;Operating Systems (CS414) in the summer of 1996.; Projects; Other;I (aka GNU Czar) install, maintain and support packages available;under the GNU General Public License on the CS department;machines. Check out the CS GNU home and;find handy tips to be able to do all this on your own! You can also;find extensive info on all the packages I support.;; Random Links;; Personal page; Under construction..;
Page type: faculty

Praveen Seshadri: Home Page; Praveen Seshadri;Assistant Professor;Computer Science Department;Cornell University.;4108 Upson Hall;Ithaca, NY 14853, USA;Office: (607)255-1045 FAX: (607)255-4428;;Advanced Database Systems : CS 537 : Fall 1996;;The PREDATOR DBMS Project : "End ADTs as we know them";;The Case for Enhanced Abstract Data Types (SIGMOD 97 submission);Professional;;Publications;;The SEQ project (time to put your database in order);;Management of Sequence Data: postscript of my PhD. thesis (in a 94 page tree-saving format).;Personal;513 Warren Road;Ithaca, NY 14850;(607)257-7412;;Ranjani Ramamurthy;;Green Bay Packers;
Page type: student

Ralph Benzinger;Ralph Benzinger;Wer sich auf seinen Lorbeeren ausruht, trägt sie an der;falschen Stelle.;The story so far ...; Exchange student from the; University of Karlsruhe,; Germany; German B.Sc. in; Computer Science; in August 1995; Fellow of the Studienstiftung des deutschen Volkes; Fulbright fellow; Member of the Siemens; Internationaler Studentenkreis; CTY alumnus;At Cornell ...; Graduate student at the; Department of Computer Science; Courses taken:;; Advanced Programming Languages; Design and Analysis of Algorithms; Reasoning about Knowledge;;Contact information ...; E-mail:; ralph@cs.cornell.edu; Office: 4132 Upson Hall; Phone: (607) 255-1179;More ...;
Page type: student

S Ravi Kumar; S Ravi Kumar; Department of Computer Science; Cornell University; Ithaca , NY 14832-7501.;(607) 255-1158; ravi@cs.cornell.edu; Program Checking:; Approximate checking of polynomials and functional equations ,; 37th IEEE Foundations of Computer Science,; October, 1996.; [ Funda Erg&uumln ,; Ronitt Rubinfeld ]; Efficient self-testing/self-correction of linear recurrences ,; 37th IEEE Foundations of Computer Science,; October, 1996.; [ D. Sivakumar ]; On self-testing without the generator bottleneck ,; 15th Foundations of Software Technology and Theoretical Computer; Science, LNCS 1026,; pp. 248-262, December, 1995.; [ D. Sivakumar ];; Learning Theory:; On learning bounded-width branching programs ,; 8th ACM Conference on Computational Learning Theory,; pp. 361-368, July, 1995.; [ Funda Erg&uumln ,; Ronitt Rubinfeld ];; Combinatorics:; Approximating latin square extensions ,; 2nd Conference on Computation and Combinatorics, LNCS 1090,; pp. 280-289, June, 1996.; [ Alexander Russell ,; Ravi Sundaram];; Parallel Processing:; Scalability study of the KSR-1 ,; 22nd International Conference on Parallel Processing,; pp. I:237-240, August, 1993.; [ Jeyakumar Muthukumarasamy ,; Umakishore Ramachandran ,; Gautam Shah ];;
Page type: faculty

Ramin Zabih's Home Page;Ramin Zabih;Assistant Professorrdz@cs.cornell.edu;607 255 8413;607 255 4428 (fax);ResearchMy research interests lie in Computer Vision and Multimedia. I am currently interested in;constructing a search engine for images, using some new methods we have developed. I've recently been thinking about the economic impact of freely available pricing information on the;Web. My essay on this subject appeared in Phil Agre's electronic newsletter The Network Observer in;March 1996.;StudentsI work with PhD students Jing Huang, Vera Kettnaker and Olga Veksler. I also spend a fair amount;of time with various undergraduates, principally Greg Pass and Justin Voskuhl. Other undergraduates;include Scott Cytacki, Justin Miller and Rob Szewczyk.;PublicationsMost of these publications are available in postscript or in PDF (acrobat) format. Free PDF readers;for a variety of different architectures are available from Adobe.;Histogram Refinement for Content-Based Image Retrieval, Greg Pass and Ramin Zabih. IEEE;Workshop on Applications of Computer Vision. Sarasota, Florida, December 1996.;Comparing Images Using Color Coherence Vectors, Greg Pass, Ramin Zabih and Justin Miller. Fourth;ACM Conference on Multimedia. Boston, Massachusetts, November 1996.;Feature-Based Algorithms for Detecting and Classifying Scene Breaks, Ramin Zabih, Justin Miller;and Kevin Mai. Third ACM Conference on Multimedia. San Francisco, California, November 1995.;Non-parametric Local Transforms for Computing Visual Correspondence, Ramin Zabih and John;Woodfill. Third European Conference on Computer Vision, Stockholm, Sweden, May 1994.;TeachingI am currently teaching CS100B, an introduction to computer programming. In the Spring I will;teach CS664, a course in computer vision. If you are interested in that course, there are scribe notes;from my lectures available on the web page. I have also taught CS212, an introduction to computation;and programming.;Professional ActivitiesI am on the program comittee for CVPR-97, the IEEE conference on computer vision;and pattern recognition, which will be held in San Juan, PR in June 1997. I am also on the organizing;committee for the IEEE Workshop on Content-based access of Image and Video Libraries, to be held in;conjunction with CVPR-97.;AcknowledgementsThis web page design is courtesy of Dan Huttenlocher; Last Updated: November 3, 1996;
Page type: staff

Richard S. Palmer;Rick Palmer; Senior Scientist / BEAM Technologies, Inc. / Ithaca, NY 14850;Visiting Scientist / Computer Science Dept. / Cornell Univ. / Ithaca, NY;14853;rick@cs.cornell.edu; Recent Talks (Slide shows) A talk;describing the uses of algebraic-topological chains for modeling;physical systems November 11,;1994 ARPA MADE Principal Investigator's meeting; Projects; Chain Models;;Modeling and Simulation Home Page; Online Tech Reports;Address; BEAM Technologies; 110 North Cayuga Street; Ithaca NY, 14850; (607) 273-4367; and;; Department of Computer Science; Cornell University; Ithaca, NY 14853; Tel: (607) 255-9210; FAX: (607) 255-4428;; My Home Page; Rick Palmer / rick@cs.cornell.edu;
Page type: faculty

Ronitt Rubinfeld : HomePage;Ronitt Rubinfeld;I am an assistant professor at the;Cornell Department of Computer Science.;Some recent;papers and talks;Courses:;;; 6.893 Randomness and Computation Spring 1996 (at MIT);; CS 681 Fall 1996;; Engineering 150 Fall 1996;Graduate Students:;;Funda Ergun;;S Ravi Kumar; cv;Computer Science Fair homepage; Hal Wasserman's web page describing work/researchers in the area of; result-checking;Address;Ronitt Rubinfeld;Computer Science Department;5137 Upson Hall;Cornell University;Ithaca, New York 14853;telephone: (607) 255-1146;fax: (607) 255-4428;email: ronitt@cs.cornell.edu;Pictures of my new nephew,;Eitan Rubinfeld,;1;2;
Page type: staff

Roy Friedman;Roy Friedman;Post-Doctoral Associate, Cornell University;roy@cs.cornell.edu;I am a post-doctoral associate in the;Department of Computer Science;at;Cornell University.;I am working with;Ken Birman and;Robbert Van Rennesse;in the area of distributed systems, mainly on the;Horus project.;I received my D.Sc. from the;Department of Computer Science at the;Technion - Israel Institute of Technology.;My advisor was;Hagit Attiya, and my thesis title was;Consistency Conditions for Distributed Shared Memories.;I am currently also involved in the;Millipede project, working with;Assaf Schuster from the;Department of Computer Science at the;Technion - Israel Institute of Technology.;Most Recent Papers;R. Friedman and K. Birman.;Trading Consistency for Availability in Distributed Systems.; Technical Report 96-1579, Department of Computer Science, Cornell;University.;R. Friedman and K. Birman.;Using Group Communication Technology to Implement a Reliable and Scalable;Distributed IN Coprocessor.; To appear in TINA 96.;R. Friedman and A. Vaysburd.;Implementing a Replicated State Machine Over Partitionable Networks.; Technical Report 95-1554, Department of Computer Science, Cornell;University.;For a full list of publications, click;here;.;
Page type: staff

Daniela's Home Page; Daniela Rus; Research Associate / Computer Science; rus@cs.cornell.edu; A photograph;Address; 4154 Upson Hall; Department of Computer Science; Cornell University; Ithaca, NY 14853; Tel: (607) 255-5691; FAX: (607) 255-4428;; Modeling and Simulation Home Page; Recent Papers;CS version of my Online Tech Reports;Cornell Library Catalog;CS TR;CS Dept info;Design Research Institute;
Page type: staff

Robbert van Renesse;Robbert van Renesse;Senior Research Associate;Cornell University;rvr@cs.cornell.edu;I am a senior research associate in the;Department of Computer Science;at;Cornell University;in;Ithaca, NY.;I am working with;Ken Birman;in the area of distributed systems. My Ph.D. advisor was;Andy Tanenbaum.;Interests;My brand new baby girl!.;Our brand new house.;The Horus system.;The TACOMA project.;CAML/MMM Applets.;NYNET;The Ithaca Ageless Jazz Band.;The Ithaca Swing Dance Network.;Jazz.;Accordion.;Shareware.;Dutch Stuff;Cornell Dutch Club (contains many other links).;The USA and the Netherlands.;Dutch Jazz.;Ithaca;IthacaNet.;The Spinners Ithaca Market Place.;Papers;Software for Reliable Networks (Scientific American);Design and Performance of Horus: A Lightweight Group Communications System (html version).;Design and Performance of Horus: A Lightweight Group Communications System (GIF version).;A Framework for Protocol Composition in Horus.;Protocol Composition in Horus.;Incorporating System Resource Information into Flow Control.;Strong and Weak Virtual Synchrony in Horus.;Horus: A Flexible Group Communications System.;A Security Architecture for Fault-Tolerant Systems.;Support for Complex Multi-Media Applications using the Horus system.;Operating Support for Mobile Agents.;
Page type: faculty

Samuel Weber; Samuel Weber;Acting Assistant Professor;308 Upson Hall;Phone: 607-255-1051;Fax: 607-255-4428;Email: samuel@cs.cornell.edu;Currently, I am an Acting Assistant Professor at Cornell University,;and Assistant Director of the;Master's of;Engineering Program in Computer Science.; Research Interests;Software Design, Specification and Verification,; Programming Language Design and Semantics, Distributed Systems; Courses;CS 401/501 "Software Engineering: Technology and Techniques" (Fall 95);CS 100 "Introduction to Computer Programming" (Spring 96); Publications;; Weber and Bloom, "Metatheory of the Pi-Calculus",; Technical Report 96-1564,; Cornell University (submitted for conference publication).;; Weber, Bloom and Brown,;"Compiling Joy Into Silicon: a Formally Verified Compiler for; Delay-Insensitive Circuits", Technical Report 96-1566, Cornell;University (submitted for journal publication).;;Weber, "Process Algebras and Meta-algebras: Theory and Practice".; Ph.D. Thesis, Cornell University, August 1995; Weber, Bloom and Brown,;"Compiling Joy Into Silicon: An Exercise; in Applied Structural Operational Semantics,";REX Workshop on Semantics: Foundations and Applications 1992,; Bakker, Roever and Rozenberg, editors, Lecture Notes in; Computer Science vol. 666, Springer-Verlag, pages 639-659. 1993.; Weber, Bloom and Brown,; "Compiling Joy into Silicon: A Verified Silicon Compilation Scheme," In; T. Knight and J. Savage, editors,;Proceedings of the Advanced Research in VLSI and Parallel; Systems Conference, pages 79-98. 1992.; Amdur, Weber and Hadzilacos,;"On the Message Complexity of Binary Byzantine Agreement Under; Crash Failures," Distributed Computing 5, pages 175-186, 1992.;;Weber, "Bounds on the Message Complexity of Byzantine Agreement"; Masters Thesis, University of Toronto, September 1989.; Seshadri, Wortman, Weber, Yu and Small,;"Semantic Analysis in a Concurrent Compiler,";Proceedings of the ACM SIGPLAN '88;Conference on Programming Language Design and Implementation,;pages 233-240. 1988.; Samuel Weber (samuel@cs.cornell.edu);
Page type: student

Sean C. Landis;Sean Landis, Masters of Engineering, Computer Science;Welcome to my;Cornell Home Page.;Here is my resume.;My Cornell information is;here.;Current Courses:;Advanced Database Systems;CS 537;;Masters of Engineering Project, CS 790 - A 3D rendering system for Windows 95;Past Courses:;Machine Perception, CS 664. My final project was a system that analyzed;coloring book drawings. Click;here;for a 6MB postscript version of the project. Here is a sample drawing we;analyzed:;Topics in Computer Graphics, CS 718 - Content-Based Image Retrieval Systems for Interior Design.;;Masters of Engineering Project, CS 790 - A Windows-based 3D graphics rendering system.;Computer Graphics,;CS 417;;Computer Graphics Lab,;CS 418;Educational Interests:;;Computer Graphics;Windows NT;;C++;;Object Oriented Programming;;Object Oriented Design Patterns;Professional Interests:; I work for;Isis Distributed Systems, Inc., a division of;Stratus Computer, Inc.; I am project lead of the;Orbix+Isis; development team. Our product combines Orbix, a;CORBA compliant Object Request Broker from; IONA Technologies, Inc. with the;Isis SDK.;;I am currently working on release 2.0 of Orbix+Isis.;Personal Interests:;;Baseball, my favorite team is:;;Alpine Skiing;;Golf;;Playing Softball;;Baseball Card Collecting;I can be reached at:;scl@isis.com;Educational Rap Sheet:;Last modified: Sean Landis (scl@cs.cornell.edu), 9/17/96;
Page type: student

Seena K Cherangara; Seena K Cherangara;Master of Engineering;Class of 1996;Dept. of Computer Science;Cornell University;Welcome to my homepage;Currently I am an M.Eng student at the;Computer Science Department; at Cornell University in;Ithaca, NY.;I have my B.Tech degree in Computer Science and Engineering from the;College of Engineering,Trivandrum,;Kerala, INDIA.;Some information about the courses that I have taken at Cornell;University;Fall 1995;;CS414 Operating System;;CS415 Practicum in Operating System Project specification:;HOCA Operating System;;CS501 Software Engineering;;CS631 Multimedia Systems:Project: Post-Processing;Algorithms for JPEG Artifact Reduction;Spring 1996; CS417 Computer Graphics; CS418;Practicum in Computer Graphics :Project: Animation - The Magic Carpet; CS514 Distributed Systems; CS709 Computer Science Colloqium;Summer 1996; CS790 M.Eng Project: 3D Graphics Modeling in Java : Parametric Equation Viewer.;Click here to see a postscript version of my;Resume;201 Maple Ave, Apt#G10C, Ithaca, New York 14850;(607) 256-1859; seena@cs.cornell.edu; Last Update: June 5,;1996;
Page type: student

Eric Shim's Home Page;Welcome to Eric's Home Page;Eric Young-Sang Shim;Master of Engineering, Computer Science;Cornell University;The view of Cornell University....;Address : 502 Dryden Rd. #3;City : Ithaca, NY 14850;Phone: 607-256-7630; shim@cs.cornell.edu;For Korean version of my home page, click on;this;I have received my BS of Computer Science degree at;University of California, Irvine;studied;Information and Computer Science; My MENG Project Viewing System, Camera Transformation; My MENG Project Abstract;This is my final project for 3D computer graphics class;I love to ...;play following musical instruments ...;Acoustic Guitar ...;Piano ...; Keyboard ...;;listen to the musics by ....;;Stan-Getz ...; Antonio Carlos Jobim ...; John Coltrane ...; Miles Davis ...;Earl Klugh ...; Pat Metheny ...; Acoustic Archemy ...; Chopin ...;;watch the movies and the musicals ...;;Cinema Paradiso ...;;French Kiss ...;Les Miserable ...;Miss Saigon ...;Here are my favorite WWW pages!!!!!;Korea NEWS;Wants to know about Korean Graduate Student Association at Cornell???;Does anybody like JAZZ??? Check JAZZ out!;Interested in JAVA?;My cyberspace friends in HANA...;I will be working in MELCO....;When was the last time you went to the Movies????;My friends in the world!; Ra, Jung-Hwan;... He is my middle school friend back in 80's....; Victor Ha...; Kwan-Hong E!...;Jiyang Kang's Homepage...;Kwan! you can get it here!;This page has been accessed; times;since May 2, 1996; This Web-Page is still under construction!;My resume will be available in a near future !!!!;Also, This web page will have the Korean version of it soon!!!!;
Page type: student

S. Kenneth Li Home Page; S. Kenneth Li; The road of success is always under construction.;I'm a MENG from the; Electrical Engineering Department.;Since I'm working for Prof. Zabih of the; CS Department;, I have a place in the CS; Student Page;This is where I came from:; Engineering, University of Wisconsin-Madison; skl@ee.cornell.edu; skl@cs.cornell.edu; sli@sunlab.cit.cornell.edu; skl5@cornell.edu;
Page type: student

My autobiography;What's Up;Keep on lookin. There will be lots more information on this ultra cool home;page very soon.;Keep on lookin.;These home pages do take very long to setuup.;How are you doing;Ajay;Manish;Anuj;Mom and Dad;Department Of Computer Science;Search the Net;Entertainment Weekly;Cricket Ratings; Ashish Soni / sonia@cs.cornell.edu;
Page type: student

Sugata Mukhopadhyay's home page; Sugata Mukhopadhyay;;Welcome to my home page!; I am a graduate student in the Department of;Computer Science at Cornell University.;I am working on;Multimedia Systems with; Prof. Brian Smith.;I am married to the most wonderful person on earth, Ritu.;; Spring 1996; I am taking CS 516,;High Performance Computer Systems ; and;;CS 612, Compiler Design for High Performance Architectures.; I am also taking NBA 550, Advanced Option Pricing Theory.; I am the czar of the Work in Progress Seminar; Previous Semesters;;;;;;;;;;How to contact me;Home phone:;(607) 687 7786;Work phone:;(607) 255 1149;E-mail;sugata@cs.cornell.edu;Address:;Hichory Estates (11E);Owego, NY 13827;;sugata@cs.cornell.edu;
Page type: student

Kristen Summers; Kristen Summers; PhD Student, Cornell University; summers@cs.cornell.edu;5132 Upson Hall;607-255-5577; Research Interests;I work with the;Information Capture and Access;research group on document analysis. My;long-term goal is to provide support for;sophisticated electronic document manipulation;tools for indexing, browsing, linking, etc.;My primary interest is in discovering logical;structure in arbitrary electronic documents.;The goal is to take an electronic document;representation as input and return a hierarchy;of logical pieces of the document as output.;For example, given a scanned-in or postscript;version of a technical report, I would like to;be able to divide it into sections, paragraphs, etc.;Similarly, in a business letter, the address headings,;body, and closing should be identifiable.;This problem has two primary components:;segmentation;(dividing the document into logical pieces) and;classification;(categorizing the pieces).;It also raises the questions of evaluation;(previous work differs in descriptions of the correct hierarchy),;types of logical structures,;and theoretical limitations.;The task is relevant to two of Bruce Croft's;top 10;research issues for information retrieval;(in the;November;1995 issue of D-Lib Magazine):;number 5, "interfaces and browsing," and number 3,;"efficient, flexible, indexing and retrieval." Determining;logical structure enables flexible, hierarchical browsing; doing so;in a general way supports system flexibility and handling of;multiple document types.; Papers;Using Non-Textual Cues for Electronic;Document Browsing;Co-authored with Daniela Rus.;In Digital Libraries: Current Issues,;Nabil R. Adam, Bharat K. Bhargava, and Yelena Yesha, editors.;Chapter 9, pp. 129 - 162. Lecture Notes in Computer Science series.;Springer-Verlag, 1995.;Versions in:;;"Geometric Algorithms and Experiments for Automated Document Structuring,"; Mathematical and Computer Modelling, forthcoming.; "Using; White Space for Automated Document Structuring,"; Cornell University Computer Science Technical Report TR 94-1452.; Proceedings of the Workshop on the Principles of; Document Processing, Seeheim, 1994. (PODP '94);;Toward a Taxonomy of Logical Document Structures;Electronic Publishing and the Information Superhighway:;Proceedings of the Dartmouth Institute for Advanced Graduate Studies,;pp. 124 - 133, Boston, May 1995.;Donald B. Johnson Memorial DAGS Scholar;award for the best student paper, co-recipient.;Near-Wordless Document Structure;Classification;Proceedings of the International Conference on Document Analysis;and Recognition, pp. 426 - 456, Montréal, August 1995.;
Page type: student

Masafumi Suzuki;There would be an applet here if your browser suppoted Java;Masafumi Suzuki;suzuki@cs.cornell.edu;Classes;Fall 1994; OR&IE 516 Case Studies;OR&IE 520 Operations Research I: Optimization I;OR&IE 560 Engineering Probability and Statistics II;OR&IE 580 Design and Analysis of Simulated Systems;OR&IE 599 Project;Spring 1995;OR&IE 523 Operations Research II: Introduction to Stochastic Modeling;OR&IE 599 Project;CS417 Computer Graphics;CS418 Computer Graphics Lab;Summer 1995;CS410 Data Structures;Fall 1995;CS401/501 Software Engineering: Technology and Techniques; CS414: Systems Programming and Operating Systems;CS631 Multimedia Systems; -->Project report;ELE E 445 Computer Networks and Telecommunications;NBA 609, MIS POLICY;Spring 1996;CS432 Introduction to Database Systems;NBA-610:Thriving on the Information Revolution; --> Sector Web site;NBA 600, DATABASE MANAGEMENT;Independent Project:3D polygon display using Java --> Prototype;resume;
Page type: student

Jonathan Swartz's Home Page; Jonathan Swartz;swartz@cs.cornell.edu;I'm a Ph.D. student in the Department;of Computer Science at Cornell University. I spend a lot of my time here;developing;Rivl, a language for multimedia processing.;Here is my;address, phone number, etc.;A little humor to brighten your day;Jon's movie connection;Cool web sites;Last Modified: Mon Jan 16 14:40:10 EST 1995; Jonathan Swartz /;swartz@cs.cornell.edu;
Page type: course

cs611;CS 611: Advanced Programming Languages;Fall 1995;MWF 10:10-11:00, Upson 211.;Instructor:;Tom Henzinger;Upson 4105C, 255-3009, tah@cs.cornell.edu.;Office hours: after class, and by appointment.;Teaching assistant: Neal Glew;Upson 5162, 255-7421, glew@cs.cornell.edu.;Office hours: Tu 9:00-10:00, Th 2:30-3:30, and by appointment.;Handouts;Handout 0;(September 1): Course Information;Handout 1;(September 13): Getting Started with ML;Handout 2;(October 2): Meta-Lambda;Homeworks;Homework 0;(due September 13);[;solutions];Homework 1;(due September 22);[;solutions];Homework 2;(due October 2);[;solutions];Homework 3;(due October 16);[;solutions];Homework 4;(due November 10);[;solutions];Homeworks 5-6: Gries;Homework 7;(due November 20);[;solutions];Homework 8;(due December 1);[;solutions];Homework 9;(due December 8);[;solutions];Raw Notes;Raw notes 0;(September 1);Raw notes 1;(September 4,6);Raw notes 2;(September 8);Raw notes 3;(September 11);Raw notes 4;(September 13);Raw notes 5;(September 20,22);Raw notes 6;(September 25);Raw notes 7;(September 27,29);Raw notes 8;(October 2);Raw notes 9;(October 4);Raw notes 10;(October 6);Raw notes 11;(October 11);Raw notes 12;(October 13);Raw notes 13;(October 16);Raw notes 14;(October 20);Raw notes 15;(November 8,10);Raw notes 16;(November 13,15);Raw notes 17;(November 17);Raw notes 18;(November 20,22);Raw notes 19;(November 27,29);Raw notes 20;(December 1,4);Raw notes 21;(December 6);Scribe Notes;Lecture 0;(September 1);Lecture 1;(September 4);Lecture 2;(September 6);Lecture 3;(September 8);Lecture 4;(September 11);Lecture 5;(September 13);Lecture 6: Introduction to ML;Lecture 7;(September 18);Lecture 8;(September 20);Lecture 9;(September 22);Lecture 10;(September 25);Lecture 11;(September 27);Lecture 12;(September 29);Lecture 13;(October 2);Lecture 14;(October 4);Lecture 15;(October 6);Lecture 16;(October 11);Lecture 17;(October 13);Lecture 18;(October 16);Midterm;(October 18);[;solutions];Lecture 19;(October 20);Lecture 20;(October 23);Lectures 21-26: Gries;Lecture 27;(November 8);Lecture 28;(November 10);Lecture 29;(November 13);Lecture 30;(November 15);Lecture 31;(November 17);Lecture 32;(November 20);Lecture 33;(November 22);Lecture 34;(November 27);Lecture 35;(November 29);Lecture 36;(December 1);Lecture 37;(December 4);Lecture 38;(December 6);Lecture 39;(December 8);
Page type: faculty

Tom Henzinger;Thomas A. Henzinger:;I HAVE MOVED;Assistant Professor;Computer Science Department;Cornell University;Ithaca, NY 14853;Email: tah@cs.cornell.edu;Phone: (607) 255-3009;Fax: (607) 255-4428;Research;Formal support for the development and analysis of concurrent, real-time,;and embedded systems.;(Related research;at Cornell;and;worldwide.);Resume;Publications;Reactive modules:;a formal methodology for the analysis of concurrent systems;Real-time logics and timed transition systems:;a formal methodology for the analysis of real-time systems;Clock systems and timed automata:;more formal methodology for the analysis of real-time systems;Hybrid automata:;a formal methodology for the analysis of embedded systems;Bibliography: bibtex list of publications;Tools;HyTech: a symbolic model checker for linear hybrid systems;Courses;CS 611 (Fall 95): Advanced Programming Languages;Conferences;HYBRID 95: Verification and Control of Hybrid Systems;CAV 96: Computer-Aided Verification;Last updated on September 1, 1995.;tah@cs.cornell.edu;
Page type: student

Takako M. Hickey's Homepage; Takako M. Hickey;Email: takako@cs.cornell.edu;Office: 4157 Upson Hall;Phone: 607-255-1164;Fax: 607-255-4428;I am a Ph.D student in the Department of Computer Science at;Cornell University. I am co-advised by;Robbert van Renesse and;Fred B. Schneider.; Research Interests; Distributed Systems, Programming Environment, Resource Management; The Horus Project; Previous Life; Other Interests; Social Psychology; Backcountry; Hockey; Quotes; Last Modified: Wed Nov 1, 1996;
Page type: student

Úlfar Erlingsson's Page;Úlfar Erlingsson;;Specification;I'm Úlfar Erlingsson, a Ph.D. student in;Computer Science at;Cornell University.;Apart from this, I enjoy being a somewhat incongruous;Icelander.;Below you can link to some more information on me and what I'm all about.;Implementation;Background ;Where I'm coming from.;Current Activities ;What I'm up to at the moment.;Schedule ;Where I am at what times.;Research ;What real work I've got done.;Interests ;What I actually like doing.;Acquaintances ;Those I know.;Contact Info ;How to get in touch with me.;Please note:;These pages are often out of date.;In general assume that all disclaimers apply.;