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

2023

‹Programming›

Committee Member in Artifact Evaluation Committee within the Artifacts-track

2022

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track

ECOOP

2021

Scala

Committee Member in Program Committee within the Scala-track

SPLASH

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2020

SPLASH

Scala

Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track

2019

SPLASH

2018

Scala

Author of κDOT: Scaling DOT with Mutation and Constructors within the Scala 2018-track

2017

SPLASH

Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track