Research

Embedded Systems-on-Chip comprised of traditional computing engines and tightly-coupled reprogrammable logic (FPGA) are a game-changer. Their versatility opens the doors for new computational paradigms; to rethink traditional software/hardware stacks. In our lab, we are investigating the degrees of self-awareness that can be attained via FPGA-in-the-middle performance assessment and control.

Latest: Programmable Data Layouts via On-The-Fly Data Transformation ASPLOS 2027

Hardware-enabled virtualization is mainstream in embedded platforms. As high-performance real-time applications call for hardware of ever-increasing complexity, virtualization is key for the creation of spatially and temporally isolated application domains. In our lab, we are advancing the state of the art in real-time virtualization techniques to deliver strong spatio-temporal isolation and workload-aware tuning.

Latest: Surgical Software-less I/O Virtualization RAGE 2025

Modern safety-critical systems are comprised of complex applications and equally complex hardware. Understanding the subtle interplay between software and hardware is the way to go to perform informed resource management. In our lab, we are devising techniques to collect, analyze, and leverage fine-grained knowledge on the interaction between applications, processors, and memory resources.

Latest: MemScope: Open-Source Kernel-Level Framework for Heterogeneous Memory Characterization RTSS 2025

Modern cyber-physical systems have complex dynamics that are hard to model and optimize for. The ability to integrate low-power, low-weight high-performance embedded microprocessors enables data-driven model estimation and control refinement. In our lab, we are pushing the boundaries of NN-driven flight control with an emphasis on system deployability, generalizability, and safety assessment.

Latest: Accelerating Lyapunov-Stable Neural Control using Fulfillment Priority Logic ACC 2026

Cores that share caches, buses, and DRAM interfere with one another in ways that are hard to bound. This line of work designs and analyzes mechanisms such as memory bandwidth regulation, cache management, scratchpad-centric execution, and mixed-criticality scheduling that keep that interference under control.

Latest: Bottleneck-Aware Bandwidth Regulation for Heterogeneous Memory Subsystems RTSS 2026

Computationally capable unmanned aircraft are both a target and a test bed for our research. This work covers data acquisition platforms, propulsion and energy instrumentation, openly published flight and ground testing data sets, and long-endurance solar-powered aircraft.

Latest: Expanded Flight & Ground Testing Data Set for an Unmanned Aircraft: Great Planes Avistar Elite AIAA SciTech 2023