Ifaz Kabir

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
ιDOT: a DOT calculus with object initialization.
Proc. ACM Program. Lang., 2020

2018
κDOT: scaling DOT with mutation and constructors.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

StringFuzz: A Fuzzer for String Solvers.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
A simple soundness proof for dependent object types.
Proc. ACM Program. Lang., 2017


  Loading...