Oleg Kiselyov -

Registered user since Thu 7 Jan 2016

Name:Oleg Kiselyov

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