Prateek Saxena -

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