Elizabeth Dinella -

Registered user since Wed 27 May 2020

Name:Elizabeth Dinella

Affiliation:Bryn Mawr College

Personal website: https://www.seas.upenn.edu/~edinella/

Contributions

2024

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2024-track

ESEC/FSE

Author of Inferring Natural Preconditions via Program Transformation within the Posters-track

2023

Mining Software Repositories

Committee Member in Industry Track Committee within the Industry Track-track

2022

ASA

Author of Automated Software Testing: Bridging The Gap With Deep Learning within the ASA 2022-track

2021

Mining Software Repositories

Committee Member in Mining Challenge Committee within the Mining Challenge-track

2020

MAPS

Invited Speaker of Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs within the MAPL-track

POPL

Author of [T1] Building Program Reasoning Tools using LLVM and Z3 within the TutorialFest-track