default search action

combined dblp search
author search
venue search
publication search

ask others

James Cheney

> Home > Persons

Person information

affiliation: University of Edinburgh, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-04102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-04102
Wilmer Ricciotti, James Cheney:
Query Lifting: Language-integrated query for heterogeneous nested collections. CoRR abs/2101.04102 (2021)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-08228
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-08228
James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes:
Data provenance, curation and quality in metrology. CoRR abs/2102.08228 (2021)
2020
[j36]
- view
- export record
  dblp key:
  - journals/fgcs/BerradaCBMMTW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BerradaCBMMTW20
Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright:
A baseline for unsupervised advanced persistent threat detection in system-level provenance. Future Gener. Comput. Syst. 108: 401-413 (2020)
[j35]
- view
- export record
  dblp key:
  - journals/scp/0001C0L20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/0001C0L20
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A polymorphic RPC calculus. Sci. Comput. Program. 197: 102499 (2020)
[c83]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fscd/RicciottiC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/RicciottiC20
Wilmer Ricciotti, James Cheney:
Strongly Normalizing Higher-Order Relational Queries. FSCD 2020: 28:1-28:22
[c82]
- view
- export record
  dblp key:
  - conf/padl/ChanC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ChanC20
Sheung Chi Chan, James Cheney:
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. PADL 2020: 20-36
[c81]
- view
- export record
  dblp key:
  - conf/pldi/EmrichLSCC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EmrichLSCC20
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates:
FreezeML: complete and easy type inference for first-class polymorphism. PLDI 2020: 423-437
[c80]
- view
- export record
  dblp key:
  - journals/corr/abs-2012-01655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01655
Nils Weidmann, Anthony Anjorin, James Cheney:
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. GCM@STAF 2020: 1-12
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-02191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-02191
Rudi Horn, Simon Fowler, James Cheney:
Language-Integrated Updatable Views (Extended version). CoRR abs/2003.02191 (2020)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-03845
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-03845
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney:
Cross-tier web programming for curated databases: A case study. CoRR abs/2003.03845 (2020)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-11331
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-11331
Wilmer Ricciotti, James Cheney:
A Formalization of SQL with Nulls. CoRR abs/2003.11331 (2020)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-00396
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-00396
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates:
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR abs/2004.00396 (2020)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-07916
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-07916
James Cheney, Xavier Gombau, Ghita Berrada, Sidahmed Benabderrahmane:
Categorical anomaly detection in heterogeneous data using minimum description length clustering. CoRR abs/2006.07916 (2020)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-13451
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-13451
Wilmer Ricciotti, James Cheney:
Strongly-Normalizing Higher-Order Relational Queries. CoRR abs/2011.13451 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c79]
- view
- export record
  dblp key:
  - conf/dbpl/RicciottiC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/RicciottiC19
Wilmer Ricciotti, James Cheney:
Mixing set and bag semantics. DBPL 2019: 70-73
[c78]
- view
- export record
  dblp key:
  - conf/dbpl/FehrenbachC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/FehrenbachC19
Stefan Fehrenbach, James Cheney:
Language-integrated provenance by trace analysis. DBPL 2019: 74-84
[c77]
- view
- export record
  dblp key:
  - conf/ilp/BarthaC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ilp/BarthaC19
Sándor Bartha, James Cheney:
Towards Meta-interpretive Learning of Programming Language Semantics. ILP 2019: 16-25
[c76]
- view
- export record
  dblp key:
  - conf/middleware/ChanCBPGICS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/ChanCBPGICS19
Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer:
ProvMark: A Provenance Expressiveness Benchmarking System. Middleware 2019: 268-279
[c75]
- view
- export record
  dblp key:
  - conf/mpc/StolarekC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/StolarekC19
Jan Stolarek, James Cheney:
Verified Self-Explaining Computation. MPC 2019: 76-102
[c74]
- view
- export record
  dblp key:
  - conf/programming/WuMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/WuMC19
Junao Wu, Arek Mikolajczak, James Cheney:
TryLinks: an interactive tutorial system for a cross-tier web programming language. Programming 2019: 16:1-16:6
[e5]
- view
- export record
  dblp key:
  - conf/bx/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bx/2019
James Cheney, Hsiang-Shang Ko:
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. CEUR Workshop Proceedings 2355, CEUR-WS.org 2019 [contents]
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02033
Junao Wu, Arek Mikolajczak, James Cheney:
TryLinks: An interactive tutorial system for a cross-tier Web programming language. CoRR abs/1905.02033 (2019)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02051
Stefan Fehrenbach, James Cheney:
Language-integrated provenance by trace analysis. CoRR abs/1905.02051 (2019)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02069
Wilmer Ricciotti, James Cheney:
Mixing set and bag semantics. CoRR abs/1905.02069 (2019)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-06940
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-06940
Ghita Berrada, Sidahmed Benabderrahmane, James Cheney, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright:
A baseline for unsupervised advanced persistent threat detection in system-level provenance. CoRR abs/1906.06940 (2019)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-05818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05818
Jan Stolarek, James Cheney:
Verified Self-Explaining Computation. CoRR abs/1907.05818 (2019)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-08834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-08834
Sándor Bartha, James Cheney:
Towards meta-interpretive learning of programming language semantics. CoRR abs/1907.08834 (2019)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-11187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-11187
Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer:
ProvMark: A Provenance Expressiveness Benchmarking System. CoRR abs/1909.11187 (2019)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-10988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-10988
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A Polymorphic RPC Calculus. CoRR abs/1910.10988 (2019)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-11584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-11584
Sheung Chi Chan, James Cheney:
Flexible graph matching and graph edit distance using answer set programming. CoRR abs/1911.11584 (2019)
2018
[j34]
- view
- export record
  dblp key:
  - journals/jfp/CheneyG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/CheneyG18
James Cheney, Torsten Grust:
Special Issue on Programming Languages for Big Data Editorial. J. Funct. Program. 28: e8 (2018)
[j33]
- view
- export record
  dblp key:
  - journals/mscs/PereraC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/PereraC18
Roly Perera, James Cheney:
Proof-relevant π-calculus: a constructive account of concurrency and causality. Math. Struct. Comput. Sci. 28(9): 1541-1577 (2018)
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/pacmpl/HornPC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/HornPC18
Rudi Horn, Roly Perera, James Cheney:
Incremental relational lenses. Proc. ACM Program. Lang. 2(ICFP): 74:1-74:30 (2018)
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/programming/StolarekC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/programming/StolarekC18
Jan Stolarek, James Cheney:
Language-integrated provenance in Haskell. Art Sci. Eng. Program. 2(3): 11 (2018)
[j30]
- view
- export record
  dblp key:
  - journals/scp/FehrenbachC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FehrenbachC18
Stefan Fehrenbach, James Cheney:
Language-integrated provenance. Sci. Comput. Program. 155: 103-145 (2018)
[c73]
- view
- export record
  dblp key:
  - conf/ictac/RicciottiC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/RicciottiC18
Wilmer Ricciotti, James Cheney:
Explicit Auditing. ICTAC 2018: 376-395
[r1]
- view
- export record
  dblp key:
  - reference/db/CheneyT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/db/CheneyT18
James Cheney, Wang-Chiew Tan:
Provenance in Databases. Encyclopedia of Database Systems (2nd ed.) 2018
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10202
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10202
Jan Stolarek, James Cheney:
Language-integrated provenance in Haskell. CoRR abs/1803.10202 (2018)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-01948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01948
Rudi Horn, Roly Perera, James Cheney:
Incremental Relational Lenses. CoRR abs/1807.01948 (2018)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-00486
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-00486
Wilmer Ricciotti, James Cheney:
Explicit Auditing. CoRR abs/1808.00486 (2018)
2017
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jot/CheneyGMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/CheneyGMS17
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. 16(1): 3:1-31 (2017)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/pacmpl/RicciottiSPC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/RicciottiSPC17
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney:
Imperative functional programs that explain their work. Proc. ACM Program. Lang. 1(ICFP): 14:1-14:28 (2017)
[j27]
- view
- export record
  dblp key:
  - journals/toit/ChapmanCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toit/ChapmanCM17
Adriane Chapman, James Cheney, Simon Miles:
Guest Editorial: The Provenance of Online Data. ACM Trans. Internet Techn. 17(4): 33:1-33:3 (2017)
[j26]
- view
- export record
  dblp key:
  - journals/tplp/CheneyM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/CheneyM17
James Cheney, Alberto Momigliano:
αCheck: A mechanized metatheory model checker. Theory Pract. Log. Program. 17(3): 311-352 (2017)
[c72]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/csl/RicciottiC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/RicciottiC17
Wilmer Ricciotti, James Cheney:
Strongly Normalizing Audited Computation. CSL 2017: 36:1-36:21
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/ecoop/FuPAC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FuPAC17
Weili Fu, Roly Perera, Paul Anderson, James Cheney:
muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP 2017: 12:1-12:27
[c70]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/ChanGCSI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/ChanGCSI17
Sheung Chi Chan, Ashish Gehani, James Cheney, Ripduman Sohan, Hassaan Irshad:
Expressiveness Benchmarking for System-Level Provenance. TaPP 2017
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CheneyM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CheneyM17
James Cheney, Alberto Momigliano:
αCheck: A mechanized metatheory model-checker. CoRR abs/1704.00617 (2017)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RicciottiSPC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RicciottiSPC17
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney:
Imperative Functional Programs that Explain their Work. CoRR abs/1705.07678 (2017)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RicciottiC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RicciottiC17
Wilmer Ricciotti, James Cheney:
Strongly Normalizing Audited Computation. CoRR abs/1706.03711 (2017)
2016
[j25]
- view
- export record
  dblp key:
  - journals/logcom/Cheney16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Cheney16
James Cheney:
A simple sequent calculus for nominal logic. J. Log. Comput. 26(2): 699-726 (2016)
[c69]
- view
- export record
  dblp key:
  - conf/ac/Abou-SalehCGMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Abou-SalehCGMS16
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Introduction to Bidirectional Transformations. Bidirectional Transformations 2016: 1-28
[c68]
- view
- export record
  dblp key:
  - conf/birthday/Abou-SalehCGMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Abou-SalehCGMS16
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Reflections on Monadic Lenses. A List of Successes That Can Change the World 2016: 1-31
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/concur/PereraGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/PereraGC16
Roly Perera, Deepak Garg, James Cheney:
Causally Consistent Dynamic Slicing. CONCUR 2016: 18:1-18:15
[c66]
- view
- export record
  dblp key:
  - conf/ppdp/FehrenbachC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/FehrenbachC16
Stefan Fehrenbach, James Cheney:
Language-integrated provenance. PPDP 2016: 214-227
[c65]
- view
- export record
  dblp key:
  - conf/tap/CheneyMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CheneyMP16
James Cheney, Alberto Momigliano, Matteo Pessina:
Advances in Property-Based Testing for \alpha Prolog. TAP@STAF 2016: 37-56
[c64]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/AbreuACCEG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/AbreuACCEG16
Rui Abreu, Dave Archer, Erin Chapman, James Cheney, Hoda Eldardiry, Adrià Gascón:
Provenance Segmentation. TaPP 2016
[e4]
- view
- export record
  dblp key:
  - conf/ppdp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/2016
James Cheney, Germán Vidal:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. ACM 2016, ISBN 978-1-4503-4148-6 [contents]
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Abou-SalehCGMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Abou-SalehCGMS16
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Reflections on Monadic Lenses. CoRR abs/1601.02484 (2016)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PereraC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PereraC16
Roly Perera, James Cheney:
Proof-relevant pi-calculus. CoRR abs/1604.04575 (2016)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CheneyMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CheneyMP16
James Cheney, Alberto Momigliano, Matteo Pessina:
Advances in Property-Based Testing for $α$Prolog. CoRR abs/1604.08345 (2016)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FehrenbachC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FehrenbachC16
Stefan Fehrenbach, James Cheney:
Language-integrated provenance. CoRR abs/1607.04104 (2016)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuCA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuCA16
Weili Fu, James Cheney, Paul Anderson:
An Operational Semantics for a Fragment of the Puppet Configuration Language. CoRR abs/1608.04999 (2016)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Perera0C16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Perera0C16
Roly Perera, Deepak Garg, James Cheney:
Causally consistent dynamic slicing. CoRR abs/1610.02327 (2016)
2015
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ws/MoreauGCLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ws/MoreauGCLM15
Luc Moreau, Paul Groth, James Cheney, Timothy Lebo, Simon Miles:
The rationale of PROV. J. Web Semant. 35: 235-257 (2015)
[c63]
- view
- export record
  dblp key:
  - conf/mpc/Abou-SalehCGMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. MPC 2015: 187-214
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/CheneyGMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/CheneyGMS15
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF 2015: 66-80
[c61]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/FehrenbachC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/FehrenbachC15
Stefan Fehrenbach, James Cheney:
Language-integrated Provenance in Links. TaPP 2015
[c60]
- view
- export record
  dblp key:
  - journals/corr/PereraC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PereraC15
Roly Perera, James Cheney:
Proof-relevant pi-calculus. LFMTP 2015: 46-70
[e3]
- view
- export record
  dblp key:
  - conf/dbpl/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/2015
James Cheney, Thomas Neumann:
Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015. ACM 2015, ISBN 978-1-4503-3902-5 [contents]
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McPhillipsSKABB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McPhillipsSKABB15
Timothy M. McPhillips, Tianhong Song, Tyler Kolisnik, Steve Aulenbach, Khalid Belhajjame, Kyle Bocinsky, Yang Cao, Fernando Chirigati, Saumen C. Dey, Juliana Freire, Deborah N. Huntzinger, Christopher Jones, David Koop, Paolo Missier, Mark Schildhauer, Christopher R. Schwalm, Yaxing Wei, James Cheney, Mark Bieda, Bertram Ludäscher:
YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts. CoRR abs/1502.02403 (2015)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Abou-SalehCGMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Abou-SalehCGMS15
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of bidirectional computation and entangled state monads. CoRR abs/1505.02579 (2015)
2014
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/edbt/CheneyMSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/CheneyMSG14
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons:
Towards a Repository of Bx Examples. EDBT/ICDT Workshops 2014: 87-91
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/edbt/CheneyMSGA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/CheneyMSGA14
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh:
Entangled State Monads. EDBT/ICDT Workshops 2014: 108-111
[c57]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/ipaw/CheneyP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipaw/CheneyP14
James Cheney, Roly Perera:
An Analytical Survey of Provenance Sanitization. IPAW 2014: 113-126
[c56]
- view
- export record
  dblp key:
  - conf/pepm/CheneyLRW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/CheneyLRW14
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective quotation: relating approaches to language-integrated query. PEPM 2014: 15-26
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CheneyAA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CheneyAA14
James Cheney, Amal Ahmed, Umut A. Acar:
Database Queries that Explain their Work. PPDP 2014: 271-282
[c54]
- view
- export record
  dblp key:
  - conf/semweb/HalpinC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HalpinC14
Harry Halpin, James Cheney:
Dynamic Provenance for SPARQL Updates. International Semantic Web Conference (1) 2014: 425-440
[c53]
- view
- export record
  dblp key:
  - conf/sigmod/CheneyLW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/CheneyLW14
James Cheney, Sam Lindley, Philip Wadler:
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference 2014: 1027-1038
[c52]
- view
- export record
  dblp key:
  - conf/www/HalpinC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/HalpinC14
Harry Halpin, James Cheney:
Dynamic provenance for SPARQL updates using named graphs. WWW (Companion Volume) 2014: 287-288
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CheneyLW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CheneyLW14
James Cheney, Sam Lindley, Philip Wadler:
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR abs/1404.7078 (2014)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CheneyP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CheneyP14
James Cheney, Roly Perera:
An Analytical Survey of Provenance Sanitization. CoRR abs/1405.5777 (2014)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpinC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpinC14
Harry Halpin, James Cheney:
Dynamic Provenance for SPARQL Update. CoRR abs/1408.0926 (2014)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CheneyAA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CheneyAA14
James Cheney, Amal Ahmed, Umut A. Acar:
Database Queries that Explain their Work. CoRR abs/1408.1675 (2014)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/dagstuhl-reports/CheneyGV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/CheneyGV14
James Cheney, Torsten Grust, Dimitrios Vytiniotis:
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). Dagstuhl Reports 4(12): 48-67 (2014)
2013
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/eceasst/RajkumarFLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/RajkumarFLC13
Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney:
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/AcarACP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/AcarACP13
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A core calculus for provenance. J. Comput. Secur. 21(6): 919-969 (2013)
[j21]
- view
- export record
  dblp key:
  - journals/tods/Cheney13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/Cheney13
James Cheney:
Revisiting "forward node-selecting queries over trees". ACM Trans. Database Syst. 38(2): 13:1-13:33 (2013)
[c51]
- view
- export record
  dblp key:
  - conf/birthday/CheneyAP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CheneyAP13
James Cheney, Umut A. Acar, Roly Perera:
Toward a Theory of Self-explaining Computation. In Search of Elegance in the Theory and Practice of Computation 2013: 193-216
[c50]
- view
- export record
  dblp key:
  - conf/edbt/SpinusoCA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/SpinusoCA13
Alessandro Spinuso, James Cheney, Malcolm P. Atkinson:
Provenance for seismological processing pipelines in a distributed streaming workflow. EDBT/ICDT Workshops 2013: 307-312
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/edbt/MissierBC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/MissierBC13
Paolo Missier, Khalid Belhajjame, James Cheney:
The W3C PROV family of specifications for modelling provenance metadata. EDBT 2013: 773-776
[c48]
- view
- export record
  dblp key:
  - conf/icfp/CheneyLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/CheneyLW13
James Cheney, Sam Lindley, Philip Wadler:
A practical theory of language-integrated query. ICFP 2013: 403-416
[c47]
- view
- export record
  dblp key:
  - conf/sc/GriffisMC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/GriffisMC09
Eric Griffis, Paul Martin, James Cheney:
Semantics and provenance for processing element composition in dispel workflows. WORKS@SC 2013: 38-47
[c46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cheney13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cheney13
James Cheney:
Static Enforceability of XPath-Based Access Control Policies. DBPL 2013
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CheneyLRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CheneyLRW13
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective Quotation. CoRR abs/1310.4780 (2013)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AcarACP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AcarACP13
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. CoRR abs/1310.6299 (2013)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cheney13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cheney13a
James Cheney:
A simple sequent calculus for nominal logic. CoRR abs/1312.4840 (2013)
2012
[j20]
- view
- export record
  dblp key:
  - journals/corr/abs-1201-5240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-5240
James Cheney:
A dependent nominal type theory. Log. Methods Comput. Sci. 8(1) (2012)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijdc/GrothGCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdc/GrothGCM12
Paul Groth, Yolanda Gil, James Cheney, Simon Miles:
Requirements for Provenance on the Web. Int. J. Digit. Curation 7(1): 39-56 (2012)
[j18]
- view
- export record
  dblp key:
  - journals/jar/CheneyNV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CheneyNV12
James Cheney, Michael Norrish, René Vestergaard:
Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax. J. Autom. Reason. 49(2): 209-239 (2012)
[j17]
- view
- export record
  dblp key:
  - journals/jfp/AcarCW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AcarCW12
Umut A. Acar, James Cheney, Stephanie Weirich:
Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22(4-5): 379-381 (2012)
[j16]
- view
- export record
  dblp key:
  - journals/vldb/BravoCFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vldb/BravoCFS12
Loreto Bravo, James Cheney, Irini Fundulaki, Ricardo Segovia:
Consistency and repair for XML write-access control policies. VLDB J. 21(6): 843-867 (2012)
[c45]
- view
- export record
  dblp key:
  - conf/icfp/PereraACL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/PereraACL12
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy:
Functional programs that explain their work. ICFP 2012: 365-376
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/AcarACP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AcarACP12
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. POST 2012: 410-429
[c43]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/AndersonC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/AndersonC12
Paul Anderson, James Cheney:
Toward Provenance-Based Security for Configuration Languages. TaPP 2012
[c42]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/BunemanCK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/BunemanCK12
Peter Buneman, James Cheney, Egor V. Kostylev:
Hierarchical Models of Provenance. TaPP 2012
[c41]
- view
- export record
  dblp key:
  - conf/tldi/LindleyC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/LindleyC12
Sam Lindley, James Cheney:
Row-based effect types for database integration. TLDI 2012: 91-102
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/dagstuhl-reports/CheneyFLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/CheneyFLV12
James Cheney, Anthony Finkelstein, Bertram Ludäscher, Stijn Vansummeren:
Principles of Provenance (Dagstuhl Seminar 12091). Dagstuhl Reports 2(2): 84-113 (2012)
2011
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CheneyAA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CheneyAA11
James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as dependency analysis. Math. Struct. Comput. Sci. 21(6): 1301-1337 (2011)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/BunemanCLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/BunemanCLM11
Peter Buneman, James Cheney, Sam Lindley, Heiko Müller:
The database Wiki project: a general-purpose platform for data curation and collaboration. SIGMOD Rec. 40(3): 15-20 (2011)
[j13]
- view
- export record
  dblp key:
  - journals/tocl/UrbanCB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/UrbanCB11
Christian Urban, James Cheney, Stefan Berghofer:
Mechanizing the metatheory of LF. ACM Trans. Comput. Log. 12(2): 15:1-15:42 (2011)
[c40]
- view
- export record
  dblp key:
  - conf/cpp/CheneyU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/CheneyU11
James Cheney, Christian Urban:
Mechanizing the Metatheory of mini-XQuery. CPP 2011: 280-295
[c39]
- view
- export record
  dblp key:
  - conf/csfw/Cheney11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Cheney11
James Cheney:
A Formal Framework for Provenance Security. CSF 2011: 281-293
[c38]
- view
  - electronic edition @ cornell.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dbpl/CheneyLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CheneyLM11
James Cheney, Sam Lindley, Heiko Müller:
Using Links to prototype a Database Wiki. DBPL 2011
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/Cheney11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/Cheney11
James Cheney:
Satisfiability algorithms for conjunctive queries over trees. ICDT 2011: 150-161
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lid/Cheney11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lid/Cheney11
James Cheney:
Is provenance logical? LID 2011: 2-6
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/BunemanCLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/BunemanCLM11
Peter Buneman, James Cheney, Sam Lindley, Heiko Müller:
DBWiki: a structured wiki for curated data and collaborative data management. SIGMOD Conference 2011: 1335-1338
[c34]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/HalpinC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/HalpinC11
Harry Halpin, James Cheney:
Dynamic Provenance for SPARQL Updates Using Named Graphs. TaPP 2011
2010
[j12]
- view
- export record
  dblp key:
  - journals/jar/Cheney10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Cheney10
James Cheney:
Equivariant Unification. J. Autom. Reason. 45(3): 267-300 (2010)
[j11]
- view
- export record
  dblp key:
  - journals/pvldb/BenediktC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/BenediktC10
Michael Benedikt, James Cheney:
Destabilizers and Independence of XML Updates. Proc. VLDB Endow. 3(1): 906-917 (2010)
[c33]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/AcarBCBKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/AcarBCBKV10
Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren:
A Graph Model of Data and Workflow Provenance. TaPP 2010
[c32]
- view
- export record
  dblp key:
  - journals/corr/abs-1006-1429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1429
James Cheney:
Causality and the Semantics of Provenance. DCM 2010: 63-74
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-3241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-3241
James Cheney:
Causality and the semantics of provenance. CoRR abs/1004.3241 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/Cheney09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cheney09
James Cheney:
A Simple Nominal Type Theory. Electron. Notes Theor. Comput. Sci. 228: 37-52 (2009)
[j9]
- view
- export record
  dblp key:
  - journals/ftdb/CheneyCT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftdb/CheneyCT09
James Cheney, Laura Chiticariu, Wang Chiew Tan:
Provenance in Databases: Why, How, and Where. Found. Trends Databases 1(4): 379-474 (2009)
[j8]
- view
- export record
  dblp key:
  - journals/pvldb/BenediktC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/BenediktC09
Michael Benedikt, James Cheney:
Schema-Based Independence Analysis for XML Updates. Proc. VLDB Endow. 2(1): 61-72 (2009)
[j7]
- view
- export record
  dblp key:
  - journals/sigmod/Cheney09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/Cheney09
James Cheney:
Workshop on theory and practice of provenance event report. SIGMOD Rec. 38(2): 57-60 (2009)
[c31]
- view
- export record
  dblp key:
  - conf/dbpl/BenediktC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/BenediktC09
Michael Benedikt, James Cheney:
Semantics, Types and Effects for XML Updates. DBPL 2009: 1-17
[c30]
- view
- export record
  dblp key:
  - conf/oopsla/CheneyCFSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CheneyCFSV09
James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren:
Provenance: a future history. OOPSLA Companion 2009: 957-964
[e2]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/fast/2009tapp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fast/2009tapp
James Cheney:
First Workshop on the Theory and Practice of Provenance, TaPP'09, San Francisco, CA, USA, February 23, 2009, Proceedings. USENIX 2009 [contents]
[e1]
- view
- export record
  dblp key:
  - conf/lfmtp/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/2009
James Cheney, Amy P. Felty:
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009. ACM 2009, ISBN 978-1-60558-529-1 [contents]
2008
[j6]
- view
- export record
  dblp key:
  - journals/sigmod/CheneyBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/CheneyBL08
James Cheney, Peter Buneman, Bertram Ludäscher:
Report on the Principles of Provenance Workshop. SIGMOD Rec. 37(1): 62-65 (2008)
[j5]
- view
- export record
  dblp key:
  - journals/tods/BunemanCV08<