Picture for Saswat Padhi

Saswat Padhi

Predicting User Experience on Laptops from Hardware Specifications

Add code
Feb 14, 2024
Viaarxiv icon

OASIS: ILP-Guided Synthesis of Loop Invariants

Add code
Nov 26, 2019
Figure 1 for OASIS: ILP-Guided Synthesis of Loop Invariants
Figure 2 for OASIS: ILP-Guided Synthesis of Loop Invariants
Figure 3 for OASIS: ILP-Guided Synthesis of Loop Invariants
Figure 4 for OASIS: ILP-Guided Synthesis of Loop Invariants
Viaarxiv icon

Overfitting in Synthesis: Theory and Practice (Extender Version)

Add code
May 27, 2019
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)
Viaarxiv icon

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Add code
Jul 08, 2018
Figure 1 for LoopInvGen: A Loop Invariant Generator based on Precondition Inference
Figure 2 for LoopInvGen: A Loop Invariant Generator based on Precondition Inference
Viaarxiv icon

FlashProfile: Interactive Synthesis of Syntactic Profiles

Add code
Sep 17, 2017
Figure 1 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Figure 2 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Figure 3 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Figure 4 for FlashProfile: Interactive Synthesis of Syntactic Profiles
Viaarxiv icon