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

‹Programming› 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ECOOP 2022 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
Scala 2021 Committee Member in Program Committee within the Scala-track
SPLASH 2021 Author of Current Student Panel within the PLMW-track
Committee Member in Speakers & Panelists within the PLMW-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Scala 2020 Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track
SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-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