Oleg Kiselyov

Registered user since Thu 7 Jan 2016

Name:Oleg Kiselyov
Personal website:http://okmij.org/ftp/

Contributions

HOPE 2021 Co-chair in Program Committee within the HOPE 2021-track
OCaml 2020 Committee Member in Program Committee within the OCaml 2020-track
Scala 2020 Committee Member in Program Committee within the Scala-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
ML 2019 Author of let (rec) insertion without effects, lights or magic within the ML 2019-track
DBPL 2019 Committee Member in Program Committee within the DBPL 2019-track
VPT 2019 Committee Member in Program Committee within the VPT 2019 -track
PEPM 2019 Author of Generating Mutually Recursive Definitions within the PEPM 2019-track
ML 2018 Author of Generating Mutually Recursive Definitions within the ML 2018-track
Haskell 2018 Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
PEPM 2018 Committee Member in Programme Committee within the PEPM 2018-track
ML 2017 Author of Effects without monads: non-determinism within the ML 2017-track
CUFP 2017 Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them within the CUFP 2017-track
Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) within the CUFP 2017-track
Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) within the CUFP 2017-track
OCaml 2017 Committee Member in Program Committee within the OCaml 2017-track
HOPE 2017 Author of Higher-order Programming is an Effect within the HOPE 2017-track
Scala 2017 Committee Member in Program Committee within the Scala 2017-track
PPS 2017 Author of Metropolis-Hastings for mixtures of conditional distributions within the PPS-track
PEPM 2017 Author of Invited posters within the PEPM 2017-track
Author of Language-integrated Query with Ordering, Grouping and Outer Joins (poster) within the PEPM 2017-track
Scala 2016 Committee Member in Program Committee within the Scala-track
ML 2016 Author of Eff Directly in OCaml within the ML-track
Committee Member in Steering Committee within the ML-track
OCaml 2016 Committee Member in Program Committee within the OCaml-track
TyDe 2016 Author of Parameterized Extensible Effects and Session Types within the TyDe-track
POPL 2017 Author of Stream Fusion, to Completeness within the POPL-track
PPS 2016 Author of Problems of the Lightweight Implementation of Probabilistic Programming within the PPS 2016-track
Panelist of Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? within the PPS 2016-track
ICFP 2016 Author of T2: Extensible Effects: understanding them, implementing them, using them within the Tutorials-track
PEPM 2016 Author of Finally, Safely-Extensible and Efficient Language-Integrated Query within the PEPM-track
Author of Staging beyond Terms: Prospects and Challenges within the PEPM-track
PEPM 2015 Chair in Steering Committee within the PEPM 2015-track