Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Prateek Saxena
conf.researchr.org general profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ESEC/FSE 2023 profile
ICSE 2021 profile
ISSTA 2019 profile
PLDI 2025 profile
SPLASH 2023 profile
Not registered as user
Name:
Prateek Saxena
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
2025
PLDI
Author of Program Skeletons for Automated Program Translation within the PLDI Research Papers-track
2023
ESEC/FSE
Author of TransMap: Pinpointing Mistakes in Neural Code Translation within the Research Papers-track
SPLASH
Author of User-Customizable Transpilation of Scripting Languages within the OOPSLA-track
2022
ESEC/FSE
Author of SynGuar: Guaranteeing Generalization in Programming by Example within the ESEC/FSE 2021-track
2021
ESEC/FSE
Author of SynGuar: Guaranteeing Generalization in Programming by Example within the Research Papers-track
ICSE
Author of Scalable Quantitative Verification For Deep Neural Networks within the Technical Track-track
Author of Scalable Quantitative Verification For Deep Neural Networks within the AE - Artifact Evaluation-track
2019
ISSTA
Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track
Share
x
Wed 14 May 03:32