Peer-reviewed Publications:

  • 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.
  • Sahar Badihi, Abbas Heydarnoori. CrowdSummarizer Automated Generation of Code Summaries for Java Programs through Crowdsourcing. IEEE Software, 2017.

Copyright © All rights reserved | This template is made with by Colorlib