Cited By
View all- Ji RKong CXiong YHu Z(2023)Improving Oracle-Guided Inductive Synthesis by Efficient Question SelectionProceedings of the ACM on Programming Languages10.1145/35860557:OOPSLA1(819-847)Online publication date: 6-Apr-2023
- Xu ZTian YZhang MZhao GJiang YSun C(2023)Pushing the Limit of 1-Minimality of Language-Agnostic Program ReductionProceedings of the ACM on Programming Languages10.1145/35860497:OOPSLA1(636-664)Online publication date: 6-Apr-2023
- Zhang GMariano BShen XDillig I(2023)Automated Translation of Functional Big Data Queries to SQLProceedings of the ACM on Programming Languages10.1145/35860477:OOPSLA1(580-608)Online publication date: 6-Apr-2023
- Show More Cited By