
James Cheney
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
- 2021
- [i49]Wilmer Ricciotti, James Cheney:
Query Lifting: Language-integrated query for heterogeneous nested collections. CoRR abs/2101.04102 (2021) - [i48]James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes:
Data provenance, curation and quality in metrology. CoRR abs/2102.08228 (2021) - 2020
- [j36]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]Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A polymorphic RPC calculus. Sci. Comput. Program. 197: 102499 (2020) - [c83]Wilmer Ricciotti
, James Cheney
:
Strongly Normalizing Higher-Order Relational Queries. FSCD 2020: 28:1-28:22 - [c82]Sheung Chi Chan, James Cheney:
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. PADL 2020: 20-36 - [c81]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]Nils Weidmann, Anthony Anjorin, James Cheney:
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. GCM@STAF 2020: 1-12 - [i47]Rudi Horn
, Simon Fowler, James Cheney:
Language-Integrated Updatable Views (Extended version). CoRR abs/2003.02191 (2020) - [i46]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]Wilmer Ricciotti, James Cheney:
A Formalization of SQL with Nulls. CoRR abs/2003.11331 (2020) - [i44]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]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]Wilmer Ricciotti, James Cheney:
Strongly-Normalizing Higher-Order Relational Queries. CoRR abs/2011.13451 (2020)
2010 – 2019
- 2019
- [c79]Wilmer Ricciotti, James Cheney:
Mixing set and bag semantics. DBPL 2019: 70-73 - [c78]Stefan Fehrenbach, James Cheney:
Language-integrated provenance by trace analysis. DBPL 2019: 74-84 - [c77]Sándor Bartha, James Cheney:
Towards Meta-interpretive Learning of Programming Language Semantics. ILP 2019: 16-25 - [c76]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]Jan Stolarek
, James Cheney:
Verified Self-Explaining Computation. MPC 2019: 76-102 - [c74]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]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]Junao Wu, Arek Mikolajczak, James Cheney:
TryLinks: An interactive tutorial system for a cross-tier Web programming language. CoRR abs/1905.02033 (2019) - [i40]Stefan Fehrenbach, James Cheney:
Language-integrated provenance by trace analysis. CoRR abs/1905.02051 (2019) - [i39]Wilmer Ricciotti, James Cheney:
Mixing set and bag semantics. CoRR abs/1905.02069 (2019) - [i38]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]Jan Stolarek, James Cheney:
Verified Self-Explaining Computation. CoRR abs/1907.05818 (2019) - [i36]Sándor Bartha, James Cheney:
Towards meta-interpretive learning of programming language semantics. CoRR abs/1907.08834 (2019) - [i35]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]Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A Polymorphic RPC Calculus. CoRR abs/1910.10988 (2019) - [i33]Sheung Chi Chan, James Cheney:
Flexible graph matching and graph edit distance using answer set programming. CoRR abs/1911.11584 (2019) - 2018
- [j34]James Cheney, Torsten Grust:
Special Issue on Programming Languages for Big Data Editorial. J. Funct. Program. 28: e8 (2018) - [j33]Roly Perera, James Cheney:
Proof-relevant π-calculus: a constructive account of concurrency and causality. Math. Struct. Comput. Sci. 28(9): 1541-1577 (2018) - [j32]Rudi Horn, Roly Perera, James Cheney:
Incremental relational lenses. Proc. ACM Program. Lang. 2(ICFP): 74:1-74:30 (2018) - [j31]Jan Stolarek
, James Cheney:
Language-integrated provenance in Haskell. Art Sci. Eng. Program. 2(3): 11 (2018) - [j30]Stefan Fehrenbach, James Cheney:
Language-integrated provenance. Sci. Comput. Program. 155: 103-145 (2018) - [c73]Wilmer Ricciotti, James Cheney:
Explicit Auditing. ICTAC 2018: 376-395 - [r1]James Cheney, Wang-Chiew Tan:
Provenance in Databases. Encyclopedia of Database Systems (2nd ed.) 2018 - [i32]Jan Stolarek, James Cheney:
Language-integrated provenance in Haskell. CoRR abs/1803.10202 (2018) - [i31]Rudi Horn, Roly Perera, James Cheney:
Incremental Relational Lenses. CoRR abs/1807.01948 (2018) - [i30]Wilmer Ricciotti, James Cheney:
Explicit Auditing. CoRR abs/1808.00486 (2018) - 2017
- [j29]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]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]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]James Cheney, Alberto Momigliano
:
αCheck: A mechanized metatheory model checker. Theory Pract. Log. Program. 17(3): 311-352 (2017) - [c72]Wilmer Ricciotti, James Cheney:
Strongly Normalizing Audited Computation. CSL 2017: 36:1-36:21 - [c71]Weili Fu, Roly Perera, Paul Anderson, James Cheney:
muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP 2017: 12:1-12:27 - [c70]Sheung Chi Chan, Ashish Gehani, James Cheney, Ripduman Sohan, Hassaan Irshad:
Expressiveness Benchmarking for System-Level Provenance. TaPP 2017 - [i29]James Cheney, Alberto Momigliano:
αCheck: A mechanized metatheory model-checker. CoRR abs/1704.00617 (2017) - [i28]Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney:
Imperative Functional Programs that Explain their Work. CoRR abs/1705.07678 (2017) - [i27]Wilmer Ricciotti, James Cheney:
Strongly Normalizing Audited Computation. CoRR abs/1706.03711 (2017) - 2016
- [j25]James Cheney:
A simple sequent calculus for nominal logic. J. Log. Comput. 26(2): 699-726 (2016) - [c69]Faris Abou-Saleh, James Cheney
, Jeremy Gibbons
, James McKinna, Perdita Stevens
:
Introduction to Bidirectional Transformations. Bidirectional Transformations 2016: 1-28 - [c68]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]Roly Perera, Deepak Garg, James Cheney:
Causally Consistent Dynamic Slicing. CONCUR 2016: 18:1-18:15 - [c66]Stefan Fehrenbach, James Cheney:
Language-integrated provenance. PPDP 2016: 214-227 - [c65]James Cheney, Alberto Momigliano
, Matteo Pessina:
Advances in Property-Based Testing for \alpha Prolog. TAP@STAF 2016: 37-56 - [c64]Rui Abreu, Dave Archer, Erin Chapman, James Cheney, Hoda Eldardiry, Adrià Gascón:
Provenance Segmentation. TaPP 2016 - [e4]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]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Reflections on Monadic Lenses. CoRR abs/1601.02484 (2016) - [i25]Roly Perera, James Cheney:
Proof-relevant pi-calculus. CoRR abs/1604.04575 (2016) - [i24]James Cheney, Alberto Momigliano, Matteo Pessina:
Advances in Property-Based Testing for $α$Prolog. CoRR abs/1604.08345 (2016) - [i23]Stefan Fehrenbach, James Cheney:
Language-integrated provenance. CoRR abs/1607.04104 (2016) - [i22]Weili Fu, James Cheney, Paul Anderson:
An Operational Semantics for a Fragment of the Puppet Configuration Language. CoRR abs/1608.04999 (2016) - [i21]Roly Perera, Deepak Garg, James Cheney:
Causally consistent dynamic slicing. CoRR abs/1610.02327 (2016) - 2015
- [j24]Luc Moreau
, Paul Groth
, James Cheney, Timothy Lebo
, Simon Miles
:
The rationale of PROV. J. Web Semant. 35: 235-257 (2015) - [c63]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. MPC 2015: 187-214 - [c62]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF 2015: 66-80 - [c61]Stefan Fehrenbach, James Cheney:
Language-integrated Provenance in Links. TaPP 2015 - [c60]Roly Perera, James Cheney:
Proof-relevant pi-calculus. LFMTP 2015: 46-70 - [e3]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]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]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]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons:
Towards a Repository of Bx Examples. EDBT/ICDT Workshops 2014: 87-91 - [c58]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh:
Entangled State Monads. EDBT/ICDT Workshops 2014: 108-111 - [c57]James Cheney, Roly Perera:
An Analytical Survey of Provenance Sanitization. IPAW 2014: 113-126 - [c56]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective quotation: relating approaches to language-integrated query. PEPM 2014: 15-26 - [c55]James Cheney, Amal Ahmed
, Umut A. Acar:
Database Queries that Explain their Work. PPDP 2014: 271-282 - [c54]Harry Halpin, James Cheney:
Dynamic Provenance for SPARQL Updates. International Semantic Web Conference (1) 2014: 425-440 - [c53]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference 2014: 1027-1038 - [c52]Harry Halpin, James Cheney:
Dynamic provenance for SPARQL updates using named graphs. WWW (Companion Volume) 2014: 287-288 - [i18]James Cheney, Sam Lindley, Philip Wadler:
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR abs/1404.7078 (2014) - [i17]James Cheney, Roly Perera:
An Analytical Survey of Provenance Sanitization. CoRR abs/1405.5777 (2014) - [i16]Harry Halpin, James Cheney:
Dynamic Provenance for SPARQL Update. CoRR abs/1408.0926 (2014) - [i15]James Cheney, Amal Ahmed, Umut A. Acar:
Database Queries that Explain their Work. CoRR abs/1408.1675 (2014) - [i14]James Cheney, Torsten Grust, Dimitrios Vytiniotis:
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). Dagstuhl Reports 4(12): 48-67 (2014) - 2013
- [j23]Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney:
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j22]Umut A. Acar, Amal Ahmed
, James Cheney, Roly Perera:
A core calculus for provenance. J. Comput. Secur. 21(6): 919-969 (2013) - [j21]James Cheney:
Revisiting "forward node-selecting queries over trees". ACM Trans. Database Syst. 38(2): 13:1-13:33 (2013) - [c51]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]Alessandro Spinuso, James Cheney, Malcolm P. Atkinson:
Provenance for seismological processing pipelines in a distributed streaming workflow. EDBT/ICDT Workshops 2013: 307-312 - [c49]Paolo Missier
, Khalid Belhajjame, James Cheney:
The W3C PROV family of specifications for modelling provenance metadata. EDBT 2013: 773-776 - [c48]James Cheney, Sam Lindley, Philip Wadler:
A practical theory of language-integrated query. ICFP 2013: 403-416 - [c47]Eric Griffis, Paul Martin, James Cheney:
Semantics and provenance for processing element composition in dispel workflows. WORKS@SC 2013: 38-47 - [c46]James Cheney:
Static Enforceability of XPath-Based Access Control Policies. DBPL 2013 - [i13]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective Quotation. CoRR abs/1310.4780 (2013) - [i12]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. CoRR abs/1310.6299 (2013) - [i11]James Cheney:
A simple sequent calculus for nominal logic. CoRR abs/1312.4840 (2013) - 2012
- [j20]James Cheney:
A dependent nominal type theory. Log. Methods Comput. Sci. 8(1) (2012) - [j19]Paul Groth
, Yolanda Gil, James Cheney, Simon Miles
:
Requirements for Provenance on the Web. Int. J. Digit. Curation 7(1): 39-56 (2012) - [j18]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]Umut A. Acar, James Cheney, Stephanie Weirich
:
Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22(4-5): 379-381 (2012) - [j16]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]Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy:
Functional programs that explain their work. ICFP 2012: 365-376 - [c44]Umut A. Acar, Amal Ahmed
, James Cheney, Roly Perera:
A Core Calculus for Provenance. POST 2012: 410-429 - [c43]Paul Anderson, James Cheney:
Toward Provenance-Based Security for Configuration Languages. TaPP 2012 - [c42]Peter Buneman, James Cheney, Egor V. Kostylev:
Hierarchical Models of Provenance. TaPP 2012 - [c41]Sam Lindley, James Cheney:
Row-based effect types for database integration. TLDI 2012: 91-102 - [i10]James Cheney, Anthony Finkelstein, Bertram Ludäscher, Stijn Vansummeren:
Principles of Provenance (Dagstuhl Seminar 12091). Dagstuhl Reports 2(2): 84-113 (2012) - 2011
- [j15]James Cheney, Amal Ahmed
, Umut A. Acar:
Provenance as dependency analysis. Math. Struct. Comput. Sci. 21(6): 1301-1337 (2011) - [j14]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]Christian Urban, James Cheney, Stefan Berghofer:
Mechanizing the metatheory of LF. ACM Trans. Comput. Log. 12(2): 15:1-15:42 (2011) - [c40]James Cheney, Christian Urban:
Mechanizing the Metatheory of mini-XQuery. CPP 2011: 280-295 - [c39]James Cheney:
A Formal Framework for Provenance Security. CSF 2011: 281-293 - [c38]James Cheney, Sam Lindley, Heiko Müller:
Using Links to prototype a Database Wiki. DBPL 2011 - [c37]James Cheney
:
Satisfiability algorithms for conjunctive queries over trees. ICDT 2011: 150-161 - [c36]James Cheney
:
Is provenance logical? LID 2011: 2-6 - [c35]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]Harry Halpin, James Cheney:
Dynamic Provenance for SPARQL Updates Using Named Graphs. TaPP 2011 - 2010
- [j12]James Cheney:
Equivariant Unification. J. Autom. Reason. 45(3): 267-300 (2010) - [j11]Michael Benedikt, James Cheney:
Destabilizers and Independence of XML Updates. Proc. VLDB Endow. 3(1): 906-917 (2010) - [c33]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]James Cheney:
Causality and the Semantics of Provenance. DCM 2010: 63-74 - [i9]James Cheney:
Causality and the semantics of provenance. CoRR abs/1004.3241 (2010)
2000 – 2009
- 2009
- [j10]James Cheney:
A Simple Nominal Type Theory. Electron. Notes Theor. Comput. Sci. 228: 37-52 (2009) - [j9]James Cheney, Laura Chiticariu, Wang Chiew Tan:
Provenance in Databases: Why, How, and Where. Found. Trends Databases 1(4): 379-474 (2009) - [j8]Michael Benedikt, James Cheney:
Schema-Based Independence Analysis for XML Updates. Proc. VLDB Endow. 2(1): 61-72 (2009) - [j7]James Cheney:
Workshop on theory and practice of provenance event report. SIGMOD Rec. 38(2): 57-60 (2009) - [c31]Michael Benedikt
, James Cheney:
Semantics, Types and Effects for XML Updates. DBPL 2009: 1-17 - [c30]James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren:
Provenance: a future history. OOPSLA Companion 2009: 957-964 - [e2]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]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]James Cheney, Peter Buneman, Bertram Ludäscher:
Report on the Principles of Provenance Workshop. SIGMOD Rec. 37(1): 62-65 (2008) - [j5]