Ifaz Kabir

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 5

Top Topics

Satisfiability Modulo Theories

Backtracking Search

Top Venues

Proc. ACM Program. Lang.

Publications

Ifaz Kabir, Yufeng Li, Ondrej Lhoták
ιDOT: a DOT calculus with object initialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ifaz Kabir, Ondrej Lhoták
κDOT: scaling DOT with mutation and constructors. SCALA@ICFP (2018)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
StringFuzz: A Fuzzer for String Solvers. CAV (2) (2018)
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A Simple Soundness Proof for Dependent Object Types. CoRR (2017)
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A simple soundness proof for dependent object types. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)