1. Mohamad Barbar , Yulei Sui , and Shiping Chen . 2020 . Flow-sensitive type-based heap cloning . In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Schloss Dagstuhl-Leibniz-Zentrum für Informatik. Mohamad Barbar, Yulei Sui, and Shiping Chen. 2020. Flow-sensitive type-based heap cloning. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Schloss Dagstuhl-Leibniz-Zentrum für Informatik.
2. Mohamad Barbar , Yulei Sui , and Shiping Chen . 2021 . Object Versioning for Flow-Sensitive Pointer Analysis. In 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 222--235 . Mohamad Barbar, Yulei Sui, and Shiping Chen. 2021. Object Versioning for Flow-Sensitive Pointer Analysis. In 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 222--235.
3. Path-sensitive value-flow analysis
4. Strictly declarative specification of sophisticated points-to analyses
5. Practical memory leak detection using guarded value-flow analysis