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
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
NeurIPS 2024 | December 2024
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
Shraddha Barke, Michael James, Nadia Polikarpova
OOPSLA (SPLASH) 2023 | October 2023
Distinguished Paper Award
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
OOPSLA (SPLASH) 2021 | October 2021
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Shraddha Barke, Hila Peleg, Nadia Polikarpova
OOPSLA (SPLASH) 2020 | October 2020
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, Leon Bergen
2019 Empirical Methods in Natural Language Processing | November 2019
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
NeurIPS 2024 | December 2024
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
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
NeurIPS 2024 | December 2024
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
OOPSLA (SPLASH) 2021 | October 2021
Shraddha Barke, Hila Peleg, Nadia Polikarpova
OOPSLA (SPLASH) 2020 | October 2020
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, Leon Bergen
2019 Empirical Methods in Natural Language Processing | November 2019
Shraddha Barke, Michael James, Nadia Polikarpova
OOPSLA (SPLASH) 2023 | October 2023
Distinguished Paper Award
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
OOPSLA (SPLASH) 2021 | October 2021
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
NeurIPS 2024 | December 2024
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
Shraddha Barke, Michael James, Nadia Polikarpova
OOPSLA (SPLASH) 2023 | October 2023
Distinguished Paper Award
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
OOPSLA (SPLASH) 2021 | October 2021
Shraddha Barke, Hila Peleg, Nadia Polikarpova
OOPSLA (SPLASH) 2020 | October 2020
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Baković, Leon Bergen
2019 Empirical Methods in Natural Language Processing | November 2019