Statistical Models for Term Compression. - James Cheney (Data Compression Conference, 2000)

Compressing XML with Multiplexed Hierarchical PPM Models. - James Cheney (Data Compression Conference, 2001)

Towards a Theory of Information Preservation. - James Cheney; Carl Lagoze; Peter Botticelli (ECDL, 2001)

A lightweight implementation of generics and dynamics. - James Cheney; Ralf Hinze (Haskell, 2002)

Region-Based Memory Management in Cyclone. - Dan Grossman; J. Gregory Morrisett; Trevor Jim; Michael W. Hicks; Yanling Wang; James Cheney (PLDI, 2002)

Cyclone: A Safe Dialect of C. - Trevor Jim; J. Gregory Morrisett; Dan Grossman; Michael W. Hicks; James Cheney; Yanling Wang (USENIX ATC, General Track, 2002)

The Complexity of Equivariant Unification. - James Cheney (ICALP, 2004)

alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. - James Cheney; Christian Urban (ICLP, 2004)

A Sequent Calculus for Nominal Logic. - Murdoch Gabbay; James Cheney (LICS, 2004)

Nominal Logic Programming. - James Cheney (2004)

A Simpler Proof Theory for Nominal Logic. - James Cheney (FoSSaCS, 2005)

Scrap your nameplate: (functional pearl). - James Cheney (ICFP, 2005)

Toward a general theory of names: binding and scope. - James Cheney (MERLIN, 2005)

Avoiding Equivariance in Alpha-Prolog. - Christian Urban; James Cheney (TLCA, 2005)

An Empirical Evaluation of Simple DTD-Conscious Compression Techniques. - James Cheney (WebDB, 2005)

Logic Column 14: Nominal Logic and Abstract Syntax - James Cheney (CoRR, 2005)

Tradeoffs in XML Database Compression. - James Cheney (DCC, 2006)

The Semantics of Nominal Logic Programs. - James Cheney (ICLP, 2006)

A Provenance Model for Manually Curated Data. - Peter Buneman; Adriane Chapman; James Cheney; Stijn Vansummeren (IPAW, 2006)

Provenance management in curated databases. - Peter Buneman; Adriane Chapman; James Cheney (SIGMOD Conference, 2006)

Completeness and Herbrand theorems for nominal logic. - James Cheney (J. Symb. Log., 2006)

Repairing Inconsistent XML Write-Access Control Policies. - Loreto Bravo; James Cheney; Irini Fundulaki (DBPL, 2007)

Lux: A Lightweight, Statically Typed XML Update Language. - James Cheney (PLAN-X, 2007)

Mechanized metatheory model-checking. - James Cheney; Alberto Momigliano (PPDP, 2007)

Program Slicing and Data Provenance. - James Cheney (IEEE Data Eng. Bull., 2007)

Recording Provenance for SQL Queries and Updates. - Stijn Vansummeren; James Cheney (IEEE Data Eng. Bull., 2007)

ACCOn: checking consistency of XML write-access control policies. - Loreto Bravo; James Cheney; Irini Fundulaki (EDBT, 2008)

Regular Expression Subtyping for XML Query and Update Languages. - James Cheney (ESOP, 2008)

FLUX: functional updates for XML. - James Cheney (ICFP, 2008)

Resource bound analysis for database queries. - James Cheney; Morten Dahl (PLAS, 2008)

Curated databases. - Peter Buneman; James Cheney; Wang Chiew Tan; Stijn Vansummeren (PODS, 2008)

Flux: FunctionaL Updates for XML (extended report) - James Cheney (CoRR, 2008)

Provenance Traces - James Cheney; Umut A. Acar; Amal Ahmed 001 (CoRR, 2008)

A Simple Nominal Type Theory. - James Cheney (LFMTP@LICS, 2008)

Report on the Principles of Provenance Workshop. - James Cheney; Peter Buneman; Bertram Ludäscher (SIGMOD Rec., 2008)

On the expressiveness of implicit provenance in query and update languages. - Peter Buneman; James Cheney; Stijn Vansummeren (ACM Trans. Database Syst., 2008)

Nominal logic programming. - James Cheney; Christian Urban (ACM Trans. Program. Lang. Syst., 2008)

Semantics, Types and Effects for XML Updates. - Michael Benedikt; James Cheney (DBPL, 2009)

Estimating the distribution and propagation of genetic programming building blocks through tree compression. - Robert I. McKay; Xuan Hoai Nguyen; James Cheney; Minhyeok Kim 001; Naoki Mori; Tuan Hao Hoang (GECCO, 2009)

Provenance: a future history. - James Cheney; Stephen Chong; Nate Foster; Margo I. Seltzer; Stijn Vansummeren (OOPSLA Companion, 2009)

Provenance in Databases: Why, How, and Where. - James Cheney; Laura Chiticariu; Wang Chiew Tan (Found. Trends Databases, 2009)

Schema-Based Independence Analysis for XML Updates. - Michael Benedikt; James Cheney (Proc. VLDB Endow., 2009)

Workshop on theory and practice of provenance event report. - James Cheney (SIGMOD Rec., 2009)

A Graph Model of Data and Workflow Provenance. - Umut A. Acar; Peter Buneman; James Cheney; Jan Van den Bussche; Natalia Kwasnikowska; Stijn Vansummeren (TaPP, 2010)

Causality and the Semantics of Provenance - James Cheney (DCM, 2010)

Equivariant Unification. - James Cheney (J. Autom. Reason., 2010)

Destabilizers and Independence of XML Updates. - Michael Benedikt; James Cheney (Proc. VLDB Endow., 2010)

Mechanizing the Metatheory of mini-XQuery. - James Cheney; Christian Urban (CPP, 2011)

A Formal Framework for Provenance Security. - James Cheney (CSF, 2011)

Using Links to prototype a Database Wiki. - James Cheney; Sam Lindley; Heiko Müller 001 (DBPL, 2011)

Satisfiability algorithms for conjunctive queries over trees. - James Cheney (ICDT, 2011)

Is provenance logical? - James Cheney (LID, 2011)

DBWiki: a structured wiki for curated data and collaborative data management. - Peter Buneman; James Cheney; Sam Lindley; Heiko Müller 001 (SIGMOD Conference, 2011)

Higher-Order Unification for the λαν calculus. - Ben Kavanagh; James Cheney (UNIF, 2011)

Provenance as dependency analysis. - James Cheney; Amal Ahmed 001; Umut A. Acar (Math. Struct. Comput. Sci., 2011)

The database Wiki project: a general-purpose platform for data curation and collaboration. - Peter Buneman; James Cheney; Sam Lindley; Heiko Müller 001 (SIGMOD Rec., 2011)

Mechanizing the metatheory of LF. - Christian Urban; James Cheney; Stefan Berghofer (ACM Trans. Comput. Log., 2011)

Functional programs that explain their work. - Roly Perera; Umut A. Acar; James Cheney; Paul Blain Levy (ICFP, 2012)

Toward Provenance-Based Security for Configuration Languages. - Paul Anderson 003; James Cheney (TaPP, 2012)

Hierarchical Models of Provenance. - Peter Buneman; James Cheney; Egor V. Kostylev (TaPP, 2012)

Row-based effect types for database integration. - Sam Lindley; James Cheney (TLDI, 2012)

A dependent nominal type theory - James Cheney (Log. Methods Comput. Sci., 2012)

Principles of Provenance (Dagstuhl Seminar 12091). - James Cheney; Anthony Finkelstein; Bertram Ludäscher; Stijn Vansummeren (Dagstuhl Reports, 2012)

Requirements for Provenance on the Web. - Paul Groth; Yolanda Gil; James Cheney; Simon Miles (Int. J. Digit. Curation, 2012)

Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax. - James Cheney; Michael Norrish; René Vestergaard (J. Autom. Reason., 2012)

Editorial - Special issue dedicated to ICFP 2010. - Umut A. Acar; James Cheney; Stephanie Weirich (J. Funct. Program., 2012)

Consistency and repair for XML write-access control policies. - Loreto Bravo; James Cheney; Irini Fundulaki; Ricardo Segovia (VLDB J., 2012)

Toward a Theory of Self-explaining Computation. - James Cheney; Umut A. Acar; Roly Perera (In Search of Elegance in the Theory and Practice of Computation, 2013)

The W3C PROV family of specifications for modelling provenance metadata. - Paolo Missier; Khalid Belhajjame; James Cheney (EDBT, 2013)

Provenance for seismological processing pipelines in a distributed streaming workflow. - Alessandro Spinuso; James Cheney; Malcolm P. Atkinson 001 (EDBT/ICDT Workshops, 2013)

A practical theory of language-integrated query. - James Cheney; Sam Lindley; Philip Wadler (ICFP, 2013)

Semantics and provenance for processing element composition in dispel workflows. - Eric Griffis; Paul Martin 002; James Cheney (WORKS@SC, 2013)

Static Enforceability of XPath-Based Access Control Policies. - James Cheney (DBPL, 2013)

Effective Quotation. - James Cheney; Sam Lindley; Gabriel Radanne; Philip Wadler (CoRR, 2013)

Lenses for Web Data. - Raghu Rajkumar; Nate Foster; Sam Lindley; James Cheney (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A core calculus for provenance. - Umut A. Acar; Amal Ahmed 001; James Cheney; Roly Perera (J. Comput. Secur., 2013)

Revisiting "forward node-selecting queries over trees". - James Cheney (ACM Trans. Database Syst., 2013)

Towards a Repository of Bx Examples. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons (EDBT/ICDT Workshops, 2014)

Entangled State Monads. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons; Faris Abou-Saleh (EDBT/ICDT Workshops, 2014)

An Analytical Survey of Provenance Sanitization. - James Cheney; Roly Perera (IPAW, 2014)

Effective quotation: relating approaches to language-integrated query. - James Cheney; Sam Lindley; Gabriel Radanne; Philip Wadler (PEPM, 2014)

Database Queries that Explain their Work. - James Cheney; Amal Ahmed 001; Umut A. Acar (PPDP, 2014)

Dynamic Provenance for SPARQL Updates. - Harry Halpin; James Cheney (ISWC (1), 2014)

Query shredding: efficient relational evaluation of queries over nested multisets. - James Cheney; Sam Lindley; Philip Wadler (SIGMOD Conference, 2014)

Dynamic provenance for SPARQL updates using named graphs. - Harry Halpin; James Cheney (WWW (Companion Volume), 2014)

Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). - James Cheney; Sam Lindley; Philip Wadler (CoRR, 2014)

Dynamic Provenance for SPARQL Update. - Harry Halpin; James Cheney (CoRR, 2014)

Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). - James Cheney; Torsten Grust; Dimitrios Vytiniotis (Dagstuhl Reports, 2014)

Notions of Bidirectional Computation and Entangled State Monads. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (MPC, 2015)

Towards a Principle of Least Surprise for Bidirectional Transformations. - James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bx@STAF, 2015)

Language-integrated Provenance in Links. - Stefan Fehrenbach; James Cheney (TaPP, 2015)

YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts. - Timothy M. McPhillips; Tianhong Song; Tyler Kolisnik; Steve Aulenbach; Khalid Belhajjame; R. Kyle Bocinsky; Yang Cao; Fernando Chirigati; Saumen C. Dey; Juliana Freire; Deborah N. Huntzinger; Christopher Jones; et al. (CoRR, 2015)

Proof-relevant pi-calculus. - Roly Perera; James Cheney (LFMTP, 2015)

The rationale of PROV. - Luc Moreau 001; Paul Groth; James Cheney; Timothy Lebo; Simon Miles (J. Web Semant., 2015)

Introduction to Bidirectional Transformations. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bidirectional Transformations, 2016)

Reflections on Monadic Lenses. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (A List of Successes That Can Change the World, 2016)

Causally Consistent Dynamic Slicing. - Roly Perera; Deepak Garg 001; James Cheney (CONCUR, 2016)

Advances in Property-Based Testing for alpha Prolog. - James Cheney; Alberto Momigliano; Matteo Pessina (TAP@STAF, 2016)

Provenance Segmentation. - Rui Abreu 001; Dave Archer 001; Erin Chapman; James Cheney; Hoda Eldardiry; Adrià Gascón (TaPP, 2016)

Advances in Property-Based Testing for $α$Prolog. - James Cheney; Alberto Momigliano; Matteo Pessina (CoRR, 2016)

An Operational Semantics for a Fragment of the Puppet Configuration Language. - Weili Fu; James Cheney; Paul Anderson 003 (CoRR, 2016)

A simple sequent calculus for nominal logic. - James Cheney (J. Log. Comput., 2016)

Strongly Normalizing Audited Computation. - Wilmer Ricciotti; James Cheney (CSL, 2017)

muPuppet: A Declarative Subset of the Puppet Configuration Language. - Weili Fu; Roly Perera; Paul Anderson 003; James Cheney (ECOOP, 2017)

Expressiveness Benchmarking for System-Level Provenance. - Sheung Chi Chan; Ashish Gehani; James Cheney; Ripduman Sohan; Hassaan Irshad (TaPP, 2017)

On principles of Least Change and Least Surprise for bidirectional transformations. - James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (J. Object Technol., 2017)

Imperative functional programs that explain their work. - Wilmer Ricciotti; Jan Stolarek; Roly Perera; James Cheney (Proc. ACM Program. Lang., 2017)

Guest Editorial: The Provenance of Online Data. - Adriane Chapman; James Cheney; Simon Miles (ACM Trans. Internet Techn., 2017)

αCheck: A mechanized metatheory model checker. - James Cheney; Alberto Momigliano (Theory Pract. Log. Program., 2017)

Explicit Auditing. - Wilmer Ricciotti; James Cheney (ICTAC, 2018)

Special Issue on Programming Languages for Big Data Editorial. - James Cheney; Torsten Grust (J. Funct. Program., 2018)

Proof-relevant π-calculus: a constructive account of concurrency and causality. - Roly Perera; James Cheney (Math. Struct. Comput. Sci., 2018)

Incremental relational lenses. - Rudi Horn; Roly Perera; James Cheney (Proc. ACM Program. Lang., 2018)

Language-integrated provenance in Haskell. - Jan Stolarek; James Cheney (Art Sci. Eng. Program., 2018)

Language-integrated provenance. - Stefan Fehrenbach; James Cheney (Sci. Comput. Program., 2018)

Provenance in Databases. - James Cheney; Wang-Chiew Tan (Encyclopedia of Database Systems (2nd ed.), 2018)

Language-integrated provenance by trace analysis. - Stefan Fehrenbach; James Cheney (DBPL, 2019)

Mixing set and bag semantics. - Wilmer Ricciotti; James Cheney (DBPL, 2019)

Language-integrated updatable views. - Rudi Horn; Simon Fowler 001; James Cheney (IFL, 2019)

Towards Meta-interpretive Learning of Programming Language Semantics. - Sándor Bartha; James Cheney (ILP, 2019)

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 (Middleware, 2019)

Verified Self-Explaining Computation. - Jan Stolarek; James Cheney (MPC, 2019)

TryLinks: an interactive tutorial system for a cross-tier web programming language. - Junao Wu; Arek Mikolajczak; James Cheney (Programming, 2019)

Provenance Meets Bidirectional Transformations. - Anthony Anjorin; James Cheney (TaPP, 2019)

Aggregating unsupervised provenance anomaly detectors. - Ghita Berrada; James Cheney (TaPP, 2019)

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. - Sheung Chi Chan; James Cheney (PADL, 2020)

FreezeML: complete and easy type inference for first-class polymorphism. - Frank Emrich; Sam Lindley; Jan Stolarek; James Cheney; Jonathan Coates (PLDI, 2020)

Integrity Checking and Abnormality Detection of Provenance Records. - Sheung Chi Chan; Ashish Gehani; Hassaan Irshad; James Cheney (TaPP, 2020)

Language-Integrated Updatable Views (Extended version). - Rudi Horn; Simon Fowler 001; James Cheney (CoRR, 2020)

Categorical anomaly detection in heterogeneous data using minimum description length clustering. - James Cheney; Xavier Gombau; Ghita Berrada; Sidahmed Benabderrahmane (CoRR, 2020)

VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. - Nils Weidmann; Anthony Anjorin; James Cheney (GCM@STAF, 2020)

A baseline for unsupervised advanced persistent threat detection in system-level provenance. - Ghita Berrada; James Cheney; Sidahmed Benabderrahmane; William Maxwell; Himan Mookherjee; Alec Theriault; Ryan Wright (Future Gener. Comput. Syst., 2020)

Cross-tier Web Programming for Curated Databases: a Case Study. - Simon Fowler 001; Simon D. Harding; Joanna L. Sharman; James Cheney (Int. J. Digit. Curation, 2020)

A polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Simon Fowler 001; Sam Lindley (Sci. Comput. Program., 2020)

Comprehending nulls. - James Cheney; Wilmer Ricciotti (DBPL, 2021)

Query Lifting - Language-integrated query for heterogeneous nested collections. - Wilmer Ricciotti; James Cheney (ESOP, 2021)

A Rule Mining-based Advanced Persistent Threats Detection System. - Sidahmed Benabderrahmane; Ghita Berrada; James Cheney; Petko Valtchev (IJCAI, 2021)

Curating Covid-19 Data in Links. - Vashti Galpin; James Cheney (IPAW, 2021)

A Typed Slicing Compilation of the Polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Sam Lindley; Bob Reynders (PPDP, 2021)

Provenance expressiveness benchmarking on non-deterministic executions. - Sheung Chi Chan; James Cheney; Pramod Bhatotia (TaPP, 2021)

Data provenance, curation and quality in metrology. - James Cheney; Adriane Chapman; Joy Davidson; Alistair Forbes (CoRR, 2021)

One down, 699 to go: or, synthesising compositional desugarings. - Sándor Bartha; James Cheney; Vaishak Belle (Proc. ACM Program. Lang., 2021)

Measuring Discord Among Multidimensional Data Sources. - Alberto Abelló; James Cheney (DOLAP, 2022)

Language-Integrated Query for Temporal Data. - Simon Fowler 001; Vashti Galpin; James Cheney (GPCE, 2022)

Nominal Matching Logic. - James Cheney; Maribel Fernández (PPDP, 2022)

Eris: Measuring discord among multidimensional data sources. - Alberto Abelló; James Cheney (CoRR, 2022)

Language-Integrated Query for Temporal Data (Extended version). - Simon Fowler 001; Vashti Galpin; James Cheney (CoRR, 2022)

A Formalization of SQL with Nulls. - Wilmer Ricciotti; James Cheney (J. Autom. Reason., 2022)

Strongly-Normalizing Higher-Order Relational Queries. - Wilmer Ricciotti; James Cheney (Log. Methods Comput. Sci., 2022)

Constraint-based type inference for FreezeML. - Frank Emrich; Jan Stolarek; James Cheney; Sam Lindley (Proc. ACM Program. Lang., 2022)

Hack me if you can: Aggregating autoencoders for countering persistent access threats within highly imbalanced data. - Sidahmed Benabderrahmane; Ngoc Hoang; Petko Valtchev; James Cheney; Talal Rahwan (Future Gener. Comput. Syst., 2024)

Eris: efficiently measuring discord in multidimensional sources. - Alberto Abelló; James Cheney (VLDB J., 2024)

Nominal Matching Logic with Fixpoints. - Mircea Sebe; Maribel Fernández; James Cheney (CPP, 2025)

APT-LLM: Embedding-Based Anomaly Detection of Cyber Advanced Persistent Threats Using Large Language Models. - Sidahmed Benabderrahmane; Petko Valtchev; James Cheney; Talal Rahwan (ISDFS, 2025)