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

Personal website: https://www.padhi.us

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

Contributions

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