James Cheney

Registered user since Fri 6 Mar 2015

Name:James Cheney
Country:United Kingdom
Affiliation:University of Edinburgh

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
GPCE 2022 Author of Language-Integrated Query for Temporal Data within the GPCE -track
ICFP 2022 Author of Constraint-based type inference for FreezeML within the ICFP Papers and Events-track
ProLaLa 2022 Author of Probabilistic programming for Employment Tribunal remedies within the ProLaLa Programming Languages and the Law-track
PADL 2022 Program Co-Chair in Programme Chairs within the PADL 2022-track
Session Chair of Invited talk (part of PADL 2022)
CONFLANG 2021 Author of Provenance of Configuration Programming Language muPuppet within the CONFLANG-track
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
Author of One Down, 699 to Go: or, Synthesising Compositional Desugarings within the OOPSLA-track
PLDI 2020 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
PADL 2020 Author of Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming within the PADL 2020-track
Session Chair of Small Languages and Implementation (part of PADL 2020)
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
ML 2019 Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track
DBPL 2019 Author of Mixing set and bag semantics within the DBPL 2019-track
Author of Language-integrated provenance by trace analysis within the DBPL 2019-track
ProWeb'19 Author of TryLinks: An interactive tutorial system for a cross-tier Web programming language within the ProWeb'19-track
ICFP 2018 Author of Incremental Relational Lenses within the Research Papers-track
Bx 2018 Committee Member in Programme Committee within the Bx 2018-track
‹Programming› 2018 Committee Member in Jury within the Student Research Competition-track
Author of Language-integrated provenance in Haskell within the Research Papers-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
ICFP 2017 Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track
ECOOP 2017 Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track
IC 2017 Author of Incremental Relational Lenses within the IC 2017-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
Haskell 2016 Committee Member in Program Committee within the Haskell-track
DBPL 2015 Program Co-Chair in Program Committee within the DBPL-track
Session Chair of Session 1: Keynote (part of DBPL)