James Cheney

View Scopus Profile

James Cheney

PROF

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

Accepting PhD Students

Search results

  • 2016

    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

  • A simple sequent calculus for nominal logic

    Cheney, J., Aug 2016, In: Journal of Logic and Computation. 26, 4, p. 699-726 28 p.

    Research output: Contribution to journal › Article › peer-review

    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

    The Rationale of PROV

    Moreau, L., Groth, P., Cheney, J., Lebo, T. & Miles, S., 1 Dec 2015, In: Journal of Web Semantics. 35, 4, p. 235-257 23 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • 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

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

    McPhillips, T., Song, T., Kolisnik, T., Aulenbach, S., Belhajjame, K., Bocinsky, K., Cao, Y., Chirigati, F., Dey, S., Freire, J., Huntzinger, D., Jones, C., Koop, D., Missier, P., Schildhauer, M., Schwalm, C., Wei, Y., Cheney, J., Bieda, M. & Ludaescher, B., 2015, In: International Journal of Digital Curation. 10, 1, p. 298-313 17 p.

    Research output: Contribution to journal › Article › peer-review

    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

  • Lenses for Web Data

    Rajkumar, R., Foster, N., Lindley, S. & Cheney, J., 2014, In: Electronic Communications of the EASST. 57, 21 p.

    Research output: Contribution to journal › Article › peer-review

    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

    Revisiting "forward node-selecting queries over trees"

    Cheney, J., Apr 2013, In: ACM Transactions on Database Systems. 38, 2, 33 p., 13.

    Research output: Contribution to journal › Article › peer-review

  • A core calculus for provenance

    Acar, U. A., Ahmed, A., Cheney, J. & Perera, R., 2013, In: Journal of Computer Security. 21, 6, p. 919-969 51 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • 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

  • Effective Quotation

    Cheney, J., Lindley, S., Radanne, G. & Wadler, P., 2013, In: Computing Research Repository (CoRR). abs/1310.4780, 12 p.

    Research output: Contribution to journal › Article › peer-review

    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

  • Toward a Theory of Self-explaining Computation

    Cheney, J., Acar, U. A. & Perera, R., 2013, In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman. Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W.-C. & Fourman, M. (eds.). Springer, Vol. 8000. p. 193-216 24 p. (Lecture Notes in Computer Science; vol. 8000).

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

  • 2012

    Editorial: Special issue dedicated to ICFP 2010

    Acar, U. A., Cheney, J. & Weirich, S., 1 Sept 2012, In: Journal of Functional Programming. 22, p. 379-381 3 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Hierarchical Models of Provenance

    Buneman, P., Cheney, J. & Kostylev, E. V., 14 Jun 2012, Proceedings of the 4th USENIX Conference on Theory and Practice of Provenance. Berkeley, CA, USA: USENIX Association, p. 10-10 1 p. (TaPP'12).

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

  • A dependent nominal type theory

    Cheney, J., Feb 2012, In: Logical Methods in Computer Science. 8, 1, p. 1-29 29 p.

    Research output: Contribution to journal › Article › peer-review

  • A Core Calculus for Provenance

    Acar, U. A., Ahmed, A., Cheney, J. & Perera, R., 2012, Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. Degano, P. & Guttman, J. (eds.). Springer, Vol. 7215. p. 410-429 20 p. (Lecture Notes in Computer Science).

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

    File

  • Consistency and repair for XML write-access control policies

    Bravo, L., Cheney, J., Fundulaki, I. & Segovia, R., 2012, In: VLDB Journal. 21, 6, p. 843-867 25 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax

    Cheney, J., Norrish, M. & Vestergaard, R., 2012, In: Journal of Automated Reasoning. 49, 2, p. 209-239 31 p.

    Research output: Contribution to journal › Article › peer-review

  • Functional Programs That Explain Their Work

    Perera, R., Acar, U. A., Cheney, J. & Levy, P. B., 2012, Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, p. 365-376 12 p. (ICFP '12).

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

  • Principles of Provenance (Dagstuhl Seminar 12091)

    Cheney, J., Finkelstein, A., Ludaescher, B., Vansummeren, S., Cheney, J. (Editor), Finkelstein, A. (Editor), Ludaescher, B. (Editor) & Vansummeren, S. (Editor), 2012, In: Dagstuhl Reports. 2, 2, p. 84-113 30 p.

    Research output: Contribution to journal › Article › peer-review

  • Requirements for Provenance on the Web

    Groth, P. T., Gil, Y., Cheney, J. & Miles, S., 2012, In: International Journal of Digital Curation. 7, 1, p. 39-56 18 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Row-based Effect Types for Database Integration

    Lindley, S. & Cheney, J., 2012, Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. New York, NY, USA: ACM, p. 91-102 12 p. (TLDI '12).

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

  • Toward Provenance-Based Security for Configuration Languages

    Anderson, P. & Cheney, J., 2012, The 4th Usenix Workshop on the Theory and Practice of Provenance. 4 p.

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

    Open Access
    File
  • 2011

    The Database Wiki Project: A General-purpose Platform for Data Curation and Collaboration

    Buneman, P., Cheney, J., Lindley, S. & Mueller, H., 1 Nov 2011, In: ACM SIGMOD Record. 40, 3, p. 15-20 6 p.

    Research output: Contribution to journal › Article › peer-review

    File

  • DBWiki: A Structured Wiki for Curated Data and Collaborative Data Management

    Buneman, P., Cheney, J., Lindley, S. & Müller, H., 12 Jun 2011, Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data. New York, NY, USA: ACM, p. 1335-1338 4 p. (SIGMOD '11).

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

  • Mechanizing the metatheory of LF

    Urban, C., Cheney, J. & Berghofer, S., Jan 2011, In: ACM Transactions on Computational Logic. 12, 2, 42 p., 15.

    Research output: Contribution to journal › Article › peer-review

  • A Formal Framework for Provenance Security

    Cheney, J., 2011, Proceedings of the 2011 IEEE 24th Computer Security Foundations Symposium. Washington, DC, USA: Institute of Electrical and Electronics Engineers, p. 281-293 13 p.

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

    Open Access
    File

  • DBWiki: a database wiki prototyped in Links.

    Cheney, J., Lindley, S. & Muller, H., 2011, DBPL 2011 The 13th International Symposium on Database Programming Languages: August 29th, 2011 Seattle, Washington, USA. 8 p.

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

  • Dynamic Provenance for SPARQL Updates Using Named Graphs

    Halpin, H. & Cheney, J., 2011, TaPP '11.

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

  • Higher-Order Unification for the λαν calculus

    Cheney, J. & Kavanagh, B., 2011, Proceedings of the 25th International Workshop on Unification (UNIF 2011). p. 42-51 10 p.

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

  • Is provenance logical?

    Cheney, J., 2011, LID '11 Proceedings of the 4th International Workshop on Logic in Databases. p. 2-6 5 p.

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

  • Mechanizing the Metatheory of mini-XQuery

    Cheney, J. & Urban, C., 2011, Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings. Jouannaud, J.-P. & Shao, Z. (eds.). Springer, Vol. 7086. p. 280-295 16 p. (Lecture Notes in Computer Science; vol. 7086).

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

  • Provenance as dependency analysis

    Cheney, J., Ahmed, A. & Acar, U. A., 2011, In: Mathematical Structures in Computer Science. 21, 6, p. 1301-1337 37 p.

    Research output: Contribution to journal › Article › peer-review