Learn about our computer systems research.
See our publications, hardware, and software.
See who we are
abstract is the research group of Asst. Prof. Brandon Lucia in the department of Electrical and Computer Engineering at Carnegie Mellon University. Our group does research at the intersection of computer architecture, computer systems, and programming languages. Our research focuses on improving the programmability, reliability, and efficiency of computing devices and systems. Our work cuts across the layers of the system stack, from the microarchitecture to the application, often touching on everything in between.
Our group does research into computer systems. We are currently focusing on two broad areas: Intermittent and Energy-harvesting computing, and Reliable and Efficient Parallel Systems.[Github Organization][Full publication list]
We are working to define the system stack for intermittent computing devices, like ones that harvest energy from their environment. Our goal is to make these devices programmable, reliable, low-power, and robust to common-case power failures. We are rethinking the whole system stack to deal with complexity and reliability, from programming abstractions tolerant of interruptions, down to super-energy-efficient circuits we use to implement microarchitectural features tolerant of byzantine failures. We build real systems for use on Earth and far beyond.
Cleancut: Static Task Boundary Placement for Intermittent Programs Alexei Colin, Preeti Murthy, Brandon Lucia HLPC 2016 (co-located w/ ASPLOS 2016)
An Energy-interference-free Hardware/Software Debugger for Intermittent Energy-harvesting Systems Alexei Colin, Graham Harvey, Brandon Lucia, Alanson Sample ASPLOS 2016[press: Eurekalert, phys.org, Wireless Design Mag, Weekly Hot News]
Energy-interference-free System and Toolchain Support for Energy-harvesting Devices Alexei Colin, Alanson Sample, Brandon Lucia CASES 2015 (short paper)
A Simpler, Safer Programming and Execution Model for Intermittent Systems Brandon Lucia, Benjamin Ransford PLDI 2015
We are developing system software and hardware architectures that make concurrent and parallel computer systems correct, reliable, and efficient. We research new parallel computer architectures that make systems safer and make programming easier, hardware-software solutions that automate debugging, and architectures, compilers, and runtimes that avoid failures in broken programs. We are taking advantage of specialization and approximation, to trade off correctness and generality for increased performance, programmability, and energy efficiency. We are investigating all of these topics in emerging large-scale homogeneous and heterogeneous systems. Our work leverages algorithmic and execution-level approximation, statistical inference, symbolic execution, and dynamic analysis in novel ways to make systems behave better.
Overcoming the Data-flow Limit on Parallelism with Structural Approximation Vignesh Balaji, Brandon Lucia, and Radu Marculescu WAX 2016 (co-located with ASPLOS 2016)
Production-guided Concurrency Debugging Nuno Machado (IST), Brandon Lucia, Luis Rodrigues (IST) PPoPP 2016
Valor: Efficient, Software-Only Region Conflict Exceptions Swarnendu Biswas (OSU), Minjia Zhang (OSU), Michael D. Bond (OSU), Brandon Lucia OOPSLA 2015, OOPSLA'15 Distinguished Paper Award, OOPSLA'15 Distinguished Artifact Award
Concurrency Debugging with Differential Schedule Projections Nuno Machado (IST), Luis Rodrigues (IST), Brandon Lucia PLDI 2015
Systems Should Automatically Specialize Code and Data Brandon Lucia and Todd Mytkowicz (MSR) Approx 2014
Our group thrives because of the cooperation of a really awesome group of collaborators, PhDs, Masters, Undergraduate, and High School Students.
Lab Crew circa January 2016 (L to R): Vignesh, Dhruva, Brandon, Alanson (DRP), Alexei, Preeti
Naveen Setlur (UG @ CMU ECE) [Spring 2016] Junhong Li (UG @ CMU ECE) [Spring 2016] Mark McElwaine (UG @ CMU ECE) [Spring/Summer 2015] Graham Harvey (Now an Imagineer @ Disney) [Spring 2015]
Our lab has an ongoing internship program with City Charter High School in downtown Pittsburgh. We accept high school interns nearing high school graduation to give them experience doing computer systems research
Savi Medlang (now a student at Case Western) [Summer 2015] Jessie Foley (Junior at City Charter High School) [Summer 2016]