Ifaz Kabir -

Registered user since Sun 19 Aug 2018

Name: Ifaz Kabir

Affiliation: University of Alberta

Research interests: Programming Languages, Type Systems, Logic, Functional Programming, Compilers and Interpreters

Contributions

PLDI 2021	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Scala 2020	Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track
SPLASH 2020	Session Chair of M-6 (part of OOPSLA) Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track
SPLASH 2019	Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track Panelist in Speakers & Panelists within the PLMW-track
Scala 2018	Author of κDOT: Scaling DOT with Mutation and Constructors within the Scala 2018-track
SPLASH 2017	Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track