Shraddha Barke -

Registered user since Sat 22 Jun 2019

Name:Shraddha Barke

Country:United States

Affiliation:University of California at San Diego

Research interests:Programming Languages, Formal Methods

Contributions

SPLASH 2021	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of LooPy: Interactive Program Synthesis with Control Structures within the OOPSLA-track
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