Shraddha Barke

According to our database, Shraddha Barke authored at least 14 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

AgentRx: Diagnosing AI Agent Failures from Execution Trajectories.

Shraddha Barke, Arnav Goyal, Alind Khare, Avaljot Singh, Suman Nath, Chetan Bansal

CoRR, February, 2026

Willful Disobedience: Automatically Detecting Failures in Agentic Traces.

Reshabh K. Sharma, Shraddha Barke, Benjamin Zorn

Proceedings of the ACM Conference on AI and Agentic Systems, 2026

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, Sarah Fakhoury

CoRR, August, 2025

PromptPex: Automatic Test Generation for Language Model Prompts.

Reshabh K. Sharma, Jonathan de Halleux, Shraddha Barke, Ben Zorn

CoRR, March, 2025

2024

Neuro-Symbolic Program Synthesis for Data-Efficient Learning

Shraddha Barke

PhD thesis, 2024

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.

Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Solving Data-centric Tasks using Large Language Models.

Shraddha Barke, Christian Pölitz, Carina Negreanu, Benjamin Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

2023

Grounded Copilot: How Programmers Interact with Code-Generating Models.

Shraddha Barke, Michael B. James, Nadia Polikarpova

Proc. ACM Program. Lang., April, 2023

2021

LooPy: interactive program synthesis with control structures.

Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proc. ACM Program. Lang., 2021

2020

Feedback-driven semi-supervised synthesis of program transformations.

Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

Proc. ACM Program. Lang., 2020

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

Shraddha Barke, Hila Peleg, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

2019

Targeted Synthesis for Programming with Data Invariants.

John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner

CoRR, 2019

Constraint-based Learning of Phonological Processes.

Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

2018

Collaborative Work Management with a Highly-Available Kanban Board.

Annette Bieniusa, Peter Zeller, Shraddha Barke

Proceedings of the Principled Software Development, 2018