Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
SafePar: Monitoring Asynchrony in Microservices
Karuna Grewal, P. Brighten Godfrey, Justin Hsu +1
Modern cloud applications are built from loosely-coupled microservices that coordinate through well-defined APIs to service user requests. A single API request often triggers multi…
cs.PL2026
SafeNom: Data-Aware Microservice Policies
Karuna Grewal, P. Brighten Godfrey, Justin Hsu
Many cloud-based applications are organized as loosely coupled microservices, where invoking a service's API triggers a cascade of APIs across many services and leads to inter-serv…
cs.PL2025
SafeTree: Expressive Tree Policies for Microservices
Karuna Grewal, P. Brighten Godfrey, Justin Hsu
A microservice-based application is composed of multiple self-contained components called microservices, and controlling inter-service communication is important for enforcing safe…