Ifaz Kabir

According to our database, Ifaz Kabir authored at least 4 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

ιDOT: a DOT calculus with object initialization.

Ifaz Kabir, Yufeng Li, Ondrej Lhoták

Proc. ACM Program. Lang., 2020

2018

κDOT: scaling DOT with mutation and constructors.

Ifaz Kabir, Ondrej Lhoták

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

StringFuzz: A Fuzzer for String Solvers.

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A simple soundness proof for dependent object types.

Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták

Proc. ACM Program. Lang., 2017