Shraddha Barke -

Registered user since Sat 22 Jun 2019

Name: Shraddha Barke

Affiliation: University of California at San Diego

GitHub: https://github.com/shraddhabarke

Research interests: Programming Languages, Formal Methods

Contributions

SPLASH 2020	Author of Just-in-Time Learning for Bottom-Up Enumerative Synthesis within the OOPSLA-track Author of Just-in-Time Learning for Inductive Program Synthesis within the OOPSLA Artifacts-track Author of Feedback-Driven Semi-supervised Synthesis of Program Transformations within the OOPSLA-track