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

PLDI 2022-profile
View general profile