Computer Science

Bernstein, D. J. Bernstein, D. J.- University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking Borning, Alan Borning, Alan- University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. Bruce, Kim B. Bruce, Kim B.- Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes … Ariola, Zena M. Ariola, Zena M.- University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. Aiken, Alex Aiken, Alex- Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific… Ajmani, Sameer Ajmani, Sameer- MIT - Distributed systems, software engineering and security. Arun-Kumar, S. Arun-Kumar, S.- Indian Institute of Technology, Delhi - Semantics and Verification Almeroth, Kevin Almeroth, Kevin- University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. Agrawal, Divyakant Agrawal, Divyakant- University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, imag… Altenkirch, Thorsten Altenkirch, Thorsten- Ludwig-Maximillians University - Type theory, categorical logic, and program verification. Alpuente, María Alpuente, María- Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abs… USACM Committee Public Policy Office USACM Committee Public Policy Office- The web site for the ACM Committee on U.S. Public Policy (USACM) acts as the focal point for society's interaction with the U.S. Congress and… Association for Computing Machinery Association for Computing Machinery- International scientific and educational organization dedicated to advancing the arts, sciences, and applications of information technology. Advanced Computing for Science Advanced Computing for Science- Seeks to allow scientists to address complex and large-scale computing and data analysis problems beyond what is possible today. The department is … MIT Theory of Distributed Systems Group MIT Theory of Distributed Systems Group- MIT's Theory of Distributed Systems (TDS) research group works on a wide range of problems involving distributed and real-time systems. Th… University of Cambridge University of Cambridge- Computer Laboratory Systems Research Group is the largest research area in the Computer Laboratory covering hardware, communications hardware and software… The Distributed Group - LSI Dept. University of Seville The Distributed Group - LSI Dept. University of Seville- University of Seville research group with a focus on developing description languages and tools for dealing with the compl… SRI Secure Systems Research SRI Secure Systems Research- Research focus on authentication and secure collaboration in networked systems. Part of SRI International's Computer Science Laboratory. MIT Parallel & Distributed Operating Systems Group MIT Parallel & Distributed Operating Systems Group- This group's focus is to build and investigate software systems for parallel and distributed environments. They have conducted … The Lee Center for Advanced Networking The Lee Center for Advanced Networking- Research center at Caltech, supporting development of a global-scale wireless distributed computing system that connects people and applian… The Panic Lab Homepage The Panic Lab Homepage- The focus of our group is on Pervasive, Available, No-futs, Internet Computing (PANIC). Information and an archive of collected papers. Extreme! Computing Extreme! Computing- Indiana University Computer Science high performance distributed computing and grid computing lab. Distributed Systems Group - Technical University of Vienna Distributed Systems Group - Technical University of Vienna- The Distributed Systems Group in the Information Systems Institute of the Technical University of Vienna conducts teach… Distributed Computing Group Distributed Computing Group- The research interests of the group include: data structures and algorithms, distributed computing (e.g.: routing, file systems, and generally scalabi… Columbia University Columbia University- Distributed Computing and Communications Laboratory: This lab pursues experimental research of networked systems. Works to develop fundamental novel networkin… Columbia University Network Computing Laboratory Columbia University Network Computing Laboratory- Research in experimental software systems to make personalized computing ubiquitously available, anytime and anywhere. University of Texas Distributed Multimedia Computing Lab University of Texas Distributed Multimedia Computing Lab- Research focus includes file systems, media transmission protocols, and operating system support for multimedia networkin… Illinois Systems Research Group Illinois Systems Research Group- Research focuses include distributed operating systems, middleware, and agent-based computing. Horus Project Horus Project- Reliable distributed computing research in Cornell University computer science department. Has information on Ensemble, a publicly distributed toolkit based on Horu… MTA SZTAKI Laboratory of Parallel and Distributed Systems MTA SZTAKI Laboratory of Parallel and Distributed Systems- Computer and Automation Research Institute Research and consultation focusing on parallel and distributed software engin… Georgia Tech Systems Research Group Georgia Tech Systems Research Group- Research group in the College of Computing. Focuses include distributed operating systems, mobile computing, discrete event simulation, and cl… Caltech Parallel and Distributed Computing Group Caltech Parallel and Distributed Computing Group- Research group at California Institute of Technology. Focus includes fault-tolerant cluster computing. CMU Institute for Complex Engineered Systems CMU Institute for Complex Engineered Systems- Research focuses include high performance and high availability information systems. Home is in Carnegie Mellon's electrical and comp… ORNL Distributed Computing Project ORNL Distributed Computing Project- Oak Ridge National Lab has developed a world-wide reputation for its parallel and distributed computing research. Journal of Parallel and Distributed Computing Journal of Parallel and Distributed Computing- This international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have … Cluster Computing Cluster Computing- International peer-reviewed journal published by Springer. Papers covering parallel processing, distributed computing systems and computer networks are publishe… Concurrency and Computation: Practice and Experience (Journal) Concurrency and Computation: Practice and Experience (Journal)- Peer-reviewed articles covering concurrent solutions, algorithms, programming environments and applications. Publis… Distributed Computing Distributed Computing- The aim of this international journal is to provide a forum for original and significant contributions in the field of distributed computing. Table of conte… ACM Transactions on Computer Systems (Journal) ACM Transactions on Computer Systems (Journal)- Peer reviewed journal published four times a year. Wide coverage of distributed computing includes distributed system design, verif… Martin Bramleys Publications Martin Bramleys Publications- Repository for personal publications while researching in Distributed Application design. Papers include meeting response targets, distributed synchr… Requirements, Design Points and Recommendations for Conversational Distributed Protocols and Convers Requirements, Design Points and Recommendations for Conversational Distributed Protocols and Convers- In Scientific Emphasis proceedings. Paper and links to related material. Distributed Systems Engineering Distributed Systems Engineering- A quarterly journal covering practical engineering approaches to integrating subsystems into a distributed or networked system. Parallel Processing Letters (Journal) Parallel Processing Letters (Journal)- International peer-reviewed journal published four times a year by World Scientific. Publishes short papers covering parallel computations a… Bibliographies on Distributed Computing Bibliographies on Distributed Computing- Searchable collection of BibTeX bibliographies on distributed computing research. The Virtual Laboratory Project The Virtual Laboratory Project- Engaged in research, design, and development of Grid technologies that help in solving large-scale compute and data intensive science applications … American Scientist: Collective Wisdom American Scientist: Collective Wisdom- Article discusses the "early days" (pre-1998) of distributed computing projects, explains the basics of how they work and how to get them to… Gómez PEER Community Gómez PEER Community- Project pays select computer users to run a client that tests internet performance. Boitho Boitho- Boitho distributed crawler (BETA). Goal is to make a general internet search engine with a thumbnail picture of all the pages. SZTAKI Desktop Grid SZTAKI Desktop Grid- Currently searches for generalized binary number systems. Einstein@Home Einstein@Home- Uses a computer's idle time to search for spinning neutron stars (also called pulsars) using data from the LIGO and GEO gravitational wave detectors.