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

PLDI 2022 (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
(OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis
Show activities from other conferences

Using general profile