基本信息
views: 4
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
we develop state-of-the-art program synthesis technologies to make software development more accessible, productive, and fun. My current line of work focuses on using neurosymbolic techniques for applications ranging from program repair to programming by example, with a particular emphasis on the former.
Research Interests
Papers共 34 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2024)
Cited0Views0EIBibtex
0
0
FOURTEENTH INTERNATIONAL CONFERENCE ON LEARNING ANALYTICS & KNOWLEDGE, LAK 2024 (2024): 12-23
Proc. ACM Program. Lang.no. POPL (2023): 952-981
PROCEEDINGS OF THE VLDB ENDOWMENTno. 10 (2023): 2632-2644
CoRR (2023)
International Computing Education Research Workshop (2023): 41-42
PROCEEDINGS OF THE VLDB ENDOWMENTno. 3 (2023): 497-510
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn