关注
Saswat Padhi
Saswat Padhi
Software Engineer, Google LLC
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Data-Driven Precondition Inference with Learned Features
S Padhi, R Sharma, T Millstein
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
1572016
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
41*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
352019
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
342020
LoopInvGen: A Loop Invariant Generator based on Precondition Inference
S Padhi, R Sharma, T Millstein
arXiv preprint arXiv:1707.02029, 2017
25*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
102019
FlashProfile: Interactive Synthesis of Syntactic Profiles.
S Padhi, P Jain, D Perelman, O Polozov, S Gulwani, TD Millstein
CoRR, 2017
72017
The SyGuS Language Standard Version 2.1
S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa
arXiv preprint arXiv:2312.06001, 2023
62023
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
6*2019
The 6th competition on syntax-guided synthesis
R Alur, D Fisman, S Padhi, A Reynolds, R Singh, A Udupa
accessed on, 2019
62019
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
32020
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
22024
On Scaling Data-Driven Loop Invariant Inference
S Bhatia, S Padhi, N Natarajan, R Sharma, P Jain
arXiv preprint arXiv:1911.11728, 2019
12019
Predicting User Experience on Laptops from Hardware Specifications
S Padhi, SK Bhasin, UK Ammu, A Bergman, A Knies
arXiv preprint arXiv:2402.08964, 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
Overfitting in Synthesis: Theory and Practice (Extended Version)
S Padhi, T Millstein, A Nori, R Sharma
arXiv preprint arXiv:1905.07457, 2019
2019
Syntactic Profiling of Alphanumeric Strings
S Gulwani, P Jain, DA Perelman, S Padhi, O Polozov
US Patent App. 15/663,575, 2019
2019
Record Profiling for Dataset Sampling
DG Simmons, KDJ Grealish, S Gulwani, R Kumar, KM Ellis, S Padhi
US Patent App. 15/338,161, 2018
2018
系统目前无法执行此操作,请稍后再试。
文章 1–19