Sahar Badihi, Sami Nourji, Julia Rubin. Slicer4D: A Slicing-based Debugger for Java. The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), Tool Demos track, 2024.
Sahar Badihi, Khaled Ahmed, Yi Li, Julia Rubin. Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis. The 45th IEEE/ACM International Conference on Software Engineering (ICSE), 2023 (26% acceptance rate).
Sahar Badihi, Yi Li, and Julia Rubin. EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs. IEEE/ACM 18th International Conference on Mining Software Repositories (MSR), data showcase, 2021.
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 (28% acceptance rate).
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.