Formally Verified Binary-Level Pointer Analysis. - Freek Verbeek; Ali Shokri 004; Daniel Engel; Binoy Ravindran (ICSE, 2025)

Large Language Model-Powered Agent for C to Rust Code Translation. - HoHyun Sim; Hyeonjoong Cho; Yeonghyeon Go; Zhoulai Fu; Ali Shokri 004; Binoy Ravindran (CoRR, 2025)