• Sign in
  • Sign up
conf.researchr.org / Prateek Saxena
  • 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
xWed 22 Mar 06:47
using conf.researchr.org (v1.59.1)
Support page
Sign Up