| Data-Driven Precondition Inference with Learned Features S Padhi, R Sharma, T Millstein Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 169 | 2016 |
| Sygus-comp 2018: Results and analysis R Alur, D Fisman, S Padhi, R Singh, A Udupa arXiv preprint arXiv:1904.07146, 2019 | 78 | 2019 |
| FlashProfile: a framework for synthesizing data profiles S Padhi, P Jain, D Perelman, O Polozov, S Gulwani, T Millstein Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018 | 46* | 2018 |
| Overfitting in synthesis: Theory and practice S Padhi, T Millstein, A Nori, R Sharma Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 41 | 2019 |
| Data-driven inference of representation invariants A Miltner, S Padhi, T Millstein, D Walker Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 38 | 2020 |
| LoopInvGen: A Loop Invariant Generator based on Precondition Inference S Padhi, R Sharma, T Millstein arXiv preprint arXiv:1707.02029, 2017 | 27* | 2017 |
| SyGuS-Comp 2018: Results and Analysis. CoRR abs/1904.07146 (2019) R Alur, D Fisman, S Padhi, R Singh, A Udupa arXiv preprint arXiv:1904.07146, 2019 | 11 | 2019 |
| The SyGuS Language Standard Version 2.1 S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa arXiv preprint arXiv:2312.06001, 2023 | 10 | 2023 |
| FlashProfile: Interactive Synthesis of Syntactic Profiles. S Padhi, P Jain, D Perelman, O Polozov, S Gulwani, TD Millstein CoRR, 2017 | 8 | 2017 |
| A Static Slicing Method for Functional Programs and its Incremental Version KP Kumar, A Sanyal, A Karkare, S Padhi Proceedings of the 28th International Conference on Compiler Construction, 53-64, 2019 | 7* | 2019 |
| Syntactic Profiling of Alphanumeric Strings S Gulwani, P Jain, DA Perelman, S Padhi, O Polozov US Patent App. 15/663,575, 2019 | 6 | 2019 |
| The 6th competition on syntax-guided synthesis R Alur, D Fisman, S Padhi, A Reynolds, R Singh, A Udupa accessed on, 2019 | 6 | 2019 |
| OASIS: ILP-guided synthesis of loop invariants S Bhatia, S Padhi, N Natarajan, R Sharma, P Jain NeurIPS 2020 Workshop on Computer-Assisted Programming, 2020 | 4 | 2020 |
| Predicting User Experience on Laptops from Hardware Specifications S Padhi, SK Bhasin, UK Ammu, A Bergman, A Knies NeurIPS 2023 Workshop on Machine Learning for Systems, 2023 | 1 | 2023 |
| On Scaling Data-Driven Loop Invariant Inference S Bhatia, S Padhi, N Natarajan, R Sharma, P Jain arXiv preprint arXiv:1911.11728, 2019 | 1 | 2019 |
| Overfitting in Synthesis: Theory and Practice (Extended Version) S Padhi, T Millstein, A Nori, R Sharma arXiv preprint arXiv:1905.07457, 2019 | 1 | 2019 |
| IoT event detector correctness verification VB Sharma, AJ Gacek, MW Whalen, S Padhi, A Apicelli, R Yadav, ... US Patent 12,093,160, 2024 | | 2024 |
| Systems, methods, and computer-readable media for improved table identification using a neural network BG Zorn, MMJ Brockschmidt, P Choudhury, O Polozov, R Singh, S Padhi US Patent 12,039,257, 2024 | | 2024 |
| Automated analyses of IOT event monitoring systems A Apicelli, S Bayless, A Das, A Gacek, D Jaganathan, S Padhi, V Sharma, ... International Conference on Computer Aided Verification, 27-39, 2023 | | 2023 |
| Data-Driven Learning of Invariants and Specifications S Padhi University of California, Los Angeles, 2020 | | 2020 |
Todd MillsteinProfessor of Computer Science, UCLAVerifisert e-postadresse på cs.ucla.edu