Elizabeth Dinella

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Conflict Resolution

Top Venues

SIGSOFT FSE Companion

ESEC/SIGSOFT FSE

Publications

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
Inferring Natural Preconditions via Program Transformation. SIGSOFT FSE Companion (2024)
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
Program Structure Aware Precondition Generation. CoRR (2023)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. IEEE Trans. Software Eng. 49 (4) (2023)
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
TOGA: A Neural Method for Test Oracle Generation. ICSE (2022)
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu K. Lahiri
Program merge conflict resolution via neural transformers. ESEC/SIGSOFT FSE (2022)
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan
Neural Unit Test Suggestions. CoRR (2021)
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu K. Lahiri
MergeBERT: Program Merge Conflict Resolution via Neural Transformers. CoRR (2021)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. CoRR (2021)
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. ICLR (2020)
Ana Milanova, Barbara Cutler, Buster O. Holzbauer, Evan Maicus, Samuel Breese, Elizabeth Dinella, Matthew Peveler
Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only). SIGCSE (2018)