Elizabeth Dinella

According to our database, Elizabeth Dinella authored at least 10 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

CRQBench: A Benchmark of Code Reasoning Questions.

Elizabeth Dinella, Satish Chandra, Petros Maniatis

CoRR, 2024

Inferring Natural Preconditions via Program Transformation.

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

DeepMerge: Learning to Merge Programs.

Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri

IEEE Trans. Software Eng., April, 2023

Program Structure Aware Precondition Generation.

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik

CoRR, 2023

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

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

TOGA: A Neural Method for Test Oracle Generation.

Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Neural Unit Test Suggestions.

Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan

CoRR, 2021

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

2020

Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.

Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang

Proceedings of the 8th International Conference on Learning Representations, 2020

2018

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

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018