Here are a list of my publications.
- Ifaz Kabir, Yufeng Li, Ondřej Lhoták. (2020) ιDOT: A DOT Calculus with Object Initialization. 🏆 Distinguished Artifact Award [pdf] [bib] [presentation] [tech-report]
- Ifaz Kabir, Ondřej Lhoták. (2018) κDOT: Scaling DOT with Mutation and Constructors. [pdf] [bib]
- Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh. (2018) StringFuzz: A Fuzzer for String Solvers. [doi] [bib]
- Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták. (2017) A Simple Soundness Proof for Dependent Object Types. 🏆 Distinguished Artifact Award [pdf] [bib]