4 papers
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)…
Witnessing Secure Compilation
Kedar S. Namjoshi, Lucas M. Tabajara
Compiler optimizations are designed to improve run-time performance while preserving input-output behavior. Correctness in this sense does not necessarily preserve security: it is…
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…
Symmetry Reduction for the Local Mu-Calculus
Kedar S. Namjoshi, Richard J. Trefler
Model checking large networks of processes is challenging due to state explosion. In many cases, individual processes are isomorphic, but there is insufficient global symmetry to s…