Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robert Atkey
conf.researchr.org general profile
APLAS 2020 profile
ECOOP 2019 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2024 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
‹Programming› 2018 profile
Registered user since Tue 3 Oct 2017
Name:
Robert Atkey
Affiliation:
University of Strathclyde
Personal website:
http://bentnib.org/
Contributions
2025
POPL
Author in Selection Committee within the Student Research Competition-track
Committee Member in Program Committee within the POPL-track
2024
ICFP
PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
TyDe
Committee Member in Program Committee within the TyDe 2024-track
POPL
Author of Polynomial Time and Dependent types within the POPL-track
CPP
PC Member in Program Committee within the CPP 2024-track
Session Chair of Formalizations of Category Theory (part of CPP 2024)
2023
POPL
Speaker of Semantics II: Session Preview within the Session Previews-track
CPP
Author of Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively within the CPP 2023-track
2022
POPL
Committee Member in Program Committee within the POPL-track
2021
ML
Committee Member in Program Committee within the ML 2021-track
Session Chair of Compiler & Language Correctness (part of ML 2021)
PEPM
Committee Member in Program Committee within the PEPM 2021-track
Session Chair of Session 3 (part of PEPM 2021)
2020
APLAS
Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track
TyDe
Committee Member in Program Committee within the TyDe 2020-track
2019
ICFP
Session Chair of The Real World (part of Research Papers)
Author of Dijkstra Monads for All within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
ML
Author of An Idris Foreign Function Interface to OCaml within the ML 2019-track
ECOOP
Committee Member in Program Committee within the Research Papers-track
DICE-FOPARA
Committee Member in Program Committee within the DICE-FOPARA-track
POPL
Committee Member in Program Committee within the Research Papers-track
Off the Beaten Track
General Co-Chair in Organizing Committee within the Off the Beaten Track 2019-track
2018
ICFP
Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
TyDe
Author of Extended Abstract: Context Constrained Computing within the TyDe 2018-track
ProWeb
Author of Handlers.Js within the ProWeb 2018-track
Off the Beaten Track
General Chair in Organizing Committee within the Off the Beaten Track 2018-track
2017
ICFP
Committee Member in Program Committee within the Research Papers-track
FSCD
Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
Off the Beaten Track
Program Chair in Organizing Committee within the OBT-track
2016
HOPE
Committee Member in Program Committee within the HOPE-track
Off the Beaten Track
Keynote Speaker of Keynote Talk: Generalising Abstraction within the Off the Beaten Track-track
POPL
Session Chair of Track 2: Types and Foundations (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
Share
x
Thu 21 Nov 14:56
