30 citations · 53 across the 10 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2020
Session-layer Attack Traffic Classification by Program Synthesis
Lei Shi, Yahui Li, Rajeev Alur +1
Writing classification rules to identify malicious network traffic is a time-consuming and error-prone task. Learning-based classification systems automatically extract such rules…
cs.PL2019
SyGuS-Comp 2018: Results and Analysis
Rajeev Alur, Dana Fisman, Saswat Padhi +2
Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation that meets both a semantic constraint given by a logical formula in a background t…
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…