I am a PhD candidate in the Electrical and Computer Engineering department at CMUs and a member of the ABSTRACT research group led by Professor Brandon Lucia. Specifically, I research intermitttent computing-- a field of computing that enables tiny, batteryless, energy-harvesting devices to perform computationally intensive tasks despite frequent power failures. My work focuses on developing programming models that allow programmers to easily write correct code for intermittent sensing systems that interact with their environment.

---

Carnegie Mellon University

2016 - Present

PhD in Electrical and Computer Engineering

---

Carnegie Mellon University

Awarded May 2019

M.S. in Electrical and Computer Engineering

---

University of Maryland, College Park

2012 - 2016

B.S. Electrical Engineering, Minor in Computer Engineering
Magna Cum Laude, with Gemstone Honors Citation

Transactional Concurrency Control for Intermittent, Energy-Harvesting Computing Systems

Emily Ruppel and Brandon Lucia

PLDI 2019

The goal of this work is to simplify the process of adding asynchronous events to an intermittent execution. In this paper, we show that surprising errors can arise when asynchronous events triggered by hardware interrupts (e.g. from a sensor on the device) are added to code that will run intermittently. We present our system, Coati, which makes it easy for programmers to control the concurrent accesses made by scheduled tasks and asynchronous events.

[paper] [video abstract] [code] [slides]

---

A Reconfigurable Energy Storage Architecture for Energy-Harvesting Devices

Alexei Colin, Emily Ruppel and Brandon Lucia

ASPLOS 2018-- Best Paper, IEEE MICRO Top Picks Honorable Mention 2019

In this work, we observe that tasks in an intermittent system often have conflicting requirements. Tasks may have an atomicity constraint, a minimum energy requirement for the task to complete successfully, or a temporal constraint, the task must be run quickly in response to an external stimuli. We introduce the Capybara hardware/software system to dynamically reconfigure the size of the energy buffer to match the requirements of the ongoing (or upcoming) task.

[paper] [code]

Northrop Grumman Mission Systems: Power Conversion Technology

May 2016 - Aug 2016

Contributed to the design of a point-of-load power supply for a radar antenna control board by using LTSPICE simulations to select power regulators and by drawing the resulting schematics using CAD tools. Tested and corrected errors in the initialization sequence of radar antenna control boards by applying knowledge of the LTPowerPlay software and an understanding of the onboard linear regulator clocking protocols.

---

IBM, Memory Development Department

Mar 2012 - Dec 2014

Assessed the compliance of a memory initialization sequence for the DDR4 LRDIMM with JEDEC specifications using digital logic analyzer traces of the system operation and corrected errors in the procedure. Conducted failure analysis of memory cards used in the Z Systems mainframe and presented these findings to assist a team seeking to identify the cause of a hardware malfunction.

---