| Generalizing Zeckendorf's Theorem to f-decompositions P Demontigny, T Do, A Kulkarni, SJ Miller, D Moon, U Varma Journal of Number Theory 141, 136-158, 2014 | 54 | 2014 |
| Filling typed holes with live GUIs C Omar, D Moon, A Blinn, I Voysey, N Collins, R Chugh Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 43 | 2021 |
| An Integrative Human-Centered Architecture for Interactive Programming Assistants A Blinn, D Moon, E Griffis, C Omar 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022 | 12 | 2022 |
| Sets characterized by missing sums and differences in dilating polytopes T Do, A Kulkarni, SJ Miller, D Moon, J Wellens, J Wilcox Journal of Number Theory 157, 123-153, 2015 | 11 | 2015 |
| Sums and differences of correlated random sets T Do, A Kulkarni, SJ Miller, D Moon, J Wellens Journal of Number Theory 147, 44-68, 2015 | 10 | 2015 |
| Live pattern matching with typed holes Y Yuan, S Guest, E Griffis, H Potter, D Moon, C Omar Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 609-635, 2023 | 7 | 2023 |
| tylr: a tiny tile-based structure editor D Moon, A Blinn, C Omar Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven …, 2022 | 7 | 2022 |
| Gradual structure editing with obligations D Moon, A Blinn, C Omar 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2023 | 6 | 2023 |
| Structure Editing of Well-Typed Expressions D Moon, C Omar International Conference on Functional Programming, 2019 | | 2019 |
| Flexible Structure Editing of Well-Typed Expressions D Moon, C Omar, RB Shapiro | | |
| Totally Live Programming in Hazel (Progress Report) C OMAR, A BLINN, D MOON | | |
| More Sums Than Differences Sets T Do, A Kulkarni, D Moon, J Wellens, S REU | | |
| Sets with More Sums Than Differences T Do, A Kulkarni, D Moon, J Wellens | | |
