Cited By
View all- Zhang TPeiguo FLiu JZhang YChen X(2024)NLDesign: A UI Design Tool for Natural Language InterfacesProceedings of the ACM Turing Award Celebration Conference - China 202410.1145/3674399.3674455(153-158)Online publication date: 5-Jul-2024
- Naik AStein AWu YNaik MWong E(2024)TorchQL: A Programming Framework for Integrity Constraints in Machine LearningProceedings of the ACM on Programming Languages10.1145/36498418:OOPSLA1(833-863)Online publication date: 29-Apr-2024
- Misu MLopes CMa INoble J(2024)Towards AI-Assisted Synthesis of Verified Dafny MethodsProceedings of the ACM on Software Engineering10.1145/36437631:FSE(812-835)Online publication date: 12-Jul-2024
- Show More Cited By