Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Prateek Saxena
conf.researchr.org general profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ICSE 2021 profile
ISSTA 2019 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Prateek Saxena
Country:
Singapore
Affiliation:
National University of Singapore
Contributions
SPLASH 2023
Author of User-Customizable Transpilation of Scripting Languages within the OOPSLA-track
ESEC/FSE 2022
Author of SynGuar: Guaranteeing Generalization in Programming by Example within the ESEC/FSE 2021-track
ESEC/FSE 2021
Author of SynGuar: Guaranteeing Generalization in Programming by Example within the Research Papers-track
ICSE 2021
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
ISSTA 2019
Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track
Share
x
Mon 5 Jun 15:13