Write a Blog >>
PLDI 2021
Sun 20 - Fri 25 June 2021 Virtual Conference
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 2021Committee Member in Program Committee within the PLDI Research Papers-track
Show activities from other conferences

Using general profile