Picture for Rahul Sharma

Rahul Sharma

Overfitting in Synthesis: Theory and Practice (Extender Version)

May 27, 2019
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma

Figure 1 for Overfitting in Synthesis: Theory and Practice (Extender Version)

Figure 2 for Overfitting in Synthesis: Theory and Practice (Extender Version)

Figure 3 for Overfitting in Synthesis: Theory and Practice (Extender Version)

Figure 4 for Overfitting in Synthesis: Theory and Practice (Extender Version)

* 24 pages (5 pages of appendices), 7 figures, includes proofs of theorems

Access Paper or Ask Questions

Overfitting in Synthesis: Theory and Practice

May 17, 2019
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma

Figure 1 for Overfitting in Synthesis: Theory and Practice

Figure 2 for Overfitting in Synthesis: Theory and Practice

Figure 3 for Overfitting in Synthesis: Theory and Practice

Figure 4 for Overfitting in Synthesis: Theory and Practice

* 24 pages (5 pages of appendices), 7 figures, includes proofs of theorems

Access Paper or Ask Questions

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Jul 08, 2018
Saswat Padhi, Rahul Sharma, Todd Millstein

Figure 1 for LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Figure 2 for LoopInvGen: A Loop Invariant Generator based on Precondition Inference

* Tool Description ( for technical details, see our PLDI paper at https://doi.org/10.1145/2908080.2908099 ), SyGuS-COMP'18 Competition Contribution, 4 pages

Access Paper or Ask Questions