ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code. - Sahar Badihi; Faridah Akinotcho; Yi Li 008; Julia Rubin (ESEC/SIGSOFT FSE, 2020)

Mobile Application Coverage: The 30% Curse and Ways Forward. - Faridah Akinotcho; Lili Wei; Julia Rubin (ICSE, 2025)