30 citations · 70 across the 15 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
NetRep: Automatic Repair for Network Programs
Lei Shi, Yuepeng Wang, Rajeev Alur +1
Debugging imperative network programs is a challenging task for developers because understanding various network modules and complicated data structures is typically time-consuming…
cs.SE2017★ 30 cited
SyGuS-Comp 2017: 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 phi in a background the…