Cited By
View all- Cao DKunkel RNandi CWillsey MTatlock ZPolikarpova N(2023)babble: Learning Better Abstractions with E-Graphs and Anti-unificationProceedings of the ACM on Programming Languages10.1145/35712077:POPL(396-424)Online publication date: 11-Jan-2023
- Weitekamp DHarpstead EKoedinger KBernhaupt RMueller FVerweij DAndres JMcGrenere JCockburn AAvellino IGoguey ABjørn PZhao SSamson BKocielnik R(2020)An Interaction Design for Machine Teaching to Develop AI TutorsProceedings of the 2020 CHI Conference on Human Factors in Computing Systems10.1145/3313831.3376226(1-11)Online publication date: 21-Apr-2020
- Miltner AGulwani SLe VLeung ARadhakrishna ASoares GTiwari AUdupa A(2019)On the fly synthesis of edit suggestionsProceedings of the ACM on Programming Languages10.1145/33605693:OOPSLA(1-29)Online publication date: 10-Oct-2019
- Show More Cited By