3 citations · 6 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019
On Scaling Data-Driven Loop Invariant Inference
Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan +2
Automated synthesis of inductive invariants is an important problem in software verification. Once all the invariants have been specified, software verification reduces to checking…
cs.PL2019★ 1 cited
Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, Aditya Nori +1
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatically generate a program belonging to a grammar of possible implementations that meets a logical specificatio…