18 citations · 24 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014★ 18 cited
Language to Specify Syntax-Guided Synthesis Problems
Mukund Raghothaman, Abhishek Udupa
We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first de…
cs.FL2014
Synthesizing Finite-state Protocols from Scenarios and Requirements
Rajeev Alur, Milo Martin, Mukund Raghothaman +3
Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite…