21 citations · 33 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LG2017★ 21 cited
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman +3
We address the problem of learning a syntactic profile for a collection of strings, i.e. a set of regex-like patterns that succinctly describe the syntactic variations in the strin…
cs.PL2017★ 7 cited
LoopInvGen: A Loop Invariant Generator based on Precondition Inference
Saswat Padhi, Rahul Sharma, Todd Millstein
We describe the LoopInvGen tool for generating loop invariants that can provably guarantee correctness of a program with respect to a given specification. LoopInvGen is an efficien…