Building Curve

Systems

Building innovative systems of sufficient realism, scale, performance and usability to directly impact the practice of computing is a hallmark of Carnegie Mellon.

We often use the statement “System building is a first-class activity” to signify our belief that this activity is worthy of the finest minds and deserves the highest respect. We also believe that the effort involved in building realistic systems is amply rewarded by the insights gained and the impact achieved.

A rich tradition of systems such as Mach, Warp, Camelot, AFS, Spice, Hydra, Cm* and C.mmp stretching over twenty-five years forms the backdrop for our current research.

 

Events

News

Enabling Developers to Write Provably Correct Software

Monday, November 18, 2024
Computer code is the foundation of technology today. As software becomes an increasingly pervasive part of our lives, we need ways to ensure that critical software systems remain free of certain classes of defects and vulnerabilities. CSD professors Bryan Parno, Marijn Heule and Ruben Martins along with Jeremy Avigad, a professor in the philosophy department, are focusing on just that.
More

Skarlatos Receives Intel Rising Star Faculty Award for Data Center Innovations

Wednesday, September 11, 2024
Dimitrios Skarlatos, an assistant professor in Carnegie Mellon University’s Computer Science Department, has received a 2024 Intel Rising Star Faculty Award. Presented annually, the $50,000 award recognizes early career faculty whose work has the potential to disrupt industries and facilitates long-term collaboration between academia and senior technical leaders at Intel.
More

CSD Faculty win two “Test of Time” awards at USENIX 2024

Tuesday, August 20, 2024
Matt Fredrikson, associate professor in the Computer Science Department and Software and Societal Systems Department (S3D), and Bryan Parno, professor in the Computer Science Department and Kavčić-Moura professor of Electrical and Computer Engineering, were honored with prestigious “Test of Time” awards during the 33rd USENIX Security Symposium.
More

Research Groups

Related Sites


Researchers Working in this Area

Last First Professional Title
Amvrosiadis George Associate Research Professor, Affiliated Faculty
Andersen David Professor
Beckmann Nathan Associate Professor
Benson Theophilus Professor
Brown Fraser Assistant Professor
Brumley David Professor of ECE, Affiliated Faculty
Crane Keenan Associate Professor
Faloutsos Christos Fredkin University Professor of Computer Science
Fanti Giulia Associate Professor, Affiliated Faculty
Ganger Gregory Professor, Affiliated Faculty
Garlan David Professor
Gibbons Phillip Professor
Gibson Garth Consulting Professor
Goldstein Seth Associate Professor
Harchol-Balter Mor Dr. Bruce J. Nelson Professor of Computer Science
Harper Robert Professor
Jia Limin Research Professor, Affiliated Faculty
Jia Zhihao Assistant Professor
Kumar Swarun Professor, Affiliated Faculty
Li Minchen Assistant Professor
Lucia Brandon Professor, Affiliated Faculty
Martins Ruben Assistant Research Professor
McAllister Sara Doctoral Research Assistant
Miller Heather Assistant Professor
Mowry Todd Professor
O'Hallaron David Professor Emeritus
Parno Bryan Professor
Patel Jignesh Professor
Pavlo Andrew Associate Professor
Rowe Anthony Professor
Saad Feras Assistant Professor
Satyanarayanan Mahadev Jaime Carbonell University Professor of Computer Science
Sekar Vyas Tan Family Professor of Electrical and Computer Engineering, Affiliated Faculty
Seshan Srinivasan Joseph Traub Professor of Computer Science; Department Head, Computer Science Department
Shaw Mary A. J. Perlis University Professor, Affiliated Faculty
Sherry Justine Associate Professor
Skarlatos Dimitrios Assistant Professor
Smith Virginia Assistant Professor
Steenkiste Peter Professor of Computer Science and Electrical and Computer Engineering
Vinayak Rashmi Korlakai Associate Professor
Wing Jeannette Adjunct Faculty
Zheng Wenting Assistant Professor
Subscribe to Systems