100 citations · 314 across the 34 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
Synthesis through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Given a specification and a set of candidate programs (program space), the program synthesis problem is to find a candidate program that satisfies the specification. We present the…
cs.FL2015
Automatic Completion of Distributed Protocols with Symmetry
Rajeev Alur, Mukund Raghothaman, Christos Stergiou +2
A distributed protocol is typically modeled as a set of communicating processes, where each process is described as an extended state machine along with fairness assumptions, and i…