Our systems research focuses on building large prototype software systems that convincingly demonstrate novel design principles and implmentation techniques using realistic workloads.
- Operating systems
- Concurrency control. Storage systems. Virtualization. Transactions.
- Secure systems
- Mandatory access control. Information flow. Secure cloud computing.
- Real-time systems
- Resource scheduling, wireless control, virtualization, resource security, timing specification and semantics
- Distributed systems
- Replicated state machines. Fault tolerance. Gossip algorithms. Game theory. Failure detectors.
- Communication networks and protocols
- Network architecture and algorithms. Network measurement, management, and security. Network protocol design. Network applications and services. Social and information networks.
- Wireless networks
- Wireless mesh, vehicular, sensor, cognitive, and mobile social networks. Wireless network design, measurement, analysis, optimization, and management.
- CS 356 Computer Networks
- CS 372 Introduction to Operating Systems
- CS 372H Introduction to Operating Systems: Honors
- CS 378 Introduction to Wireless Networks
- CS 378 Advanced Computer Networks
- CS 380D Distributed Computing
- CS 380L Advanced Operating Systems
- CS 386M Communication Networks
- CS 386W Wireless Networking
- CS 386S Network Protocol Security
- CS 395T Topics in Networking Protocol Design
- CS 395T Operating Systems Implementation