• 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/
Twitter:https://twitter.com/teobaluta
GitHub:https://github.com/teobaluta
Research interests:Machine Learning, Security, Formal Methods

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

Share
xSat 3 Jun 01:03
using conf.researchr.org (v1.60.0)
Support page
Sign Up