| 2025 | RTAS | SPR: Shielded Processor Reservations with Bounded Management Overhead. | Esma Kkten, Gabriel Parmer, Bjrn B. Brandenburg |
| 2025 | RTAS | Janus: OS Support for a Secure, Fast Control-Plane. | Wenyuan Shao, Xinyu Han, Evan Stella, Linnea Dierksheide, Phani Kishore Gadepalli, Gabriel Parmer |
| 2024 | CLOUD | Byways: High-Performance, Isolated Network Functions for Multi-Tenant Cloud Servers. | Xinyu Han, Yuan Gao, Gabriel Parmer, Timothy Wood |
| 2024 | RTAS | OmniWasm: Efficient, Granular Fault Isolation and Control-Flow Integrity for Arm Microcontrollers. | Maorui Bai, Runyu Pan, Gabriel Parmer |
| 2022 | EuroSys | Towards efficient processing of latency-sensitive serverless DAGs at the edge. | Xiaosu Lyu, Ludmila Cherkasova, Robert C. Aitken, Gabriel Parmer, Timothy Wood |
| 2022 | RTSS | Edge-RT: OS Support for Controlled Latency in the Multi-Tenant, Real-Time Edge. | Wenyuan Shao, Bite Ye, Huachuan Wang, Gabriel Parmer, Yuxin Ren |
| 2022 | RTAS | The Thundering Herd: Amplifying Kernel Interference to Attack Response Times. | Samuel Mergendahl, Samuel Jero, Bryan C. Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra |
| 2022 | RTAS | SBIs: Application Access to Safe, Baremetal Interrupt Latencies | Runyu Pan, Gabriel Parmer |
| 2021 | RTAS | Practical Principle of Least Privilege for Secure Embedded Systems. | Samuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C. Ward, Gabriel Parmer, Richard Skowyra |
| 2020 | Middleware | Sledge: a Serverless-first, Light-weight Wasm Runtime for the Edge. | Phani Kishore Gadepalli, Sean McBride, Gregor Peach, Ludmila Cherkasova, Gabriel Parmer |
| 2020 | PPoPP | Bounded incoherence: a programming model for non-cache-coherent shared memory architectures. | Yuxin Ren, Gabriel Parmer, Dejan S. Milojicic |
| 2020 | USENIX | Fine-Grained Isolation for Scalable, Dynamic, Multi-tenant Edge Clouds. | Yuxin Ren, Guyue Liu, Vlad Nitu, Wenyuan Shao, Riley Kennedy, Gabriel Parmer, Timothy Wood, Alain Tchana |
| 2020 | RTAS | Slite: OS Support for Near Zero-Cost, Configurable Scheduling | Phani Kishore Gadepalli, Runyu Pan, Gabriel Parmer |
| 2019 | Middleware | Scalable Data-structures with Hierarchical, Distributed Delegation. | Yuxin Ren, Gabriel Parmer |
| 2019 | RTAS | Chaos: a System for Criticality-Aware, Multi-Core Coordination. | Phani Kishore Gadepalli, Gregor Peach, Gabriel Parmer, Joseph Espy, Zach Day |
| 2019 | SRDS | Challenges and Opportunities for Efficient Serverless Computing at the Edge. | Phani Kishore Gadepalli, Gregor Peach, Ludmila Cherkasova, Rob Aitken, Gabriel Parmer |
| 2018 | RTAS | Predictable Virtualization on Memory Protection Unit-Based Microcontrollers. | Runyu Pan, Gregor Peach, Yuxin Ren, Gabriel Parmer |
| 2018 | RTAS | Scalable Memory Reclamation for Multi-Core, Real-Time Systems. | Yuxin Ren, Guyue Liu, Gabriel Parmer, Bjrn B. Brandenburg |
| 2017 | RTSS | Temporal Capabilities: Access Control for Time. | Phani Kishore Gadepalli, Robert Gifford, Lucas Baier, Michael Kelly, Gabriel Parmer |
| 2016 | DSN | SuperGlue: IDL-Based, System-Level Fault Tolerance for Embedded Systems. | Jiguo Song, Gedare Bloom, Gabriel Parmer |
| 2016 | EuroSys | Parallel sections: scaling system-level data-structures. | Qi Wang, Timothy Stamler, Gabriel Parmer |
| 2015 | RTAS | C'Mon: a predictable monitoring infrastructure for system-level latent fault detection and recovery. | Jiguo Song, Gabriel Parmer |
| 2015 | RTAS | SPeCK: a kernel for scalable predictability. | Qi Wang, Yuxin Ren, Matt Scaperoth, Gabriel Parmer |
| 2014 | RTAS | FJOS: Practical, predictable, and efficient system support for fork/join parallelism. | Qi Wang, Gabriel Parmer |
| 2013 | RTSS | Predictable, Efficient System-Level Fault Tolerance in C^3. | Jiguo Song, John Wittrock, Gabriel Parmer |
| 2012 | EMSOFT | Shared hardware data structures for hard real-time systems. | Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha |
| 2012 | RTSS | Increasing Memory Utilization with Transient Memory Scheduling. | Qi Wang, Jiguo Song, Gabriel Parmer, Andrew Sweeney, Guru Venkataramani |
| 2011 | RTSS | Execution Stack Management for Hard Real-Time Computation in a Component-Based OS. | Qi Wang, Jiguo Song, Gabriel Parmer |
| 2011 | RTAS | HiRes: A System for Predictable Hierarchical Resource Management. | Gabriel Parmer, Richard West |
| 2008 | RTSS | Predictable Interrupt Management and Scheduling in the Composite Component-Based System. | Gabriel Parmer, Richard West |
| 2007 | PDPTA | Scalable Overlay Multicast Tree Construction for Media Streaming. | Gabriel Parmer, Richard West, Gerald Fry |
| 2007 | RTSS | Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing. | Gabriel Parmer, Richard West |
| 2007 | RTAS | Hijack: Taking Control of COTS Systems for Real-Time User-Level Services. | Gabriel Parmer, Richard West |
| 2006 | RTAS | Application-Specific Service Technologies for Commodity Operating Systems in Real-Time Environments. | Richard West, Gabriel Parmer |
| 2004 | CLUSTER | An efficient end-host architecture for cluster communication. | Xin Qi, Gabriel Parmer, Richard West |