A simple soundness proof for dependent object types. - Marianna Rapoport; Ifaz Kabir; Paul He; Ondrej Lhoták (Proc. ACM Program. Lang., 2017)

StringFuzz: A Fuzzer for String Solvers. - Dmitry Blotsky; Federico Mora 002; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh 001 (CAV (2), 2018)

κDOT: scaling DOT with mutation and constructors. - Ifaz Kabir; Ondrej Lhoták (SCALA@ICFP, 2018)

ιDOT: a DOT calculus with object initialization. - Ifaz Kabir; Yufeng Li; Ondrej Lhoták (Proc. ACM Program. Lang., 2020)