受强制性开放获取政策约束的文章 - Saswat Padhi了解详情
可在其他位置公开访问的文章：4 篇
Data-Driven Precondition Inference with Learned Features
S Padhi, R Sharma, T Millstein
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
Overfitting in synthesis: Theory and practice
S Padhi, T Millstein, A Nori, R Sharma
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定