James Cheney -

Registered user since Fri 6 Mar 2015

Name:James Cheney

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website:http://homepages.inf.ed.ac.uk/jcheney/

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)