Hoppity: Learning graph transformations to detect and fix bugs in programs E Dinella, H Dai, Z Li, M Naik, L Song, K Wang International conference on learning representations (ICLR), 2020 | 229 | 2020 |
Toga: A neural method for test oracle generation E Dinella, G Ryan, T Mytkowicz, SK Lahiri Proceedings of the 44th International Conference on Software Engineering …, 2022 | 78 | 2022 |
Deepmerge: Learning to merge programs E Dinella, T Mytkowicz, A Svyatkovskiy, C Bird, M Naik, S Lahiri IEEE Transactions on Software Engineering 49 (4), 1599-1614, 2022 | 29 | 2022 |
Program merge conflict resolution via neural transformers A Svyatkovskiy, S Fakhoury, N Ghorbani, T Mytkowicz, E Dinella, C Bird, ... Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 20 | 2022 |
Mergebert: Program merge conflict resolution via neural transformers A Svyatkovskiy, T Mytkowicz, N Ghorbani, S Fakhoury, EA Dinella, C Bird, ... | 8 | 2021 |
Google Brain, Ziyang Li, Mayur Naik, Le Song, Georgia Tech, and Ke Wang. 2020 E Dinella, H Dai Hoppity: Learning Graph Transformations To Detect and Fix Bugs in Programs, 1-17, 2020 | 4 | 2020 |
Automated merge conflict resolution C Bird, E Dinella, SK Lahiri, TD Mytkowicz, N Sundaresan, A Svyatkovskiy US Patent App. 17/175,521, 2022 | 2 | 2022 |
Neural Unit Test Suggestions E Dinella, SK Lahiri, T Mytkowicz, G Ryan arXiv preprint arXiv:2109.09262, 2021 | 1 | 2021 |
Program Analysis Tools in Automated Grading of Homework Assignments A Milanova, B Cutler, B Holzbauer, E Maicus, S Breese, E Dinella, ... Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018 | 1 | 2018 |
Program Structure Aware Precondition Generation E Dinella, S Lahiri, M Naik arXiv preprint arXiv:2310.02154, 2023 | | 2023 |
NEURAL INFERENCE OF PROGRAM SPECIFICATIONS E Dinella University of Pennsylvania, 2023 | | 2023 |
Graph Representations in Traditional and Neural Program Analysis E Dinella GCM 2022 Graph Computation Models, 99, 0 | | |
Supporting Team Submissions and Peer Grading within Submitty M Peveler, S Breese, E Maicus, A Aikens, T Cyrus, E Dinella, J Anderson, ... | | |