1 citations · 1 across the 8 of their papers we have counts for
3 papers · 1 filter
Consistent Updates for Scalable Microservices
Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies
Online services are commonly implemented with a scalable microservice architecture, where isomorphic workers process client requests, recording persistent state in a backend data s…
The Resh Programming Language for Multirobot Orchestration
Martin Carroll, Kedar S. Namjoshi, Itai Segall
This paper describes Resh, a new, statically typed, interpreted programming language and associated runtime for orchestrating multirobot systems. The main features of Resh are: (1)…
Synthesis of coordination programs from linear temporal logic
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
This paper presents a method for synthesizing a reactive program which coordinates the actions of a group of other reactive programs, so that the combined system satisfies a tempor…