| 2025 | CPP | Nominal Matching Logic with Fixpoints. | Mircea Sebe, Maribel Fernndez, James Cheney |
| 2022 | DOLAP | Measuring Discord Among Multidimensional Data Sources. | Alberto Abell, James Cheney |
| 2022 | GPCE | Language-Integrated Query for Temporal Data. | Simon Fowler, Vashti Galpin, James Cheney |
| 2022 | PPDP | Nominal Matching Logic. | James Cheney, Maribel Fernndez |
| 2021 | ESOP | Query Lifting - Language-integrated query for heterogeneous nested collections. | Wilmer Ricciotti, James Cheney |
| 2021 | IJCAI | A Rule Mining-based Advanced Persistent Threats Detection System. | Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev |
| 2021 | PPDP | A Typed Slicing Compilation of the Polymorphic RPC calculus. | Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders |
| 2020 | FSCD | Strongly Normalizing Higher-Order Relational Queries. | Wilmer Ricciotti, James Cheney |
| 2020 | PADL | Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. | Sheung Chi Chan, James Cheney |
| 2020 | PLDI | FreezeML: complete and easy type inference for first-class polymorphism. | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
| 2019 | ILP | Towards Meta-interpretive Learning of Programming Language Semantics. | Sndor Bartha, James Cheney |
| 2019 | Middleware | ProvMark: A Provenance Expressiveness Benchmarking System. | Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer |
| 2019 | MPC | Verified Self-Explaining Computation. | Jan Stolarek, James Cheney |
| 2018 | ICTAC | Explicit Auditing. | Wilmer Ricciotti, James Cheney |
| 2017 | CSL | Strongly Normalizing Audited Computation. | Wilmer Ricciotti, James Cheney |
| 2017 | ECOOP | muPuppet: A Declarative Subset of the Puppet Configuration Language. | Weili Fu, Roly Perera, Paul Anderson, James Cheney |
| 2016 | CONCUR | Causally Consistent Dynamic Slicing. | Roly Perera, Deepak Garg, James Cheney |
| 2016 | PPDP | Language-integrated provenance. | Stefan Fehrenbach, James Cheney |
| 2016 | TAP | Advances in Property-Based Testing for \alpha Prolog. | James Cheney, Alberto Momigliano, Matteo Pessina |
| 2015 | MPC | Notions of Bidirectional Computation and Entangled State Monads. | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
| 2014 | EDBT | Towards a Repository of Bx Examples. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons |
| 2014 | EDBT | Entangled State Monads. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh |
| 2014 | PEPM | Effective quotation: relating approaches to language-integrated query. | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
| 2014 | PPDP | Database Queries that Explain their Work. | James Cheney, Amal Ahmed, Umut A. Acar |
| 2014 | WWW | Dynamic provenance for SPARQL updates using named graphs. | Harry Halpin, James Cheney |
| 2014 | SIGMOD | Query shredding: efficient relational evaluation of queries over nested multisets. | James Cheney, Sam Lindley, Philip Wadler |
| 2013 | EDBT | The W3C PROV family of specifications for modelling provenance metadata. | Paolo Missier, Khalid Belhajjame, James Cheney |
| 2013 | EDBT | Provenance for seismological processing pipelines in a distributed streaming workflow. | Alessandro Spinuso, James Cheney, Malcolm P. Atkinson |
| 2013 | ICFP | A practical theory of language-integrated query. | James Cheney, Sam Lindley, Philip Wadler |
| 2013 | SC | Semantics and provenance for processing element composition in dispel workflows. | Eric Griffis, Paul Martin, James Cheney |
| 2012 | ICFP | Functional programs that explain their work. | Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy |
| 2011 | CPP | Mechanizing the Metatheory of mini-XQuery. | James Cheney, Christian Urban |
| 2011 | ICDT | Satisfiability algorithms for conjunctive queries over trees. | James Cheney |
| 2011 | SIGMOD | DBWiki: a structured wiki for curated data and collaborative data management. | Peter Buneman, James Cheney, Sam Lindley, Heiko Mller |
| 2009 | GECCO | Estimating the distribution and propagation of genetic programming building blocks through tree compression. | Robert I. McKay, Xuan Hoai Nguyen, James Cheney, Minhyeok Kim, Naoki Mori, Tuan Hao Hoang |
| 2009 | OOPSLA | Provenance: a future history. | James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren |
| 2008 | EDBT | ACCOn: checking consistency of XML write-access control policies. | Loreto Bravo, James Cheney, Irini Fundulaki |
| 2008 | ESOP | Regular Expression Subtyping for XML Query and Update Languages. | James Cheney |
| 2008 | ICFP | FLUX: functional updates for XML. | James Cheney |
| 2008 | LICS | Mechanizing the Metatheory of LF. | Christian Urban, James Cheney, Stefan Berghofer |
| 2008 | PLDI | Resource bound analysis for database queries. | James Cheney, Morten Dahl |
| 2008 | PODS | Curated databases. | Peter Buneman, James Cheney, Wang Chiew Tan, Stijn Vansummeren |
| 2007 | ICDT | On the Expressiveness of Implicit Provenance in Query and Update Languages. | Peter Buneman, James Cheney, Stijn Vansummeren |
| 2007 | PPDP | Mechanized metatheory model-checking. | James Cheney, Alberto Momigliano |
| 2006 | DCC | Tradeoffs in XML Database Compression. | James Cheney |
| 2006 | ICLP | The Semantics of Nominal Logic Programs. | James Cheney |
| 2006 | SIGMOD | Provenance management in curated databases. | Peter Buneman, Adriane Chapman, James Cheney |
| 2005 | FOSSACS | A Simpler Proof Theory for Nominal Logic. | James Cheney |
| 2005 | ICFP | Scrap your nameplate: (functional pearl). | James Cheney |
| 2005 | ICFP | Toward a general theory of names: binding and scope. | James Cheney |
| 2004 | ICALP | The Complexity of Equivariant Unification. | James Cheney |
| 2004 | ICLP | alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. | James Cheney, Christian Urban |
| 2004 | LICS | A Sequent Calculus for Nominal Logic. | Murdoch Gabbay, James Cheney |
| 2002 | HASKELL | A lightweight implementation of generics and dynamics. | James Cheney, Ralf Hinze |
| 2002 | PLDI | Region-Based Memory Management in Cyclone. | Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
| 2002 | USENIX | Cyclone: A Safe Dialect of C. | Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang |
| 2001 | DCC | Compressing XML with Multiplexed Hierarchical PPM Models. | James Cheney |
| 2000 | DCC | Statistical Models for Term Compression. | James Cheney |