James Cheney

Registered user since Fri 6 Mar 2015

Name:James Cheney
Affiliation:University of Edinburgh, UK

Contributions

PADL 2022 Program Co-Chair in Programme Chairs within the PADL 2022-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
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)
PLDI 2020 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI 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 2019 Committee Member in External Review Committee within the Research Papers-track
Bx 2018 Committee Member in Programme Committee within the Bx 2018-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
ICFP 2018 Author of Incremental Relational Lenses within the Research Papers-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
IC 2017 Author of Incremental Relational Lenses within the IC 2017-track
ICFP 2017 Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Haskell 2016 Committee Member in Program Committee within the Haskell-track
ECOOP 2017 Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
DBPL 2015 Program Co-Chair in Program Committee within the DBPL-track
Session Chair of Session 1: Keynote (part of DBPL)