Shraddha Barke

Senior Researcher

论文与出版物

查看方式：

- 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
  
  August 2025
  
  Preprint
- PromptPex: Automatic Test Generation for Language Model Prompts
  
  Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
  
  March 2025
  
  Preprint
- HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
  
  Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
  
  NeurIPS 2024 | December 2024
  
  Publication
- Solving Data-centric Tasks using Large Language Models
  
  Shraddha Barke, Christian Poelitz, Carina Negreanu, Ben Zorn, José Cambronero, Andy Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
  
  Annual Conference of the North American Chapter of the Association for Computational Linguistics | June 2024
  
  Publication
- Grounded Copilot: How Programmers Interact with Code-Generating Models
  
  Shraddha Barke, Michael James, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2023 | October 2023
  
  Distinguished Paper Award
  
  Publication
- LooPy: Interactive Program Synthesis with Control Structures
  
  Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2021 | October 2021
  
  Publication
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication 视频视频项目
- Just-in-Time Learning for Bottom-Up Enumerative Synthesis
  
  Shraddha Barke, Hila Peleg, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2020 | October 2020
  
  Publication
- Constraint-based Learning of Phonological Processes
  
  Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, Leon Bergen
  
  2019 Empirical Methods in Natural Language Processing | November 2019
  
  Publication

- 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
  
  August 2025
  
  Preprint
- PromptPex: Automatic Test Generation for Language Model Prompts
  
  Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
  
  March 2025
  
  Preprint
- HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
  
  Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
  
  NeurIPS 2024 | December 2024
  
  Publication
- Solving Data-centric Tasks using Large Language Models
  
  Shraddha Barke, Christian Poelitz, Carina Negreanu, Ben Zorn, José Cambronero, Andy Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
  
  Annual Conference of the North American Chapter of the Association for Computational Linguistics | June 2024
  
  Publication
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication 视频视频项目
- 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
  
  August 2025
  
  Preprint
- PromptPex: Automatic Test Generation for Language Model Prompts
  
  Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
  
  March 2025
  
  Preprint
- HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
  
  Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
  
  NeurIPS 2024 | December 2024
  
  Publication
- LooPy: Interactive Program Synthesis with Control Structures
  
  Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2021 | October 2021
  
  Publication
- Just-in-Time Learning for Bottom-Up Enumerative Synthesis
  
  Shraddha Barke, Hila Peleg, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2020 | October 2020
  
  Publication
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication 视频视频项目
- Constraint-based Learning of Phonological Processes
  
  Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, Leon Bergen
  
  2019 Empirical Methods in Natural Language Processing | November 2019
  
  Publication
- Grounded Copilot: How Programmers Interact with Code-Generating Models
  
  Shraddha Barke, Michael James, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2023 | October 2023
  
  Distinguished Paper Award
  
  Publication
- LooPy: Interactive Program Synthesis with Control Structures
  
  Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2021 | October 2021
  
  Publication

- 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
  
  August 2025
  
  Preprint
- PromptPex: Automatic Test Generation for Language Model Prompts
  
  Reshabh Sharma, Jonathan "Peli" de Halleux, Shraddha Barke, Ben Zorn
  
  March 2025
  
  Preprint
- HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
  
  Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
  
  NeurIPS 2024 | December 2024
  
  Publication
- Solving Data-centric Tasks using Large Language Models
  
  Shraddha Barke, Christian Poelitz, Carina Negreanu, Ben Zorn, José Cambronero, Andy Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
  
  Annual Conference of the North American Chapter of the Association for Computational Linguistics | June 2024
  
  Publication
- Grounded Copilot: How Programmers Interact with Code-Generating Models
  
  Shraddha Barke, Michael James, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2023 | October 2023
  
  Distinguished Paper Award
  
  Publication
- LooPy: Interactive Program Synthesis with Control Structures
  
  Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2021 | October 2021
  
  Publication
- Just-in-Time Learning for Bottom-Up Enumerative Synthesis
  
  Shraddha Barke, Hila Peleg, Nadia Polikarpova
  
  OOPSLA (SPLASH) 2020 | October 2020
  
  Publication
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication 视频视频项目
- Constraint-based Learning of Phonological Processes
  
  Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, Leon Bergen
  
  2019 Empirical Methods in Natural Language Processing | November 2019
  
  Publication

Shraddha Barke

论文与出版物

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

PromptPex: Automatic Test Generation for Language Model Prompts

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Solving Data-centric Tasks using Large Language Models

Grounded Copilot: How Programmers Interact with Code-Generating Models

LooPy: Interactive Program Synthesis with Control Structures

Feedback-Driven Semi-Supervised Synthesis of Program Transformations

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Constraint-based Learning of Phonological Processes

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

PromptPex: Automatic Test Generation for Language Model Prompts

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Solving Data-centric Tasks using Large Language Models

Feedback-Driven Semi-Supervised Synthesis of Program Transformations

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

PromptPex: Automatic Test Generation for Language Model Prompts

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

LooPy: Interactive Program Synthesis with Control Structures

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Feedback-Driven Semi-Supervised Synthesis of Program Transformations

Constraint-based Learning of Phonological Processes

Grounded Copilot: How Programmers Interact with Code-Generating Models

LooPy: Interactive Program Synthesis with Control Structures

What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

PromptPex: Automatic Test Generation for Language Model Prompts

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Solving Data-centric Tasks using Large Language Models

Grounded Copilot: How Programmers Interact with Code-Generating Models

LooPy: Interactive Program Synthesis with Control Structures

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Feedback-Driven Semi-Supervised Synthesis of Program Transformations

Constraint-based Learning of Phonological Processes

联系 Shraddha Barke

Microsoft Research Lab – Redmond