CS Logo      
space
bar Information bar Events bar Admissions bar People bar Courses bar DegreePrograms bar Research bar Publications bar
space
design
space
Systems and Networking
space
CS Home » Research
space

Systems and Networking

Operating Systems Energy-Aware Computing Networking
Peer-to-Peer Systems Distributed Systems Cross-cutting Research

The Systems group at Cornell examines the design and implementation of the fundamental software systems that form our computing infrastructure. Below we give just a small representation of the varied systems work going on here, and invite you to visit the project and faculty web pages, as well as read the papers.

Operating Systems

Research on operating system kernels is less common than it used to be, but at Cornell we not only have been, but are still, highly active in this area. Fred Schneider built a replicated UNIX system using virtual machine technology (
SOSP 1995, ACM TOCS 1996). Emin Gun Sirer was an active participant in the design and implementation of the SPIN extensible operating system (SOSP 1995). Currently, Schneider and Sirer have joined forces on Nexus (OSDI 2008), a new operating system that exploits secure hardware to enable novel features not found in existing operating systems. Birman, Van Renesse, and Weatherspoon are currently working on multi-core extensions to the Linux operating system.
 

Energy-Aware Computing

A relatively new effort at Cornell is Energy Aware Systems. In the area of low-power sensor networking, Van Renesse has looked a power-aware epidemic protocols (SRDS 2002). Hakim Weatherspoon and his students are looking at designing datacenter storage systems that are frugal with energy use. The KyotoFS file system (HotOS 2007) is a log-structured file system. Using multiple disks, only the disk that stores the head of the log has to be spinning most of the time, leading to significant energy savings.

 

Networking

Computer Networks is another important research area at Cornell. Paul Francis, well-known for his invention of Network Address Translation (ACM SIGCOMM CCR 1993), is particularly interested in manageability and scalability of the Internet. For example, CONman (SIGCOMM 2007) significantly simplifies network management by disentangling the data plane and the management plane. Robbert van Renesse and Ken Birman have done extensive work on optimizing protocols stacks (SIGCOMM 1996, SOSP 1999). Andrew Myers and Emin Gun Sirer developed Trickles (NSDI 2005), a stateless network protocol stack. Ken Birman and Hakim Weatherspoon developed the Maelstrom network appliance (NSDI 2008), intended to efficiently link together datacenters connected by high-bandwidth, high-latency links using FEC codes.

 

Peer-to-Peer Systems

Cornell faculty has done extensive work in the Peer-to-Peer networking area, ranging from file sharing to media streaming to network monitoring. Paul Francis co-designed the CAN Distributed Hash Table (SIGCOMM 2001). Van Renesse and Birman developed the highly scalable Astrolabe network monitoring system (IPTPS 2002, ACM TOCS 2003), now used at a major e-retailer. Emin Gun Sirer has created a large number of P2P systems, including Octant (NSDI 2007), a system for geolocation of Internet hosts, and Corona, an Internet-scale Publish-Subscribe system (NSDI 2006). Van Renesse developed Fireflies, a Byzantine-tolerant P2P overlay network (Eurosys 2006). Weatherspoon designed and implemented the Antiquity system, a secure P2P storage facility (Eurosys 2007).

 

Distributed Systems
and Fault Tolerance

Cornell is particularly well-known for its work on fault-tolerant distributed systems. Fred Schneider's oft-referenced State Machine Replication tutorial is standard fare in systems courses around the world (ACM Computing Surveys 1990). Van Renesse and Schneider formalized and analyzed the Chain Replication paradigm (OSDI 2004). Ken Birman's ISIS system (SOSP 1985, SOSP 1987) has been extensively used in industry for building fault-tolerant systems. Currently, Birman and his team are developing Live Objects (ECOOP 2008, Middleware 2008), a new paradigm for building secure, self-repairing applications using drag-and-drop concepts. Robbert van Renesse is investigating various aspects of tolerating Byzantine failures (NSDI 2008, DISC 2008).

 

Cross-Cutting Research Areas

Besides the topics mentioned above, the systems faculty is also actively involved with cross-cutting technology such as
Security, Programming Languages, Computer Architecture, and even Theory. Click on these links and explore further.

Researchers

Ken Birman
Distributed computing, fault-tolerant network systems, distributed systems security, large-scale network applications.

Paul Francis
Network management, network routing, high-performance transport, unwanted network traffic.

Andrew Myers
Programming languages, security, mobile code, persistent and distributed objects.

Fred B. Schneider
Distributed systems security and fault-tolerance, mobile code, concurrent programming, secure OS.

Emin Gun Sirer
Operating system support for ad hoc networks, peer-to-peer systems, self-organizing overlays, networked services and extensible systems, secure OS.

Robbert van Renesse
Distributed computing, peer-to-peer networking, scalability, fault tolerance, adaptive networking.

Hakim Weatherspoon
Distributed computing, large scale storage systems, energy-aware computing, operating systems.


Related Links

Architecture
Programming Languages
Security
Systems Lunch Seminar
CSL


space
bar
bar
[ About Us · Contact Us · Feedback · Site Map ]