Shraddha Barke

18 papers A* 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
AgentRx: Diagnosing AI Agent Failures from Execution Trajectories.
CoRR
Shraddha Barke, Arnav Goyal, Alind Khare, Avaljot Singh, Suman Nath, Chetan Bansal
2026 J jnl
Willful Disobedience: Automatically Detecting Failures in Agentic Traces.
CoRR
Reshabh K. Sharma, Shraddha Barke, Benjamin Zorn
2025 J jnl
PromptPex: Automatic Test Generation for Language Model Prompts.
CoRR
Reshabh K. Sharma, Jonathan de Halleux, Shraddha Barke, Ben Zorn
2025 J jnl
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.
CoRR
Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
2024 A* conf
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.
NeurIPS
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
2024 J jnl
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.
CoRR
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
2024 — —
Neuro-Symbolic Program Synthesis for Data-Efficient Learning
Shraddha Barke
2024 — conf
Solving Data-centric Tasks using Large Language Models.
NAACL-HLT (Findings)
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
2024 J jnl
Solving Data-centric Tasks using Large Language Models.
CoRR
Shraddha Barke, Christian Pölitz, Carina Suzana Negreanu, Benjamin G. Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2023 J jnl
Grounded Copilot: How Programmers Interact with Code-Generating Models.
Proc. ACM Program. Lang.
Shraddha Barke, Michael B. James, Nadia Polikarpova
2022 J jnl
Grounded Copilot: How Programmers Interact with Code-Generating Models.
CoRR
Shraddha Barke, Michael B. James, Nadia Polikarpova
2021 J jnl
LooPy: interactive program synthesis with control structures.
Proc. ACM Program. Lang.
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2020 J jnl
Feedback-driven semi-supervised synthesis of program transformations.
Proc. ACM Program. Lang.
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
2020 J jnl
Just-in-Time Learning for Bottom-Up Enumerative Synthesis.
CoRR
Shraddha Barke, Hila Peleg, Nadia Polikarpova
2020 J jnl
Just-in-time learning for bottom-up enumerative synthesis.
Proc. ACM Program. Lang.
Shraddha Barke, Hila Peleg, Nadia Polikarpova
2019 — conf
Constraint-based Learning of Phonological Processes.
EMNLP/IJCNLP (1)
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen
2019 J jnl
Targeted Synthesis for Programming with Data Invariants.
CoRR
John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner
2018 — conf
Collaborative Work Management with a Highly-Available Kanban Board.
Principled Software Development
Annette Bieniusa, Peter Zeller, Shraddha Barke