Publications
Publications of the abstract group since 2015, by year. A complete list, including earlier work, is on Brandon Lucia's website.
2025
NUPEA: Optimizing Critical Loads on Spatial Dataflow Architectures via Non-Uniform Processing-Element Access ISCA 2025
Ripple: Asynchronous Programming for Spatial Dataflow Architectures PLDI 2025
Geoduck: Nanosatellite Constellation Scheduling for Low Latency Event Detection SenSys 2025
Energy-aware Scheduling and Input Buffer Overflow Prevention for Energy-harvesting Systems ASPLOS 2025
Nanosatellite Constellation and Ground Station Co-design for Low-Latency Critical Event Detection arXiv preprint, 2025
2024
EagleEye: Actuation-aware Scheduling for High-coverage High-resolution Satellite Imaging Constellations ASPLOS 2024
VINSat: Solving the Lost-in-Space Problem with Visual-Inertial Navigation ICRA 2024 [paper]
Monza: An Energy-Minimal, General-Purpose Dataflow SoC for the Internet of Things IEEE Micro, 2024 [paper]
The Internet of Batteryless Things Communications of the ACM, February 2024 [paper]
Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices CC 2024 [paper]
A 10.33 μJ/Encryption Homomorphic Encryption Engine in 28nm CMOS with 4096-Degree 109-Bit Polynomials for Resource-Constrained IoT Clients ESSDERC/ESSCIRC 2024 [paper]
2023
Kodan: Addressing the Computational Bottleneck in Space ASPLOS 2023
A Type System for Safe Intermittent Computing PLDI 2023
Pipestitch: An Energy-Minimal Dataflow Architecture with Lightweight Threads MICRO 2023
MANIC: A 19 μW@4MHz, 256 MOPS/mW RISC-V Microcontroller with Embedded MRAM Main Memory and Vector-Dataflow Co-processor in 22nm Bulk finFET CMOS ISCAS 2023 [paper]
Lost in Space: Visual Satellite Navigation Active Methods in Autonomous Navigation Workshop (at ICRA 2023)
2022
RipTide: A Programmable Energy-minimal Dataflow Compiler and Architecture MICRO 2022 [paper]
A Hardware-Software Interface for Charge Management in Energy-Harvesting Systems MICRO 2022 [paper]
Client-Optimized Algorithms and Acceleration for Encrypted Compute Offloading ASPLOS 2022 [paper] [slides]
Camaroptera: A Long-Range Image Sensor with Local Inference for Remote Sensing Applications ACM Transactions on Embedded Computing Systems (TECS), 2022 [paper]
Improving Locality of Irregular Updates with Hardware Assisted Propagation Blocking HPCA 2022
Tartan Artibeus: A Batteryless, Computational Satellite Research Platform 36th Annual Small Satellite Conference (SmallSat) 2022 [paper] [project site]
2021
SNAFU: An Ultra-Low-Power, Energy-Minimal CGRA Generation Framework and Architecture ISCA 2021 [paper]
Automatically Enforcing Freshness and Consistency of Inputs in Intermittent Systems PLDI 2021 [paper]
P-OPT: Practical Optimal Cache Replacement for Graph Structured Data HPCA 2021 [paper]
Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery MLSys 2021
The Role of Edge Offload for Hardware-Accelerated Mobile Devices HotMobile 2021 [paper]
Computational Nanosatellite Constellations: Opportunities and Challenges ACM GetMobile: Mobile Computing and Communications, Volume 25, Issue 1 [paper]
Computer Architecture Research in Space ACM SIGARCH Blog [blog post]
2020
Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computing System ASPLOS 2020 Best Paper Award [paper] [website] [music (c/o nc)]
Toward a Formal Foundation for Intermittent Computing OOPSLA 2020 [paper]
Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution PLDI 2020 [paper]
Architectural Support for Avoiding Failures with Fail-Stop Memory Consistency ASPLOS 2020 [paper]
Power-aware Heterogeneous Architecture Scaling for Energy-harvesting Computers IEEE Computer Architecture Letters, 2020 [paper]
Dynamic Task-Based Intermittent Execution for Energy-Harvesting Devices ACM Transactions on Sensor Networks, January 2020
2019
MANIC: A Vector-Dataflow Architecture for Ultra-Low-Power Embedded Systems MICRO 2019 [paper] [video — music c/o David Balatero]
Transactional Concurrency Control for Intermittent, Energy-Harvesting Computing Systems PLDI 2019 [paper] [slides] [video]
Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints PLDI 2019 [paper] [video]
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems ASPLOS 2019 [paper] [video]
I/O Dependent Idempotence Bugs in Intermittent Systems OOPSLA 2019 [paper]
Camaroptera: A Batteryless Long-Range Remote Visual Sensing System ENSsys 2019 [paper]
Combining Data Duplication and Graph Reordering to Accelerate Parallel Graph Processing HPDC 2019 [paper]
CoNDA: Enabling Efficient Near-Data Accelerator Communication by Optimizing Data Movement ISCA 2019 [paper]
Rethinking Support for Region Conflict Exceptions IPDPS 2019 [paper]
The Computing Landscape of the 21st Century HotMobile 2019 [paper]
Orbital Edge Computing: Data Processing on Nanosatellites IEEE Computer Architecture Letters, March 2019 Best of CAL 2019 [paper] [IEEE Computer "Spotlight on Transactions" feature]
2018
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing OSDI 2018 [paper]
A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices ASPLOS 2018 Best Paper Award IEEE Micro Top Picks 2018 Hon. Mention [paper]
When is Graph Reordering an Optimization? Studying the Effect of Lightweight Graph Reordering Across Applications and Input Graphs IISWC 2018 Best Paper Award [paper]
Termination Checking and Task Decomposition for Task-Based Intermittent Programs CC 2018 [paper]
SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably ASPLOS 2018 [paper]
Intermittent Deep Neural Network Inference SysML 2018 [paper]
Migratory Trash Clouds ASPLOS "Wild and Crazy Ideas" 2018 [paper] [slides]
Inter-Disciplinary Research Challenges in Computer Systems for the 2020s National Science Foundation Technical Report, 2018 [paper]
2017
Alpaca: Intermittent Execution without Checkpoints OOPSLA 2017 [paper]
An Energy-Aware Debugger for Intermittently Powered Systems IEEE Micro, vol. 37, 2017 Top Picks in Computer Architecture [paper]
Intermittent Computing: Challenges and Opportunities SNAPL 2017 [paper] [press: Axios]
Flexible Support for Fast Parallel Commutative Updates arXiv preprint [paper]
2016
Chain: Tasks and Channels for Reliable Intermittent Programs OOPSLA 2016 [paper] [press: UPI, phys.org, Energy Daily, The Green Optimistic]
An Energy-interference-free Hardware/Software Debugger for Intermittent Energy-harvesting Systems ASPLOS 2016 IEEE Micro Top Picks 2016 [paper] [slides] [code] [press: EurekAlert, phys.org]
LazyPIM: An Efficient Cache Coherence Mechanism for Processing-in-Memory IEEE Computer Architecture Letters, 2016 [paper]
Production-guided Concurrency Debugging PPoPP 2016 [paper]
Concurrency Debugging with Differential Schedule Projections ACM Transactions on Software Engineering and Methodology, Volume 25, Issue 2, April 2016 [paper]
Overcoming the Dataflow Limit on Parallelism with Structural Approximation WAX 2016 [paper]
2015
A Simpler, Safer Programming and Execution Model for Intermittent Systems PLDI 2015 [paper] [Try DINO!] [video abstract]