Concepedia

Shraddha Barke

SB

Statistics

Publications

5

Citations

380

H-Index

5

Active since

2020

Affiliations

University of California San Diego(Current)

Shraddha Barke is an author at University of California San Diego specializing in formal methods, software engineering, and computer science.

Top concepts

Publications per year

2020–2023

5

Publications

5

Grounded Copilot: How Programmers Interact with Code-Generating Models

Shraddha Barke, Michael B. James, Nadia Polikarpova · Proceedings of the ACM on Programming Languages · 2023 · 294 citations · Full text

, , +21

Just-in-time learning for bottom-up enumerative synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova · Proceedings of the ACM on Programming Languages · 2020 · 30 citations · Full text

Grounded Copilot: How Programmers Interact with Code-Generating Models

Shraddha Barke, Michael B. James, Nadia Polikarpova · arXiv (Cornell University) · 2022 · 23 citations · Full text

Feedback-driven semi-supervised synthesis of program transformations

Xiang Gao, Shraddha Barke, Arjun Radhakrishna et al. · Proceedings of the ACM on Programming Languages · 2020 · 17 citations · Full text

, , +20

LooPy: interactive program synthesis with control structures

Shraddha Barke, Hila Peleg, Sorin Lerner et al. · Proceedings of the ACM on Programming Languages · 2021 · 16 citations · Full text

, , +21

1–5 of 5