Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only). - Ana L. Milanova; Barbara Cutler; Buster O. Holzbauer; Evan Maicus; Samuel Breese; Elizabeth Dinella; Matthew Peveler (SIGCSE, 2018)

Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. - Elizabeth Dinella; Hanjun Dai; Ziyang Li; Mayur Naik; Le Song; Ke Wang (ICLR, 2020)

MergeBERT: Program Merge Conflict Resolution via Neural Transformers. - Alexey Svyatkovskiy; Todd Mytkowicz; Negar Ghorbani; Sarah Fakhoury; Elizabeth Dinella; Christian Bird; Neel Sundaresan; Shuvendu K. Lahiri (CoRR, 2021)

Neural Unit Test Suggestions. - Elizabeth Dinella; Shuvendu K. Lahiri; Todd Mytkowicz; Gabriel Ryan (CoRR, 2021)

TOGA: A Neural Method for Test Oracle Generation. - Elizabeth Dinella; Gabriel Ryan; Todd Mytkowicz; Shuvendu K. Lahiri (ICSE, 2022)

Program merge conflict resolution via neural transformers. - Alexey Svyatkovskiy; Sarah Fakhoury; Negar Ghorbani; Todd Mytkowicz; Elizabeth Dinella; Christian Bird; Jinu Jang; Neel Sundaresan; Shuvendu K. Lahiri (ESEC/SIGSOFT FSE, 2022)

Program Structure Aware Precondition Generation. - Elizabeth Dinella; Shuvendu K. Lahiri; Mayur Naik (CoRR, 2023)

DeepMerge: Learning to Merge Programs. - Elizabeth Dinella; Todd Mytkowicz; Alexey Svyatkovskiy; Christian Bird; Mayur Naik; Shuvendu K. Lahiri (IEEE Trans. Software Eng., 2023)

Inferring Natural Preconditions via Program Transformation. - Elizabeth Dinella; Shuvendu K. Lahiri; Mayur Naik (SIGSOFT FSE Companion, 2024)

CRQBench: A Benchmark of Code Reasoning Questions. - Elizabeth Dinella; Satish Chandra 001; Petros Maniatis (CoRR, 2024)