Sledge: a Serverless-first, Light-weight Wasm Runtime for the Edge PK Gadepalli, S McBride, G Peach, L Cherkasova, G Parmer Proceedings of the 21st International Middleware Conference, 265-279, 2020 | 93 | 2020 |
Challenges and Opportunities for Efficient Serverless Computing at the Edge PK Gadepalli, G Peach, L Cherkasova, R Aitken, G Parmer 2019 38th Symposium on Reliable Distributed Systems (SRDS), 261-2615, 2019 | 86 | 2019 |
Temporal capabilities: Access control for time PK Gadepalli, R Gifford, L Baier, M Kelly, G Parmer 2017 IEEE Real-Time Systems Symposium (RTSS), 56-67, 2017 | 29 | 2017 |
Chaos: a System for Criticality-Aware, Multi-Core Coordination PK Gadepalli, G Peach, G Parmer, J Espy, Z Day 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2019 | 18 | 2019 |
Slite: OS Support for Near Zero-Cost, Configurable Scheduling * PK Gadepalli, R Pan, G Parmer 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2020 | 14 | 2020 |
Practical Principle of Least Privilege for Secure Embedded Systems S Jero, J Furgala, R Pan, PK Gadepalli, A Clifford, B Ye, R Khazan, ... 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium …, 2021 | 12 | 2021 |
Predictable Isolation and Communication Support for Embedded and Real-Time Systems PK Gadepalli The George Washington University, 2020 | | 2020 |
Component-based OS Design for Dependable Cyber-Physical Systems G Parmer, R Pan, Y Ren, PK Gadepalli, W Shao | | |