James Cheney

View Scopus Profile

James Cheney

PROF

 https://orcid.org/0000-0002-1307-9286

Accepting PhD Students

Filter
Conference contribution

Search results

  • 2022

    Language-Integrated Query for Temporal Data

    Fowler, S., Galpin, V. & Cheney, J., 1 Dec 2022, Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . Scholz, B. & Kameyama, Y. (eds.). ACM Association for Computing Machinery, p. 5-19 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Nominal Matching Logic

    Cheney, J. & Fernández, M., 20 Sept 2022, Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM Association for Computing Machinery, 20 p. 5

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Measuring discord among multidimensional data sources

    Abelló, A. & Cheney, J., 25 Apr 2022, 24th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data, DOLAP 2022. Stefanidis, K. & Golab, L. (eds.). CEUR Workshop Proceedings, Vol. 3130. p. 96-100 5 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2021

    Language-Integrated Updatable Views

    Horn, R., Fowler, S. & Cheney, J., 25 Sept 2021, Proceedings of the 31st Symposium on Implementation and Application of Functional Languages (IFL '19). ACM, p. 1-12 12 p. 13

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Typed Slicing Compilation of the Polymorphic RPC Calculus

    Choi, K., Cheney, J., Lindley, S. & Reynders, B., 6 Sept 2021, Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). ACM, 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Rule Mining-Based Advanced Persistent Threats Detection System

    Benabderrahmane, S., Berrada, G., Cheney, J. & Valtchev, P., 19 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21). Montreal, Canada: IJCAI Inc, p. 3589-3596 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Comprehending nulls

    Cheney, J. & Ricciotti, W., 16 Aug 2021, Proceedings of the 18th International Symposium on Database Programming Languages (DBPL 2021). ACM, p. 3-6 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Provenance expressiveness benchmarking on non-deterministic executions

    Chan, S. C., Cheney, J. & Bhatotia, P., 16 Jul 2021, 13th International Workshop on Theory and Practice of Provenance. USENIX Association

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Curating Covid-19 Data in Links

    Galpin, V. & Cheney, J., 9 Jul 2021, Provenance and Annotation of Data and Processes. Springer, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 12839).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Query Lifting: Language-integrated query for heterogeneous nested collections

    Ricciotti, W. & Cheney, J., 23 Mar 2021, Programming Languages and Systems (ESOP 2021). Springer, p. 579–606 28 p. (Lecture Notes in Computer Science; vol. 12648).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2020

    VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

    Weidmann, N. B., Anjorin, A. & Cheney, J., 3 Dec 2020, Proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020). EPTCS, p. 1-12 (Electronic Proceedings in Theoretical Computer Science; vol. 330).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Strongly Normalizing Higher-Order Relational Queries

    Ricciotti, W. & Cheney, J., 28 Jun 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-22 22 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Integrity Checking and Abnormality Detection of Provenance Records

    Chan, S. C., Gehani, A., Irshad, H. & Cheney, J., 21 Jun 2020, 2020 International Workshop on Theory and Practice of Provenance. USENIX Association, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

    Emrich, F., Lindley, S., Stolarek, J., Cheney, J. & Coates, J., 11 Jun 2020, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 423-437 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards meta-interpretive learning of programming language semantics

    Bartha, S. & Cheney, J., 5 Jun 2020, Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings. Kazakov, D. & Erten, C. (eds.). Springer, p. 16–25 10 p. (Lecture Notes in Computer Science; vol. 11770).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Flexible graph matching and graph edit distance using answer set programming

    Chan, S. C. & Cheney, J., 14 Jan 2020, Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer, p. 20-36 22 p. (Lecture Notes in Computer Science (LNCS); vol. 12007).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2019

    ProvMark: A Provenance Expressiveness Benchmarking System

    Chan, S. C., Cheney, J., Bhatotia, P., Pasquier, T., Gehani, A., Irshad, H., Carata, L. & Seltzer, M., 31 Dec 2019, Middleware '19 Proceedings of the 20th International Middleware Conference. ACM, p. 268-279 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Verified Self-Explaining Computation

    Stolarek, J. & Cheney, J., 20 Oct 2019, Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019. Proceedings. Hutton, G. (ed.). Springer, p. 76-102 27 p. (Lecture Notes in Computer Science; vol. 11825).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Language-integrated provenance by trace analysis

    Fehrenbach, S. & Cheney, J., 23 Jun 2019, Proceedings of The 17th International Symposium on Database Programming Languages. New York: ACM, p. 74-84 24 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Mixing set and bag semantics

    Ricciotti, W. & Cheney, J., 23 Jun 2019, Proceedings of The 17th International Symposium on Database Programming Languages. New york : ACM, p. 70-73 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Provenance meets bidirectional transformations

    Anjorin, A. & Cheney, J., 3 Jun 2019, 11th International Workshop on Theory and Practice of Provenance. USENIX Association, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Aggregating unsupervised provenance anomaly detectors

    Berrada, G. & Cheney, J., 16 May 2019, (E-pub ahead of print) 11th International Workshop on Theory and Practice of Provenance. USENIX Association, 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • TryLinks: An interactive tutorial system for a cross-tier Web programming language

    Wu, J., Mikolajczak, A. & Cheney, J., 4 Apr 2019, (E-pub ahead of print) Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming ’19. ACM Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    Explicit Auditing

    Ricciotti, W. & Cheney, J., 15 Oct 2018, International Colloquium on Theoretical Aspects of Computing. Fischer, B. & Uustalu, T. (eds.). Springer, p. 376-395 20 p. (Lecture Notes in Computer Science; vol. 11187).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    Imperative functional programs that explain their work

    Ricciotti, W., Stolarek, J., Perera, R. & Cheney, J., 29 Aug 2017, 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). p. 14:1-14:28 26 p. (Proceedings of the ACM on Programming Languages; vol. 1, no. ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Strongly Normalizing Audited Computation

    Ricciotti, W. & Cheney, J., 24 Aug 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-21 21 p. 36. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Expressiveness benchmarking for system-level provenance

    Chan, S. C., Gehani, A., Cheney, J., Sohan, R. & Irshad, H., 23 Jun 2017, 2017 Workshop on Theory and Practice of Provenance (TaPP 2017). 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • µPuppet: A Declarative Subset of the Puppet Configuration Language

    Fu, W., Perera, R., Anderson, P. & Cheney, J., 13 Jun 2017, 31st European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 28 p. 9. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Language-integrated provenance

    Fehrenbach, S. & Cheney, J., 7 Sept 2016, PPDP '16 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: ACM, p. 214-227 14 p. (PPDP'16).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Causally consistent dynamic slicing

    Perera, R., Garg, D. & Cheney, J., 26 Aug 2016, The 27th International Conference on Concurrency Theory (CONCUR 2016). Québec City, Canada: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 59. p. 18:1-18:15 15 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Provenance segmentation

    Abreu, R., Archer, D., Chapman, E., Cheney, J., Eldardiry, H. & Gascon Caro, A., 9 Jun 2016, 8th USENIX Workshop on the Theory and Practice of Provenance (TaPP '16). Washington D.C, USA, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Advances in Property-Based Testing for αProlog

    Cheney, J., Momigliano, A. & Pessina, M., Jun 2016, Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Springer, p. 37-56 20 p. (Lecture Notes in Computer Science; vol. 9762).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Reflections on monadic lenses

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer, 19 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    Proof-relevant pi-calculus

    Perera, R. & Cheney, J., 2 Aug 2015, 2015 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2015). EPTCS, Vol. 185. p. 46-70 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Language-integrated provenance in Links

    Cheney, J. & Fehrenbach, S., 10 Jul 2015, Workshop on Theory and Practice of Provenance (TaPP 2015). USENIX Association, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Notions of Bidirectional Computation and Entangled State Monads

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 2015, Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Springer, p. 187-214 28 p. (Lecture Notes in Computer Science; vol. 9129).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards a Principle of Least Surprise for Bidirectional Transformations

    Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 2015, Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015). L'Aquila, Italy: CEUR Workshop Proceedings, Vol. 1396. p. 66-80 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets

    Cheney, J., Lindley, S. & Wadler, P., 18 Jun 2014, Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data. ACM, p. 1027-1038 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • An Analytical Survey of Provenance Sanitization

    Cheney, J. & Perera, R., 2014, Provenance and Annotation of Data and Processes: 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers. Springer, p. 113-126 14 p. (Lecture Notes in Computer Science; vol. 8628).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Database Queries that Explain their Work

    Cheney, J., Ahmed, A. & Acar, U. A., 2014, PPDP '14 Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. ACM, p. 271-282 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Dynamic Provenance for SPARQL Update

    Cheney, J. & Halpin, H., 2014, The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I. Springer, 16 p. (Lecture Notes in Computer Science; vol. 8796).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Dynamic Provenance for SPARQL Updates Using Named Graphs

    Halpin, H. & Cheney, J., 2014, Proceedings of the Companion Publication of the 23rd International Conference on World Wide Web Companion. Republic and Canton of Geneva, Switzerland: International World Wide Web Conferences Steering Committee, p. 287-288 2 p. (WWW Companion '14).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Effective Quotation: Relating Approaches to Language-integrated Query

    Cheney, J., Lindley, S., Radanne, G. & Wadler, P., 2014, Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. New York, NY, USA: ACM, p. 15-26 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Entangled State Monads

    Cheney, J., McKinna, J., Stevens, P., Gibbons, J. & Abou-Saleh, F., 2014, p Proceedings of the EDBT/ICDT 2014 Joint Conference. CEUR-WS.org, p. 108-111 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards a Repository of Bx Examples

    Cheney, J., McKinna, J., Stevens, P. & Gibbons, J., 2014, Workshop Proceedings of the EDBT/ICDT 2014 Joint Conference. p. 87-91 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2013

    A Practical Theory of Language-integrated Query

    Cheney, J., Lindley, S. & Wadler, P., 2013, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, p. 403-416 14 p. (ICFP '13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Provenance for Seismological Processing Pipelines in a Distributed Streaming Workflow

    Spinuso, A., Cheney, J. & Atkinson, M., 2013, Proceedings of the Joint EDBT/ICDT 2013 Workshops. New York, NY, USA: ACM, p. 307-312 6 p. (EDBT '13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semantics and Provenance for Processing Element Composition in Dispel Workflows

    Griffis, E., Martin, P. & Cheney, J., 2013, Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science. New York, NY, USA: ACM, p. 38-47 10 p. (WORKS '13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Static Enforceability of XPath-Based Access Control Policies

    Cheney, J., 2013, Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The W3C PROV Family of Specifications for Modelling Provenance Metadata

    Missier, P., Belhajjame, K. & Cheney, J., 2013, Proceedings of the 16th International Conference on Extending Database Technology. New York, NY, USA: ACM, p. 773-776 4 p. (EDBT '13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution