AbstractResearchGroup

From Abstract wiki

(Difference between revisions)
Jump to: navigation, search
(High School Interns)
(Masters Students)
Line 62: Line 62:
===Masters Students===
===Masters Students===
Dhruva Tirumala
Dhruva Tirumala
 +
Preeti Upendra Murthy
Preeti Upendra Murthy

Revision as of 22:36, 14 September 2015

de koonig - excavation barnett newman - dionysius Mark Rothko Clyfford Still - Untitled Jackson Pollack - Full Fathom 5 Hans Hoffman - Equinox



ABSTRACT @ CMU

The ABSTRACT research group at CMU is the research group of Brandon Lucia. 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.


Research

Our research focuses on three main themes, ecompassing (1) Intermittent and Energy-harvesting computing, (2) Concurrency and Parallelism, and (3) Heterogeneous and Emerging Computer Architectures.

Intermittent and Energy-harvesting Computing Devices

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. Making these devices useful requires us to rethink 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.

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

Concurrency and Parallelism

We are working to develop software techniques and hardware architectural features to make concurrent and parallel computer systems and software correct, reliable, and efficient. We research new architectural features that make programming easier, hardware software solutions to making debugging automatic, and architecture, compiler, and runtime gadgets that automatically avoid failures in broken programs. Our work leverages statistical inference, symbolic execution, and lightweight dynamic analysis in novel ways to make systems behave better.

Concurrency Debugging with Differential Schedule Projections

Nuno Machado, Luis Rodrigues, Brandon Lucia PLDI 2015

Taming Heterogeneous Computing

We are working to map the design space of programmability, performance and generality on the increasingly important heterogeneous computing systems, like ones with a mixture of CPUs, GPUs FPGA, CGRAs, and ASICs. One of our goals is to define an efficient, implementable, comprehensible memory model and programming abstraction for such systems. To solve this problem, we need reconcile the differences of these devices with unifying architectural abstractions, hardware/software compilation and synthesis, and programming techniques that accommodate the breadth of features, precision levels, and efficiencies available.

People @ CMU

Faculty

Brandon Lucia

PhD Students

Alexei Colin

Nuno Machado (summer 2015 Visiting Scholar, from IST Lisboa)

Masters Students

Dhruva Tirumala

Preeti Upendra Murthy

Undergraduates

Mark McElwaine

Graham Harvey (now an Imagineer @ Disney)

High School Interns

Savi Medlang (Now a freshman at Wake Forest College)

External Collaborators

Alanson Sample (Disney Research Pittsburgh)

Gilles Pokam (Intel Labs)

Joe Devietti (University of Pennsylvania)

Mike Bond (The Ohio State University)

Personal tools