3 papers
cs.RO2025
MADR: MPC-guided Adversarial DeepReach
Ryan Teoh, Sander Tonkens, William Sharpless +4
Hamilton-Jacobi (HJ) Reachability offers a framework for generating safe value functions and policies in the face of adversarial disturbance, but is limited by the curse of dimensi…
cs.DC2023
From Kubernetes to Knactor: A Data-Centric Rethink of Service Composition
Silvery Fu, Hong Zhang, Ryan Teoh +2
Microservices are increasingly used in modern applications, leading to a growing need for effective service composition solutions. However, we argue that traditional API-centric co…
cs.CR2022
SCL: A Secure Concurrency Layer For Paranoid Stateful Lambdas
Kaiyuan Chen, Alexander Thomas, Hanming Lu +8
We propose a federated Function-as-a-Service (FaaS) execution model that provides secure and stateful execution in both Cloud and Edge environments. The FaaS workers, called Parano…