mbarbar.net ‖ home | software | papers | Papers
Mohamad Barbar. Data Structures for Points-To Analysis. 2022. (Dissertation). [PDF] Mohamad Barbar, Yulei Sui. Compacting Points-To Sets Through Object Clustering. OOPSLA 2021. [PDF] Mohamad Barbar, Yulei Sui. Hash Consed Points-To Sets. SAS 2021. [PDF] Mohamad Barbar, Yulei Sui, Shiping Chen. Object Versioning for Flow-Sensitive Pointer Analysis. CGO 2021. [PDF] [Errata PDF] See Chapter 3 of the dissertation above for a more comprehensive view of this work. Mohamad Barbar, Yulei Sui, Shiping Chen. Flow-Sensitive Type-Based Heap Cloning. ECOOP 2020. [PDF] Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue. Live Path Control Flow Integrity. ICSE 2018. (Poster). [PDF] Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue. Live Path CFI Against Control Flow Hijacking Attacks. ACISP 2018. (Short paper). [PDF]