Sahar Badihi, Faridah Akinotcho, Yi Li, Julia Rubin. ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code. The ACM joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2020 (acceptance rate: 28%).
Michael Cao, Sahar Badihi, Khaled Ahmed, Peiyu Xiong, and Julia Rubin. On Benign Features in Malware Detection. The IEEE/ACM International Conference on Automated Software Engineering (ASE), short paper, 2020.
Sahar Badihi, Yi Li, Julia Rubin. Pruning Unaffected Code in Equivalence Checking of Program Versions. Student Forum at Formal Methods in Computer-Aided Design (FMCAD), short paper, 2019.