AI-Assisted Programming: Applications, User Experiences, and Neuro-Symbolic Techniques (Keynote)
被引:4
作者:
Gulwani, Sumit
论文数: 0引用数: 0
h-index: 0
机构:
Microsoft, Redmond, WA 98052 USAMicrosoft, Redmond, WA 98052 USA
Gulwani, Sumit
[1
]
机构:
[1] Microsoft, Redmond, WA 98052 USA
来源:
PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022
|
2022年
关键词:
Program Synthesis;
Symbolic Reasoning;
Machine Learning;
Interactive Programming;