Saswat Padhi -

Registered user since Fri 22 Jan 2016

Name:Saswat Padhi

Bio:

I am an Applied Scientist within the Automated Reasoning Group (ARG) at AWS. I work on program verification and synthesis technologies.

Country:United States

Affiliation:Amazon Web Services, USA

Research interests:Programming Languages, Program Synthesis, Program Verification, Statistical Learning

Contributions

SPLASH 2021	Author of Data-Driven Inference of Representation Invariants within the SIGPLAN Papers-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track
PLDI 2020	Author of Data-Driven Inference of Representation Invariants within the PLDI Research Papers-track Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2019	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2018	Author of FlashProfile: A Framework for Synthesizing Data Profiles within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the Artifacts-track Author of FlashProfile: A Framework for Synthesizing Data Profiles within the Artifacts-track
PLDI 2016	Author of Data-Driven Precondition Inference with Learned Features within the Research Papers-track