James Cheney

Affiliations:
  • University of Edinburgh, UK


According to our database1, James Cheney authored at least 144 papers between 2000 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Eris: Measuring discord among multidimensional data sources.
CoRR, 2022

Measuring Discord Among Multidimensional Data Sources.
Proceedings of the 24th International Workshop on Design, 2022

2021
One down, 699 to go: or, synthesising compositional desugarings.
Proc. ACM Program. Lang., 2021

Data provenance, curation and quality in metrology.
CoRR, 2021

Provenance expressiveness benchmarking on non-deterministic executions.
Proceedings of the 13th International Workshop on Theory and Practice of Provenance, 2021

A Typed Slicing Compilation of the Polymorphic RPC calculus.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Curating Covid-19 Data in Links.
Proceedings of the Provenance and Annotation of Data and Processes, 2021

A Rule Mining-based Advanced Persistent Threats Detection System.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Query Lifting - Language-integrated query for heterogeneous nested collections.
Proceedings of the Programming Languages and Systems, 2021

Comprehending nulls.
Proceedings of the DBPL '21: The 18th International Symposium on Database Programming Languages, 2021

2020
A polymorphic RPC calculus.
Sci. Comput. Program., 2020

Cross-tier Web Programming for Curated Databases: a Case Study.
Int. J. Digit. Curation, 2020

A baseline for unsupervised advanced persistent threat detection in system-level provenance.
Future Gener. Comput. Syst., 2020

VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems.
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Categorical anomaly detection in heterogeneous data using minimum description length clustering.
CoRR, 2020

A Formalization of SQL with Nulls.
CoRR, 2020

Language-Integrated Updatable Views (Extended version).
CoRR, 2020

Integrity Checking and Abnormality Detection of Provenance Records.
Proceedings of the 12th International Workshop on Theory and Practice of Provenance, 2020

FreezeML: complete and easy type inference for first-class polymorphism.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2020

Strongly Normalizing Higher-Order Relational Queries.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019
Aggregating unsupervised provenance anomaly detectors.
Proceedings of the 11th International Workshop on Theory and Practice of Provenance, 2019

Provenance Meets Bidirectional Transformations.
Proceedings of the 11th International Workshop on Theory and Practice of Provenance, 2019

TryLinks: an interactive tutorial system for a cross-tier web programming language.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Verified Self-Explaining Computation.
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

ProvMark: A Provenance Expressiveness Benchmarking System.
Proceedings of the 20th International Middleware Conference, 2019

Towards Meta-interpretive Learning of Programming Language Semantics.
Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

Language-integrated updatable views.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Mixing set and bag semantics.
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

Language-integrated provenance by trace analysis.
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018
Provenance in Databases.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Language-integrated provenance.
Sci. Comput. Program., 2018

Language-integrated provenance in Haskell.
Art Sci. Eng. Program., 2018

Incremental relational lenses.
Proc. ACM Program. Lang., 2018

Proof-relevant π-calculus: a constructive account of concurrency and causality.
Math. Struct. Comput. Sci., 2018

Special Issue on Programming Languages for Big Data Editorial.
J. Funct. Program., 2018

Explicit Auditing.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017
αCheck: A mechanized metatheory model checker.
Theory Pract. Log. Program., 2017

Guest Editorial: The Provenance of Online Data.
ACM Trans. Internet Techn., 2017

Imperative functional programs that explain their work.
Proc. ACM Program. Lang., 2017

On principles of Least Change and Least Surprise for bidirectional transformations.
J. Object Technol., 2017

Expressiveness Benchmarking for System-Level Provenance.
Proceedings of the 9th USENIX Workshop on the Theory and Practice of Provenance, 2017

muPuppet: A Declarative Subset of the Puppet Configuration Language.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Strongly Normalizing Audited Computation.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016
A simple sequent calculus for nominal logic.
J. Log. Comput., 2016

An Operational Semantics for a Fragment of the Puppet Configuration Language.
CoRR, 2016

Advances in Property-Based Testing for $α$Prolog.
CoRR, 2016

Provenance Segmentation.
Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

Advances in Property-Based Testing for \alpha Prolog.
Proceedings of the Tests and Proofs - 10th International Conference, 2016

Causally Consistent Dynamic Slicing.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Reflections on Monadic Lenses.
Proceedings of the A List of Successes That Can Change the World, 2016

Introduction to Bidirectional Transformations.
Proceedings of the Bidirectional Transformations, 2016

2015
The rationale of PROV.
J. Web Semant., 2015

Proof-relevant pi-calculus.
Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts.
CoRR, 2015

Language-integrated Provenance in Links.
Proceedings of the 7th USENIX Workshop on the Theory and Practice of Provenance, 2015

Towards a Principle of Least Surprise for Bidirectional Transformations.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Notions of Bidirectional Computation and Entangled State Monads.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511).
Dagstuhl Reports, 2014

Dynamic Provenance for SPARQL Update.
CoRR, 2014

Query shredding: Efficient relational evaluation of queries over nested multisets (extended version).
CoRR, 2014

Dynamic provenance for SPARQL updates using named graphs.
Proceedings of the 23rd International World Wide Web Conference, 2014

Query shredding: efficient relational evaluation of queries over nested multisets.
Proceedings of the International Conference on Management of Data, 2014

Dynamic Provenance for SPARQL Updates.
Proceedings of the Semantic Web - ISWC 2014, 2014

Database Queries that Explain their Work.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Effective quotation: relating approaches to language-integrated query.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

An Analytical Survey of Provenance Sanitization.
Proceedings of the Provenance and Annotation of Data and Processes, 2014

Entangled State Monads.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Towards a Repository of Bx Examples.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

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

A core calculus for provenance.
J. Comput. Secur., 2013

Lenses for Web Data.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Effective Quotation.
CoRR, 2013

Static Enforceability of XPath-Based Access Control Policies.
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), 2013

Semantics and provenance for processing element composition in dispel workflows.
Proceedings of WORKS 2013: 8th Workshop On Workflows in Support of Large-Scale Science, 2013

A practical theory of language-integrated query.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Provenance for seismological processing pipelines in a distributed streaming workflow.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

The W3C PROV family of specifications for modelling provenance metadata.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Toward a Theory of Self-explaining Computation.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012
Consistency and repair for XML write-access control policies.
VLDB J., 2012

Editorial - Special issue dedicated to ICFP 2010.
J. Funct. Program., 2012

Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.
J. Autom. Reason., 2012

Requirements for Provenance on the Web.
Int. J. Digit. Curation, 2012

Principles of Provenance (Dagstuhl Seminar 12091).
Dagstuhl Reports, 2012

A dependent nominal type theory
Log. Methods Comput. Sci., 2012

Row-based effect types for database integration.
Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Hierarchical Models of Provenance.
Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

Toward Provenance-Based Security for Configuration Languages.
Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

Functional programs that explain their work.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011
Mechanizing the metatheory of LF.
ACM Trans. Comput. Log., 2011

The database Wiki project: a general-purpose platform for data curation and collaboration.
SIGMOD Rec., 2011

Provenance as dependency analysis.
Math. Struct. Comput. Sci., 2011

DBWiki: a structured wiki for curated data and collaborative data management.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Is provenance logical?
Proceedings of the 4th International Workshop on Logic in Databases, 2011

Satisfiability algorithms for conjunctive queries over trees.
Proceedings of the Database Theory, 2011

Using Links to prototype a Database Wiki.
Proceedings of the Database Programming Languages, 2011

A Formal Framework for Provenance Security.
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Mechanizing the Metatheory of mini-XQuery.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010
Destabilizers and Independence of XML Updates.
Proc. VLDB Endow., 2010

Equivariant Unification.
J. Autom. Reason., 2010

Causality and the Semantics of Provenance
Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

A Graph Model of Data and Workflow Provenance.
Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

2009
Workshop on theory and practice of provenance event report.
SIGMOD Rec., 2009

Schema-Based Independence Analysis for XML Updates.
Proc. VLDB Endow., 2009

Provenance in Databases: Why, How, and Where.
Found. Trends Databases, 2009

A Simple Nominal Type Theory.
Electron. Notes Theor. Comput. Sci., 2009

Provenance: a future history.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Estimating the distribution and propagation of genetic programming building blocks through tree compression.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Semantics, Types and Effects for XML Updates.
Proceedings of the Database Programming Languages, 2009

2008
Nominal logic programming.
ACM Trans. Program. Lang. Syst., 2008

On the expressiveness of implicit provenance in query and update languages.
ACM Trans. Database Syst., 2008

Report on the Principles of Provenance Workshop.
SIGMOD Rec., 2008

Provenance Traces
CoRR, 2008

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

Curated databases.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Resource bound analysis for database queries.
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

FLUX: functional updates for XML.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Regular Expression Subtyping for XML Query and Update Languages.
Proceedings of the Programming Languages and Systems, 2008

ACCOn: checking consistency of XML write-access control policies.
Proceedings of the EDBT 2008, 2008

2007
Recording Provenance for SQL Queries and Updates.
IEEE Data Eng. Bull., 2007

Program Slicing and Data Provenance.
IEEE Data Eng. Bull., 2007

Mechanized metatheory model-checking.
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Lux: A Lightweight, Statically Typed XML Update Language.
Proceedings of the PLAN-X 2007, 2007

Repairing Inconsistent XML Write-Access Control Policies.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006
Completeness and Herbrand theorems for nominal logic.
J. Symb. Log., 2006

Provenance management in curated databases.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

A Provenance Model for Manually Curated Data.
Proceedings of the Provenance and Annotation of Data, 2006

The Semantics of Nominal Logic Programs.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Tradeoffs in XML Database Compression.
Proceedings of the 2006 Data Compression Conference (DCC 2006), 2006

2005
Logic Column 14: Nominal Logic and Abstract Syntax
CoRR, 2005

An Empirical Evaluation of Simple DTD-Conscious Compression Techniques.
Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

Avoiding Equivariance in Alpha-Prolog.
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Toward a general theory of names: binding and scope.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

Scrap your nameplate: (functional pearl).
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

A Simpler Proof Theory for Nominal Logic.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004
Nominal Logic Programming.
PhD thesis, 2004

A Sequent Calculus for Nominal Logic.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.
Proceedings of the Logic Programming, 20th International Conference, 2004

The Complexity of Equivariant Unification.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2002
Cyclone: A Safe Dialect of C.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Region-Based Memory Management in Cyclone.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001
Towards a Theory of Information Preservation.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2001

Compressing XML with Multiplexed Hierarchical PPM Models.
Proceedings of the Data Compression Conference, 2001

2000
Statistical Models for Term Compression.
Proceedings of the Data Compression Conference, 2000


  Loading...