• Sign in
  • Sign up
conf.researchr.org / Prateek Saxena
  • 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
xWed 14 May 03:32
using conf.researchr.org (v1.69.0)
Support page
Sign Up