• Sign in
  • Sign up
conf.researchr.org / Teodora Baluta
  • ESEC/FSE 2021 profile
  • ESEC/FSE 2022 profile
  • ICSE 2021 profile
  • SPLASH 2023 profile
Teodora Baluta

Registered user since Mon 8 Mar 2021

Name:Teodora Baluta
Country:Singapore
Affiliation:National University of Singapore
Personal website: https://www.comp.nus.edu.sg/~teodorab/
X (Twitter): https://x.com/teobaluta
GitHub: https://github.com/teobaluta
Research interests:Machine Learning, Security, Formal Methods

Contributions

2023

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
Share
xSat 24 May 10:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up