Research Agenda
My research is at the intersection of software engineering and machine learning and focuses on
building neurosymbolic AI systems that assist programmers and end users in writing code. To
that end, I develop develop systems that provide strong generalizability and correctness guarantees,
require less data and produce interpretable code. Further, my research also investigates how powerful
AI large language models have changed the landscape of programming through the lens of human
computer interaction and how we can build more usable tools to better integrate language models in
the programmer's workflow.
Research Areas: Programming Languages, Artificial Intelligence, Human Computer Interaction.
Publications
*equal contribution. A complete list including preprints and reports is available on my Google Scholar.
-
Solving Data-centric Tasks using Large Language Models,
Shraddha Barke, Christian Poelitz, Carina Suzana Negreanu, Benjamin Zorn, José Cambronero, Andrew D Gordon, Vu Le,
Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams.
NAACL 2024 Findings (North American Chapter of the Association for Computational Linguistics)
(paper)
-
Grounded Copilot: How Programmers Interact with Code-Generating Models,
Shraddha
Barke*, Michael James*, Nadia Polikarpova. OOPSLA 2023 (Object-oriented
Programming, Systems, Languages, and Applications) Distinguished Paper Award 🏆
(paper)
(code)
(talk)
-
LooPy: Interactive Program Synthesis with Control Structures, Kasra
Ferdowsifard, Shraddha
Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova.
OOPSLA 2021 (Object-oriented Programming, Systems, Languages, and Applications)
(paper)
(code)
(talk)
(demo)
-
Just-in-Time Learning for Bottom-Up Enumerative Synthesis.
Shraddha Barke, Hila Peleg, and Nadia Polikarpova.
OOPSLA 2020 (Object-oriented Programming, Systems, Languages, and Applications)
(paper)
(extended)
(code)
(talk)
(slides)
-
Feedback-Driven Semi-Supervised Synthesis of Program Transformations.
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan
Nagappan, and Ashish Tiwari.
OOPSLA 2020 (Object-oriented Programming, Systems, Languages, and Applications)
(paper)
(talk)
(slides)
(demo)
(blog)
-
Constraint-based Learning of Phonological Processes.
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, and Leon Bergen.
EMNLP 2019 (Empirical Methods in Natural Language Processing)
(paper)
(code)
(talk)
(slides)
Software
-
Grounded Copilot (GitHub)
Replication package for the grounded theory analysis of how programmers interact with Copilot (Rust, Python).
-
LooPy (GitHub)
Interactive program synthesizer that supports control structures and live execution, integrated in an IDE (Scala).
-
Probe (GitHub)
Probability-guided synthesizer that outperforms unguided search by learning from partial solutions on-the-fly
(Scala).
-
SyPhon (GitHub)
Constraint-based program synthesis system for learning phonological rules of human languages (Python).
Talks
-
How Large Language Models Revolutionized Program Synthesis,
University of Utah, 2023.
-
Grounded Copilot: How Programmers Interact with Code-Generating Models,
MSR Redmond, 2022.
-
Constraint-based Learning of Phonological Processes,
UCSD Research Open House, 2022.
-
Just-in-Time Learning for Bottom-Up Enumerative Synthesis,
PLDI 2022, San Diego.
-
Just-in-Time Learning for Bottom-Up Enumerative Synthesis,
OOPSLA 2020, Remote.
-
Constraint-based Learning of Phonological Processes,
EMNLP 2019, Hong Kong.
-
Fence Synthesis for Weak Memory Models,
IISc Summer School 2016, Bangalore.
-
Diving into Open Source with Linux Kernel,
Grace Hopper 2016, Bangalore.
Teaching
-
CSE 130 Programming Languages,
Teaching Assistant, Spring 2024.
-
CS 6353 Deep Learning, University of Utah,
Guest Lecturer, Fall 2023
-
CSE 130 Programming Languages,
Teaching Assistant, Spring 2023.
-
CSE 291 Program
Synthesis, Guest Lecturer, Winter 2023
-
CSE 130 Programming Languages,
Teaching Assistant, Spring 2022
-
CSE 130 Programming Languages,
Teaching Assistant, Fall 2020
-
CSE 130 Programming Languages,
Teaching Assistant, Fall 2019
Academic Service
-
POPL 2024, POPL 2023, Student Volunteer Co-Chair
-
PLATEAU 2024, Student Organizer and Reviewer
-
ACL 2023, 2022, ARR Program Committee
-
ICFP 2023, OOPSLA 2021, CAV 2021, Artifact Evaluation Committee
-
ICLR 2023, Deep Learning for Code Program Committee
-
SIGPLAN-M 2022-2024, Mentoring Operations Committee
-
PLDI 2022, PLDI 2019, ASE 2019, Student Volunteer
Outreach
-
2022, Faculty Hiring Student Representative, UC San Diego
-
2018-2020, CSE Diversity, Equity, and Inclusion Committee, UC San Diego
-
2019-2020, Graduate Women in Computing Coordinator, UC San Diego
-
2019, PhD Admissions Student Committee, UC San Diego
-
2017-2019, Outreachy Linux Kernel Coordinator