• Sign in
  • Sign up
conf.researchr.org / Ifaz Kabir
  • ICFP 2018 profile
  • PLDI 2021 profile
  • SPLASH 2017 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
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

Share
xFri 26 Feb 18:08
using conf.researchr.org (v1.42.1)
Support page
Sign Up