2 papers
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.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…