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

Books and Theses

see FAQ

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

2004
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - phd/us/Cheney04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Cheney04
James Cheney:
Nominal Logic Programming. Cornell University, USA, 2004

Journal Articles

see FAQ

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

2024
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/BenabderrahmaneHVCR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BenabderrahmaneHVCR24
Sidahmed Benabderrahmane, Ngoc Hoang, Petko Valtchev, James Cheney, Talal Rahwan:
Hack me if you can: Aggregating autoencoders for countering persistent access threats within highly imbalanced data. Future Gener. Comput. Syst. 160: 926-941 (2024)
[j42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/vldb/AbelloC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vldb/AbelloC24
Alberto Abelló, James Cheney:
Eris: efficiently measuring discord in multidimensional sources. VLDB J. 33(2): 399-423 (2024)
2022
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RicciottiC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RicciottiC22
Wilmer Ricciotti, James Cheney:
A Formalization of SQL with Nulls. J. Autom. Reason. 66(4): 989-1030 (2022)
[j40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/RicciottiC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/RicciottiC22
Wilmer Ricciotti, James Cheney:
Strongly-Normalizing Higher-Order Relational Queries. Log. Methods Comput. Sci. 18(3) (2022)
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/EmrichSCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/EmrichSCL22
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley:
Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. 6(ICFP): 570-595 (2022)
2021
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijdc/FowlerHSC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdc/FowlerHSC21
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney:
Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation 16(1): 21 (2021)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BarthaCB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BarthaCB21
Sándor Bartha, James Cheney, Vaishak Belle:
One down, 699 to go: or, synthesising compositional desugarings. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021)
2020
[j36]
- view
  authority control:
- 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
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijdc/FowlerHSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdc/FowlerHSC20
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney:
Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation 15(1): 1-15 (2020)
[j34]
- view
  authority control:
- 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)
2018
[j33]
- view
  authority control:
- 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)
[j32]
- view
  authority control:
- 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)
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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)
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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)
[j29]
- view
  authority control:
- 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)
2017
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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)
[j26]
- view
  authority control:
- 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)
[j25]
- view
  authority control:
- 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)
2016
[j24]
- view
  authority control:
- 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)
2015
[j23]
- view
  - electronic edition via DOI (open access)
  - details & 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)
2013
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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)
[j21]
- 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)
[j20]
- view
  authority control:
- 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 (2013)
2012
[j19]
- view
  authority control:
- 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)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & 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)
[j17]
- view
  authority control:
- 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)
[j16]
- view
  authority control:
- 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)
[j15]
- view
  authority control:
- 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)
2011
[j14]
- 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)
[j13]
- 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)
[j12]
- view
  authority control:
- 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)
2010
[j11]
- view
  authority control:
- 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)
[j10]
- view
  authority control:
- 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)
2009
[j9]
- view
  authority control:
- 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
  authority control:
- 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
  authority control:
- 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)
2008
[j6]
- view
  authority control:
- 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
  authority control:
- export record
  dblp key:
  - journals/tods/BunemanCV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/BunemanCV08
Peter Buneman, James Cheney, Stijn Vansummeren:
On the expressiveness of implicit provenance in query and update languages. ACM Trans. Database Syst. 33(4): 28:1-28:47 (2008)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CheneyU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CheneyU08
James Cheney, Christian Urban:
Nominal logic programming. ACM Trans. Program. Lang. Syst. 30(5): 26:1-26:47 (2008)
2007
[j3]
- view
  - electronic edition @ computer.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/debu/Cheney07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/Cheney07
James Cheney:
Program Slicing and Data Provenance. IEEE Data Eng. Bull. 30(4): 22-28 (2007)
[j2]
- view
  - electronic edition @ computer.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/debu/VansummerenC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/VansummerenC07
Stijn Vansummeren, James Cheney:
Recording Provenance for SQL Queries and Updates. IEEE Data Eng. Bull. 30(4): 29-37 (2007)
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Cheney06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Cheney06
James Cheney:
Completeness and Herbrand theorems for nominal logic. J. Symb. Log. 71(1): 299-320 (2006)

Conference and Workshop Papers

see FAQ

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

2022
[c100]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dolap/AbelloC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dolap/AbelloC22
Alberto Abelló, James Cheney:
Measuring Discord Among Multidimensional Data Sources. DOLAP 2022: 96-100
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/0001GC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/0001GC22
Simon Fowler, Vashti Galpin, James Cheney:
Language-Integrated Query for Temporal Data. GPCE 2022: 5-19
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CheneyF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CheneyF22
James Cheney, Maribel Fernández:
Nominal Matching Logic. PPDP 2022: 5:1-5:15
2021
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CheneyR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CheneyR21
James Cheney, Wilmer Ricciotti:
Comprehending nulls. DBPL 2021: 3-6
[c96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/RicciottiC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/RicciottiC21
Wilmer Ricciotti, James Cheney:
Query Lifting - Language-integrated query for heterogeneous nested collections. ESOP 2021: 579-606
[c95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Benabderrahmane21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Benabderrahmane21
Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev:
A Rule Mining-based Advanced Persistent Threats Detection System. IJCAI 2021: 3589-3596
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ipaw/GalpinC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipaw/GalpinC21
Vashti Galpin, James Cheney:
Curating Covid-19 Data in Links. IPAW 2021: 237-243
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/0001CLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/0001CLR21
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP 2021: 11:1-11:15
[c92]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/tapp/ChanCB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/ChanCB21
Sheung Chi Chan, James Cheney, Pramod Bhatotia:
Provenance expressiveness benchmarking on non-deterministic executions. TaPP 2021
2020
[c91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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
[c90]
- view
  authority control:
- 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
[c89]
- view
  authority control:
- 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
[c88]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/tapp/ChanGIC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/ChanGIC20
Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney:
Integrity Checking and Abnormality Detection of Provenance Records. TaPP 2020
[c87]
- view
  authority control:
- 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
2019
[c86]
- view
  authority control:
- 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
[c85]
- view
  authority control:
- 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
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Horn0C19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Horn0C19
Rudi Horn, Simon Fowler, James Cheney:
Language-integrated updatable views. IFL 2019: 13:1-13:12
[c83]
- view
  authority control:
- 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
[c82]
- view
  authority control:
- 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
[c81]
- view
  authority control:
- 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
[c80]
- view
  authority control:
- 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
[c79]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/tapp/AnjorinC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/AnjorinC19
Anthony Anjorin, James Cheney:
Provenance Meets Bidirectional Transformations. TaPP 2019
[c78]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/tapp/BerradaC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/BerradaC19
Ghita Berrada, James Cheney:
Aggregating unsupervised provenance anomaly detectors. TaPP 2019
2018
[c77]
- view
  authority control:
- 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
2017
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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
[c75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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
[c74]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
2016
[c73]
- view
  authority control:
- 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
[c72]
- view
  authority control:
- 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
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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
[c70]
- view
  authority control:
- 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
[c69]
- view
  authority control:
- 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
[c68]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
2015
[c67]
- view
  authority control:
- 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
[c66]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- 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
[c65]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
[c64]
- view
  authority control:
- 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
2014
[c63]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- 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
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- 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
[c61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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
[c60]
- view
  authority control:
- 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
[c59]
- 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
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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. ISWC (1) 2014: 425-440
[c57]
- view
  authority control:
- 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
[c56]
- view
  authority control:
- 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
2013
[c55]
- view
  authority control:
- 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
[c54]
- view
  authority control:
- 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
[c53]
- 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
[c52]
- view
  authority control:
- 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
[c51]
- view
  authority control:
- 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
[c50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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
2012
[c49]
- view
  authority control:
- 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
[c48]
- view
  - electronic edition via DOI (open access)
  - details & 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
[c47]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
[c46]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
[c45]
- view
  authority control:
- 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
2011
[c44]
- view
  authority control:
- 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
[c43]
- view
  authority control:
- 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
[c42]
- view
  - electronic edition @ cornell.edu (open access)
  - details & citations
- 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
[c41]
- 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
[c40]
- 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
[c39]
- 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
[c38]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
[c37]
- view
  - electronic edition @ irif.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/unif/KavanaghC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/KavanaghC11
Ben Kavanagh, James Cheney:
Higher-Order Unification for the λ_αν calculus. UNIF 2011: 42-51
2010
[c36]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- 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
[c35]
- view
  authority control:
- 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
2009
[c34]
- view
  authority control:
- 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
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/McKayNCKMH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/McKayNCKMH09
Robert I. McKay, Xuan Hoai Nguyen, James Cheney, Minhyeok Kim, Naoki Mori, Tuan Hao Hoang:
Estimating the distribution and propagation of genetic programming building blocks through tree compression. GECCO 2009: 1011-1018
[c32]
- view
  authority control:
- 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
2008
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/edbt/BravoCF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/BravoCF08
Loreto Bravo, James Cheney, Irini Fundulaki:
ACCOn: checking consistency of XML write-access control policies. EDBT 2008: 715-719
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/Cheney08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Cheney08
James Cheney:
Regular Expression Subtyping for XML Query and Update Languages. ESOP 2008: 32-47
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Cheney08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Cheney08
James Cheney:
FLUX: functional updates for XML. ICFP 2008: 3-14
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/UrbanCB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/UrbanCB08
Christian Urban, James Cheney, Stefan Berghofer:
Mechanizing the Metatheory of LF. LICS 2008: 45-56
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/CheneyD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/CheneyD08
James Cheney, Morten Dahl:
Resource bound analysis for database queries. PLAS 2008: 67-78
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/BunemanCTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/BunemanCTV08
Peter Buneman, James Cheney, Wang Chiew Tan, Stijn Vansummeren:
Curated databases. PODS 2008: 1-12
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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. LFMTP@LICS 2008: 37-52
2007
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/BravoCF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/BravoCF07
Loreto Bravo, James Cheney, Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies. DBPL 2007: 97-111
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CheneyAA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CheneyAA07
James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as Dependency Analysis. DBPL 2007: 138-152
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/BunemanCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/BunemanCV07
Peter Buneman, James Cheney, Stijn Vansummeren:
On the Expressiveness of Implicit Provenance in Query and Update Languages. ICDT 2007: 209-223
[c21]
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/Cheney07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/Cheney07
James Cheney:
Lux: A Lightweight, Statically Typed XML Update Language. PLAN-X 2007: 25-36
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CheneyM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CheneyM07
James Cheney, Alberto Momigliano:
Mechanized metatheory model-checking. PPDP 2007: 75-86
2006
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/dcc/Cheney06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcc/Cheney06
James Cheney:
Tradeoffs in XML Database Compression. DCC 2006: 392-401
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Cheney06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Cheney06
James Cheney:
The Semantics of Nominal Logic Programs. ICLP 2006: 361-375
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ipaw/BunemanCCV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipaw/BunemanCCV06
Peter Buneman, Adriane Chapman, James Cheney, Stijn Vansummeren:
A Provenance Model for Manually Curated Data. IPAW 2006: 162-170
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/BunemanCC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/BunemanCC06
Peter Buneman, Adriane Chapman, James Cheney:
Provenance management in curated databases. SIGMOD Conference 2006: 539-550
2005
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/Cheney05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Cheney05
James Cheney:
A Simpler Proof Theory for Nominal Logic. FoSSaCS 2005: 379-394
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Cheney05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Cheney05a
James Cheney:
Toward a general theory of names: binding and scope. MERLIN 2005: 33-40
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Cheney05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Cheney05
James Cheney:
Scrap your nameplate: (functional pearl). ICFP 2005: 180-191
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Cheney05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Cheney05
James Cheney:
Equivariant Unification. RTA 2005: 74-89
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/UrbanC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/UrbanC05
Christian Urban, James Cheney:
Avoiding Equivariance in Alpha-Prolog. TLCA 2005: 401-416
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/webdb/Cheney05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webdb/Cheney05
James Cheney:
An Empirical Evaluation of Simple DTD-Conscious Compression Techniques. WebDB 2005: 43-48
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Cheney04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Cheney04
James Cheney:
The Complexity of Equivariant Unification. ICALP 2004: 332-344
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/CheneyU04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CheneyU04
James Cheney, Christian Urban:
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. ICLP 2004: 269-283
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/GabbayC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GabbayC04
Murdoch Gabbay, James Cheney:
A Sequent Calculus for Nominal Logic. LICS 2004: 139-148
2002
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/CheneyH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/CheneyH02
James Cheney, Ralf Hinze:
A lightweight implementation of generics and dynamics. Haskell 2002: 90-104
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GrossmanMJHWC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GrossmanMJHWC02
Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney:
Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
[c4]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/JimMGHCW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/JimMGHCW02
Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang:
Cyclone: A Safe Dialect of C. USENIX ATC, General Track 2002: 275-288
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dcc/Cheney01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcc/Cheney01
James Cheney:
Compressing XML with Multiplexed Hierarchical PPM Models. Data Compression Conference 2001: 163-
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ercimdl/CheneyLB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ercimdl/CheneyLB01
James Cheney, Carl Lagoze, Peter Botticelli:
Towards a Theory of Information Preservation. ECDL 2001: 340-351
2000
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dcc/Cheney00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcc/Cheney00
James Cheney:
Statistical Models for Term Compression. Data Compression Conference 2000: 550

Editorship

see FAQ

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

2024
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/2024
Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney:
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM 2024, ISBN 979-8-4007-0969-2 [contents]
2022
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2022
James Cheney, Simona Perri:
Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings. Lecture Notes in Computer Science 13165, Springer 2022, ISBN 978-3-030-94478-0 [contents]
2019
[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]
2016
[e4]
- view
  authority control:
- 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]
2015
[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]
2009
[e2]
- view
  - table of contents in dblp
  - details & citations
- 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]

Reference Works

see FAQ

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

2018
[r1]
- view
  authority control:
- 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

Informal and Other Publications

see FAQ

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

2024
[i59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-19220
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-19220
Sidahmed Benabderrahmane, Ngoc Hoang, Petko Valtchev, James Cheney, Talal Rahwan:
Hack Me If You Can: Aggregating AutoEncoders for Countering Persistent Access Threats Within Highly Imbalanced Data. CoRR abs/2406.19220 (2024)
2022
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2201-13302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-13302
Alberto Abelló, James Cheney:
Eris: Measuring discord among multidimensional data sources. CoRR abs/2201.13302 (2022)
[i57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09914
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09914
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley:
Constraint-based type inference for FreezeML. CoRR abs/2207.09914 (2022)
[i56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-14139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-14139
James Cheney, Maribel Fernández:
Nominal Matching Logic. CoRR abs/2207.14139 (2022)
[i55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-12077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-12077
Simon Fowler, Vashti Galpin, James Cheney:
Language-Integrated Query for Temporal Data (Extended version). CoRR abs/2210.12077 (2022)
2021
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-10053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-10053
Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev:
A Rule Mining-Based Advanced Persistent Threats Detection System. CoRR abs/2105.10053 (2021)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-00412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-00412
Vashti Galpin, James Cheney:
Curating Covid-19 data in Links. CoRR abs/2106.00412 (2021)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-10793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-10793
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR abs/2107.10793 (2021)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-11347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-11347
James Cheney, Wilmer Ricciotti:
Comprehending nulls. CoRR abs/2107.11347 (2021)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06114
Sándor Bartha, James Cheney, Vaishak Belle:
One Down, 699 to Go: or, synthesising compositional desugarings. CoRR abs/2109.06114 (2021)
2020
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
2019
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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, R. 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)
  - details & 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
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & citations
  authority control:
- 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
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)
  - details & 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
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- 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)
2010
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
2008
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0801-0714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0801-0714
James Cheney:
Regular Expression Subtyping for XML Query and Update Languages. CoRR abs/0801.0714 (2008)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0804-1667
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0804-1667
Christian Urban, James Cheney, Stefan Berghofer:
Mechanizing the Metatheory of LF. CoRR abs/0804.1667 (2008)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0807-1211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0807-1211
James Cheney:
Flux: FunctionaL Updates for XML (extended report). CoRR abs/0807.1211 (2008)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0812-0564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0812-0564
James Cheney, Umut A. Acar, Amal Ahmed:
Provenance Traces. CoRR abs/0812.0564 (2008)
2007
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0708-2076
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0708-2076
Loreto Bravo, James Cheney, Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies. CoRR abs/0708.2076 (2007)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0708-2173
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0708-2173
James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as Dependency Analysis. CoRR abs/0708.2173 (2007)
2006
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0609062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0609062
James Cheney, Christian Urban:
Nominal Logic Programming. CoRR abs/cs/0609062 (2006)
2005
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0511025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0511025
James Cheney:
Logic Column 14: Nominal Logic and Abstract Syntax. CoRR abs/cs/0511025 (2005)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.