29 citations · 29 across the 2 of their papers we have counts for
2 papers
cs.SE2016★ 29 cited
SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, Rishabh Singh +1
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula in a background the…
cs.PL2010
Algorithmic Verification of Single-Pass List Processing Programs
Rajeev Alur, Pavol Cerny
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) sequen…