研究议程
我的研究是软件工程和机器学习的交叉点,重点是构建神经符号人工智能系统,帮助程序员和最终用户编写代码。收件人为此,我开发了提供强大通用性和正确性保证的开发系统,需要更少的数据并生成可解释的代码。此外,我的研究还调查了它的威力人工智能大型语言模型通过人类的视角改变了编程领域计算机交互以及我们如何构建更有用的工具来更好地集成语言模型程序员的工作流程。
研究领域:编程语言,人工智能,人机交互。
出版物
*同等贡献。我的谷歌学者.
-
使用大型语言模型解决以数据为中心的任务,什拉达·巴克克里斯蒂安·波利茨(Christian Poelitz)、卡琳娜·苏珊娜·内格拉诺(Carina Suzana Negreanu)、本杰明·佐恩(Benjamin Zorn)、何塞·坎布罗内罗(JoséCambronero)、安德鲁·德·戈登(Andrew D Go,Elnaz Nouri、Nadia Polikarpova、Advait Sarkar、Brian Slininger、Neil Toronto、Jack Williams。
NAACL 2024调查结果(计算语言学协会北美分会)
(纸)
-
固定的Copilot:程序员如何与代码生成模型交互,苏拉答巴克*,迈克尔·詹姆斯*纳迪娅·波里卡波娃(Nadia Polikarpova)。OOPSLA 2023年(面向对象编程、系统、语言和应用) 杰出论文奖🏆
(纸张)
(代码)
(谈话)
-
LooPy:具有控制结构的交互式程序综合、卡斯拉费尔多西法德,苏拉答巴克希拉·佩莱格、索林·勒纳、纳迪娅·波里卡波娃。OOPSLA 2021年(面向对象编程、系统、语言和应用程序)
(纸)
(代码)
(谈话)
(演示)
-
自下而上枚举综合的实时学习。
什拉达·巴克Hila Peleg和Nadia Polikarpova。2020年奥运会(面向对象编程、系统、语言和应用程序)
(纸)
(扩展)
(代码)
(谈话)
(幻灯片)
-
程序转换的反馈驱动半监督综合。向高,什拉达·巴克、Arjun Radhakrishna、Gustavo Soares、Sumit Gulwani、Alan Leung、NachiappanNagappan和Ashish Tiwari。OOPSLA 2020年(面向对象编程、系统、语言和应用程序)
(纸)
(谈话)
(幻灯片)
(演示)
(博客)
-
语音过程的基于约束的学习。
什拉达·巴克罗斯·昆克尔(Rose Kunkel)、纳迪娅·波里卡波娃(Nadia Polikarpova)、埃里克·梅恩哈特(Eric Meinhardt)、艾里克·巴科维奇(Eric Baković)和利昂·伯根(Leon Bergen)。EMNLP 2019年(自然语言处理中的经验方法)
(纸)
(代码)
(谈话)
(幻灯片)
软件
-
接地副驾驶(github)
复制包用于对程序员如何与Copilot(Rust,Python)交互进行扎根的理论分析。
-
LooPy(循环)(github)
交互式程序合成器,支持控制结构和实时执行,集成在IDE(Scala)中。
-
探查(github)
通过实时学习部分解决方案,概率引导合成器优于非引导搜索(Scala)。
-
SyPhon公司(github)
用于学习人类语言语音规则的基于约束的程序合成系统(Python)。
会谈
-
大型语言模型如何革新程序合成,犹他大学,2023年。
-
固定的Copilot:程序员如何与代码生成模型交互,MSR雷德蒙,2022年。
-
基于约束的语音过程学习,UCSD研究开放日,2022年。
-
自底向上枚举综合的实时学习,PLDI 2022,圣地亚哥。
-
自底向上枚举综合的实时学习,OOPSLA 2020,远程。
-
基于约束的语音过程学习,EMNLP 2019,香港。
-
弱记忆模型的栅栏综合,2016年班加罗尔IISc暑期学校。
-
使用Linux内核深入开源,Grace Hopper 2016,班加罗尔。
教学
学术服务
-
POPL 2024、POPL 2020,学生志愿者搭档
-
高原2024、学生组织者和审核人
-
ACL 2023、2022ARR项目委员会
-
ICFP 2023、OOPSLA 2021、CAV 2021,艺术品评估委员会
-
ICLR 2023年代码项目委员会深度学习
-
SIGPLAN-M 2022-2024年,指导运营委员会
-
PLDI 2022、PLDI 2019、ASE 2019,学生志愿者
外联
- 2022年,加州大学圣地亚哥分校教师招聘学生代表
- 2018-2020年,加州大学圣地亚哥分校CSE多样性、公平性和包容性委员会
- 2019-2020年,加州大学圣地亚哥分校计算机专业女性研究生协调员
- 2019年,加州大学圣地亚哥分校博士招生学生委员会
- 2017-2019年,Outreach Linux内核协调员