About Me

I’m a fourth-year PhD student at the University of Pennsylvania advised by Professor Mayur Naik. I recieved my B.S. in computer science from Rensselaer Polytechnic Institute in 2018. My research interests lie in the fields of software engineering and machine learning. In particular, I am interested in data-driven & neural approaches to traditional program analysis problems.

Arxiv Papers

DeepMerge: Learning to Merge Programs - Under Review
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri

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

Publications

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 (Spotlight) | Talk

Building Program Reasoning Tools using LLVM and Z3
Elizabeth Dinella, Pardis Pashakhanloo, Anthony Canino, Mayur Naik.
POPL 2020 Tutorial

Program Analysis Tools in Automated Grading of Homework Assignments
Elizabeth Dinella, Samuel Breese, Evan Maicus, Barbara Cutler, Buster Holzbauer, Ana Milanova
SIGCSE 2018 Poster

Supporting Team Submission and Peer Grading within Submitty
Matthew Peveler, Samuel Breese, Evan Maicus, Andrew Aikens, Timothy Cyrus, Elizabeth Dinella, James Anderson, Joshua Barthelmess, Marisa Lee, Leon Montealegre, Jessica Wang, Buster Holzbauer, Barbara Cutler, Ana Milanova
SIGCSE 2018 Demo

Education

University of Pennsylvania
Philadelphia, PA - August 2018 to Present
PhD in Computer Science

Rensselaer Polytechnic Institute
Troy, NY - May 2018
B.S. in Computer Science, Summa Cum Laude

Experience

Micrsoft Research: Research Intern
June 2020 to August 2020, May 2021 to August 2021
RiSE Group
Mentors: Shuvendu Lahiri, Todd Mytkowicz, Christian Bird

Rensselaer Polytechnic Institute: Researcher
Troy, NY - January 2017 to May 2018
A Common AST for Multi-Language Analysis on Submitty
Advisor: Ana Milanova

Microsoft: Typescript Team Intern
Redmond, WA - May 2018 to August 2018
Designed and implemented a pattern based refactoring tool for Visual Studio Code. Automatically refactors functions that return Promise chains of .then() and .catch() calls to async functions that leverage the await keyword.

Invited Talks

Teaching

CIS 547 / CIS 573 Graduate Teaching Assistant
University of Pennsylvania - Software Analysis & Testing

Undergraduate Programming Mentor
Rensselaer Polytechnic Institute - Data Structures (CS 1200), Computer Science 1 (CS 1100)

Service

MSR Mining Challenge @ICSE 2021
Program Committee

NLP4Prog @EACL 2021
Program Committee