Collaborative Work Management with a Highly-Available Kanban Board. - Annette Bieniusa; Peter Zeller 001; Shraddha Barke (Principled Software Development, 2018)

Constraint-based Learning of Phonological Processes. - Shraddha Barke; Rose Kunkel; Nadia Polikarpova; Eric Meinhardt; Eric Bakovic; Leon Bergen (EMNLP/IJCNLP (1), 2019)

Targeted Synthesis for Programming with Data Invariants. - John Sarracino; Shraddha Barke; Nadia Polikarpova; Sorin Lerner (CoRR, 2019)

Just-in-time learning for bottom-up enumerative synthesis. - Shraddha Barke; Hila Peleg; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

Feedback-driven semi-supervised synthesis of program transformations. - Xiang Gao 012; Shraddha Barke; Arjun Radhakrishna; Gustavo Soares; Sumit Gulwani; Alan Leung; Nachiappan Nagappan; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2020)

LooPy: interactive program synthesis with control structures. - Kasra Ferdowsifard; Shraddha Barke; Hila Peleg; Sorin Lerner; Nadia Polikarpova (Proc. ACM Program. Lang., 2021)

Grounded Copilot: How Programmers Interact with Code-Generating Models. - Shraddha Barke; Michael B. James; Nadia Polikarpova (Proc. ACM Program. Lang., 2023)

Solving Data-centric Tasks using Large Language Models. - Shraddha Barke; Christian Pölitz; Carina Negreanu; Benjamin Zorn 001; José Cambronero; Andrew D. Gordon 001; Vu Le 002; Elnaz Nouri; Nadia Polikarpova; Advait Sarkar; Brian Slininger; Neil Toronto; et al. (NAACL-HLT (Findings), 2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis. - Shraddha Barke; Emmanuel Anaya Gonzalez; Saketh Ram Kasibatla; Taylor Berg-Kirkpatrick; Nadia Polikarpova (NeurIPS, 2024)

Neuro-Symbolic Program Synthesis for Data-Efficient Learning - Shraddha Barke (2024)

PromptPex: Automatic Test Generation for Language Model Prompts. - Reshabh K. Sharma; Jonathan de Halleux; Shraddha Barke; Ben Zorn 001 (CoRR, 2025)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus. - Rijul Jain; Shraddha Barke; Gabriel Ebner; Md Rakib Hossain Misu; Shan Lu 001; Sarah Fakhoury (CoRR, 2025)