21 citations · 33 across the 6 of their papers we have counts for
3 papers · 1 filter
Predicting User Experience on Laptops from Hardware Specifications
Saswat Padhi, Sunil K. Bhasin, Udaya K. Ammu +2
Estimating the overall user experience (UX) on a device is a common challenge faced by manufacturers. Today, device makers primarily rely on microbenchmark scores, such as Geekbenc…
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…
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…