Temporal Capabilities: Access Control for Time. - Phani Kishore Gadepalli; Robert Gifford; Lucas Baier; Michael Kelly; Gabriel Parmer (RTSS, 2017)

Chaos: a System for Criticality-Aware, Multi-Core Coordination. - Phani Kishore Gadepalli; Gregor Peach; Gabriel Parmer; Joseph Espy; Zach Day (RTAS, 2019)

Challenges and Opportunities for Efficient Serverless Computing at the Edge. - Phani Kishore Gadepalli; Gregor Peach; Ludmila Cherkasova; Rob Aitken; Gabriel Parmer (SRDS, 2019)

Sledge: a Serverless-first, Light-weight Wasm Runtime for the Edge. - Phani Kishore Gadepalli; Sean McBride; Gregor Peach; Ludmila Cherkasova; Gabriel Parmer (Middleware, 2020)

Slite: OS Support for Near Zero-Cost, Configurable Scheduling *. - Phani Kishore Gadepalli; Runyu Pan; Gabriel Parmer (RTAS, 2020)

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 (RTAS, 2021)

Janus: OS Support for a Secure, Fast Control-Plane. - Wenyuan Shao; Xinyu Han; Evan Stella; Linnea Dierksheide; Phani Kishore Gadepalli; Gabriel Parmer (RTAS, 2025)