Carnegie Mellon University

Cmu.edu has 1,260 URLs listed in 476 Dmoz categories.

FOCS 2000
The 41st Annual Symposium on Foundations of Computer Science , Redondo Beach, CA, November 12-14, 2000.
http://www.cs.cmu.edu/~FOCS2000/
Top/Computers/Computer_Science/Conferences/2000

CMU Institute for Complex Engineered Systems
Research focuses include high performance and high availability information systems. Home is in Carnegie Mellon's electrical and computer engineering department.
http://www.ices.cmu.edu/
Top/Computers/Computer_Science/Distributed_Computing/Research_Groups

Blelloch, Guy
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
http://www.cs.cmu.edu/~guyb/home.html
Top/Computers/Computer_Science/People/B

Davies, Rowan
Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.
http://www.cs.cmu.edu/~rowan/
Top/Computers/Computer_Science/People/D

Gibson, Garth
Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.
http://www.cs.cmu.edu/~garth/
Top/Computers/Computer_Science/People/G

O'Hallaron, Dave
Carnegie Mellon University - Internet services and high-performance distributed computing.
http://www.cs.cmu.edu/~droh/
Top/Computers/Computer_Science/People/O

Bibliography on Logical Frameworks
450 references related to logical frameworks, which are formal meta-languages for deductive systems.
http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html
Top/Computers/Computer_Science/Publications/Bibliographies

Carnegie Mellon University Library Computer Science Bibliographies
An index to bibliographies on several subfields.
http://www.library.cmu.edu/Search/DB_ENGTECH.html
Top/Computers/Computer_Science/Publications/Bibliographies

On-line CS Techreports
List of 400 tech reports archives by institutions and countries (1996).
http://www.cs.cmu.edu/~jblythe/cs-reports.html
Top/Computers/Computer_Science/Publications/Document_Archives

Advice on Research and Writing
A collection of articles on how to perform and present research in the Computer Science field.
http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/how-to.html
Top/Computers/Computer_Science/Reference