• Sign in
  • Sign up
conf.researchr.org / Iavor Diatchki
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • POPL 2016 profile
  • POPL 2020 profile
Iavor Diatchki

Registered user since Mon 27 Feb 2017

Name:Iavor Diatchki
Affiliation:Galois, Inc.
Personal website: https://galois.com/team/iavor-diatchki/

Contributions

2023

HIW

  • Session Chair of HIW: Session 3 (part of HIW 2023)

2022

Haskell

  • Committee Member in Program Committee within the Haskell 2022-track

2020

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Program Committee within the PADL 2020-track

2019

ICFP

  • Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track
  • Author of Verifying Imperative Programs with SAW within the Tutorials-track

2018

Haskell

  • Session Chair of Session 4 (part of Haskell 2018)

2017

Haskell

  • Chair in Program Committee within the Haskell 2017-track

2016

ICFP

  • Video Chair in Organizing Committee

Haskell

  • Session Chair of Web Technology (part of Haskell)
  • Committee Member in Program Committee within the Haskell-track

PEPM

  • Committee Member in Program Committee within the PEPM-track
Share
xThu 28 Sep 18:49
using conf.researchr.org (v1.61.3)
Support page
Sign Up