Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: James
    Last name: Cheney
    DBLP: 96/3253
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 118  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Reflections on Monadic Lenses.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Reflections on Monadic Lenses.
    A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday 2016 (0) 2016
    Journal article
    Roly Perera, James Cheney.
    Proof-relevant pi-calculus.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    James Cheney, Alberto Momigliano, Matteo Pessina.
    Advances in Property-Based Testing for $α$Prolog.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    James Cheney.
    A simple sequent calculus for nominal logic.
    J. Log. Comput. 2016, Volume 26 (0) 2016
    Conference paper
    James Cheney, Alberto Momigliano, Matteo Pessina.
    Advances in Property-Based Testing for \alpha Prolog.
    Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 (0) 2016
    Journal article
    Stefan Fehrenbach, James Cheney.
    Language-integrated provenance.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Roly Perera, Deepak Garg 0001, James Cheney.
    Causally Consistent Dynamic Slicing.
    27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada 2016 (0) 2016
    Journal article
    Weili Fu, James Cheney, Paul Anderson.
    An Operational Semantics for a Fragment of the Puppet Configuration Language.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Stefan Fehrenbach, James Cheney.
    Language-integrated provenance.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Journal article
    Roly Perera, Deepak Garg 0001, James Cheney.
    Causally consistent dynamic slicing.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Timothy M. McPhillips, Tianhong Song, Tyler Kolisnik, Steve Aulenbach, Khalid Belhajjame, Kyle Bocinsky, Yang Cao, Fernando Seabra 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 2015, Volume 0 (0) 2015
    Conference paper
    Khalid Belhajjame, Domenico Beneventano, Laure Berti-Equille, James Cheney, Víctor Cuevas-Vicenttín, Tom De Nies, Helena Galhardas, Ashish Gehani, Boris Glavic, Paul T. Groth, Olaf Hartig, Scott Jensen, Andrea Maurino, Gianni Mecca, Renée J. Miller, Luc Moreau, Mourad Ouzzani, Jaehong Park.
    Editorial.
    J. Data and Information Quality 2014, Volume 5 (0) 2015
    Journal article
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Notions of bidirectional computation and entangled state monads.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Notions of Bidirectional Computation and Entangled State Monads.
    Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings 2015 (0) 2015
    Journal article
    Roly Perera, James Cheney.
    Proof-relevant pi-calculus.
    Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. 2015, Volume 185 (0) 2015
    Conference paper
    James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens.
    Towards a Principle of Least Surprise for Bidirectional Transformations.
    Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. 2015 (0) 2015
    Journal article
    Luc Moreau, Paul T. Groth, James Cheney, Timothy Lebo, Simon Miles.
    The rationale of PROV.
    J. Web Sem. 2015, Volume 35 (0) 2015
    Conference paper
    James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler.
    Effective quotation: relating approaches to language-integrated query.
    Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA 2014 (0) 2014
    Conference paper
    James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh.
    Entangled State Monads.
    Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. 2014 (0) 2014
    Conference paper
    James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons.
    Towards a Repository of Bx Examples.
    Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. 2014 (0) 2014
    Conference paper
    Harry Halpin, James Cheney.
    Dynamic provenance for SPARQL updates using named graphs.
    23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014, Companion Volume 2014 (0) 2014
    Journal article
    James Cheney, Sam Lindley, Philip Wadler.
    Query shredding: Efficient relational evaluation of queries over nested multisets (extended version).
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    James Cheney, Roly Perera.
    An Analytical Survey of Provenance Sanitization.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    James Cheney, Sam Lindley, Philip Wadler.
    Query shredding: efficient relational evaluation of queries over nested multisets.
    International Conference on Management of Data, SIGMOD 2014, Snowbird, UT, USA, June 22-27, 2014 2014 (0) 2014
    Journal article
    James Cheney, Amal Ahmed, Umut A. Acar.
    Database Queries that Explain their Work.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Harry Halpin, James Cheney.
    Dynamic Provenance for SPARQL Update.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Harry Halpin, James Cheney.
    Dynamic Provenance for SPARQL Updates.
    The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I 2014 (0) 2014
    Conference paper
    James Cheney, Roly Perera.
    An Analytical Survey of Provenance Sanitization.
    Provenance and Annotation of Data and Processes - 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers 2015 (0) 2014
    Conference paper
    James Cheney, Torsten Grust, Dimitrios Vytiniotis.
    Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Conference paper
    James Cheney, Amal Ahmed, Umut A. Acar.
    Database Queries that Explain their Work.
    Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 2014 (0) 2014
    Conference paper
    Paolo Missier, Khalid Belhajjame, James Cheney.
    The W3C PROV family of specifications for modelling provenance metadata.
    Joint 2013 EDBT/ICDT Conferences, EDBT '13 Proceedings, Genoa, Italy, March 18-22, 2013 2013 (0) 2013
    Conference paper
    Alessandro Spinuso, James Cheney, Malcolm P. Atkinson.
    Provenance for seismological processing pipelines in a distributed streaming workflow.
    Joint 2013 EDBT/ICDT Conferences, EDBT/ICDT '13, Genoa, Italy, March 22, 2013, Workshop Proceedings 2013 (0) 2013
    Conference paper
    James Cheney.
    Revisiting "forward node-selecting queries over trees".
    ACM Trans. Database Syst. 2013, Volume 38 (0) 2013
    Journal article
    James Cheney.
    Static Enforceability of XPath-Based Access Control Policies.
    Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy. 2013, Volume null (0) 2013
    Conference paper
    James Cheney, Sam Lindley, Philip Wadler.
    A practical theory of language-integrated query.
    ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013 2013 (0) 2013
    Journal article
    Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera.
    A Core Calculus for Provenance.
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler.
    Effective Quotation.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    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 - Essays Dedicated to Peter Buneman 2013 (0) 2013
    Conference paper
    Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera.
    A core calculus for provenance.
    Journal of Computer Security 2013, Volume 21 (0) 2013
    Journal article
    James Cheney.
    A simple sequent calculus for nominal logic.
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney.
    Lenses for Web Data.
    ECEASST 2013, Volume 57 (0) 2013
    Conference paper
    Eric Griffis, Paul Martin, James Cheney.
    Semantics and provenance for processing element composition in dispel workflows.
    Proceedings of WORKS 2013: 8th Workshop On Workflows in Support of Large-Scale Science, Held in conjunction with SC13, Denver, CO, USA, November 17, 2013 2013 (0) 2013
    Conference paper
    Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera.
    A Core Calculus for Provenance.
    Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012 (0) 2012
    Conference paper
    Sam Lindley, James Cheney.
    Row-based effect types for database integration.
    Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012 2012 (0) 2012
    Conference paper
    James Cheney, Michael Norrish, René Vestergaard.
    Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.
    J. Autom. Reasoning 2012, Volume 49 (0) 2012
    Conference paper
    Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy.
    Functional programs that explain their work.
    ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012 2012 (0) 2012
    Conference paper
    James Cheney.
    A dependent nominal type theory
    Logical Methods in Computer Science 2011, Volume 8 (0) 2012
    Journal article
    Umut A. Acar, James Cheney, Stephanie Weirich.
    Editorial - Special issue dedicated to ICFP 2010.
    J. Funct. Program. 2012, Volume 22 (0) 2012
    Conference paper
    Loreto Bravo, James Cheney, Irini Fundulaki, Ricardo Segovia.
    Consistency and repair for XML write-access control policies.
    VLDB J. 2012, Volume 21 (0) 2012
    Conference paper
    James Cheney, Anthony Finkelstein, Bertram Ludäscher, Stijn Vansummeren.
    Principles of Provenance (Dagstuhl Seminar 12091).
    Dagstuhl Reports 2012, Volume 2 (0) 2012
    Journal article
    Paul T. Groth, Yolanda Gil, James Cheney, Simon Miles.
    Requirements for Provenance on the Web.
    IJDC 2012, Volume 7 (0) 2012
    Conference paper
    Peter Buneman, James Cheney, Egor V. Kostylev.
    Hierarchical Models of Provenance.
    4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012 2012 (0) 2012
    Conference paper
    Paul Anderson, James Cheney.
    Toward Provenance-Based Security for Configuration Languages.
    4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012 2012 (0) 2012
    Conference paper
    Christian Urban, James Cheney, Stefan Berghofer.
    Mechanizing the metatheory of LF.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    James Cheney.
    Satisfiability algorithms for conjunctive queries over trees.
    Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings 2011 (0) 2011
    Conference paper
    Peter Buneman, James Cheney, Sam Lindley, Heiko Müller.
    DBWiki: a structured wiki for curated data and collaborative data management.
    Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2011, Athens, Greece, June 12-16, 2011 2011 (0) 2011
    Conference paper
    James Cheney.
    A Formal Framework for Provenance Security.
    Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011 2011 (0) 2011
    Conference paper
    James Cheney.
    Is provenance logical?
    Proceedings of the 4th International Workshop on Logic in Databases, Uppsala, Sweden, (EDBT/ICDT '10 joint conference), March 25, 2011, Proceedings 2011 (0) 2011
    Conference paper
    James Cheney, Christian Urban.
    Mechanizing the Metatheory of mini-XQuery.
    Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Peter Buneman, James Cheney, Sam Lindley, Heiko Müller.
    The database Wiki project: a general-purpose platform for data curation and collaboration.
    SIGMOD Record 2011, Volume 40 (0) 2011
    Conference paper
    James Cheney, Amal Ahmed, Umut A. Acar.
    Provenance as dependency analysis.
    Mathematical Structures in Computer Science 2011, Volume 21 (0) 2011
    Conference paper
    James Cheney, Sam Lindley, Heiko Müller.
    Using Links to prototype a Database Wiki.
    Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Harry Halpin, James Cheney.
    Dynamic Provenance for SPARQL Updates Using Named Graphs.
    3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion, Crete, Greece, June 20-21, 2011 2011 (0) 2011
    Journal article
    James Cheney.
    Causality and the Semantics of Provenance
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Michael Benedikt, James Cheney.
    Destabilizers and Independence of XML Updates.
    PVLDB 2010, Volume 3 (0) 2010
    Conference paper
    James Cheney.
    Equivariant Unification.
    J. Autom. Reasoning 2010, Volume 45 (0) 2010
    Conference paper
    Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren.
    A Graph Model of Data and Workflow Provenance.
    2nd Workshop on the Theory and Practice of Provenance, TaPP'10, San Jose, CA, USA, February 22, 2010 2010 (0) 2010
    Journal article
    James Cheney.
    Causality and the semantics of provenance
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    James Cheney.
    Workshop on theory and practice of provenance event report.
    SIGMOD Record 2009, Volume 38 (0) 2009
    Conference paper
    Michael Benedikt, James Cheney.
    Semantics, Types and Effects for XML Updates.
    Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings 2009 (0) 2009
    Conference paper
    James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren.
    Provenance: a future history.
    Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA 2009 (0) 2009
    Conference paper
    James Cheney.
    A Simple Nominal Type Theory.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 228 (0) 2009
    Conference paper
    James Cheney, Laura Chiticariu, Wang Chiew Tan.
    Provenance in Databases: Why, How, and Where.
    Foundations and Trends in Databases 2007, Volume 1 (0) 2009
    Conference paper
    Michael Benedikt, James Cheney.
    Schema-Based Independence Analysis for XML Updates.
    PVLDB 2009, Volume 2 (0) 2009
    Conference paper
    Loreto Bravo, James Cheney, Irini Fundulaki.
    ACCOn: checking consistency of XML write-access control policies.
    EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings 2008 (0) 2008
    Conference paper
    James Cheney.
    Regular Expression Subtyping for XML Query and Update Languages.
    Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 2008 (0) 2008
    Conference paper
    James Cheney.
    FLUX: functional updates for XML.
    Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 2008 (0) 2008
    Conference paper
    Christian Urban, James Cheney, Stefan Berghofer.
    Mechanizing the Metatheory of LF.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    James Cheney, Morten Dahl.
    Resource bound analysis for database queries.
    Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008 2008 (0) 2008
    Conference paper
    Peter Buneman, James Cheney, Wang Chiew Tan, Stijn Vansummeren.
    Curated databases.
    Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada 2008 (0) 2008
    Conference paper
    James Cheney.
    Regular Expression Subtyping for XML Query and Update Languages
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    Christian Urban, James Cheney, Stefan Berghofer.
    Mechanizing the Metatheory of LF
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    James Cheney.
    Flux: FunctionaL Updates for XML (extended report)
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    James Cheney, Umut A. Acar, Amal Ahmed.
    Provenance Traces
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    James Cheney, Peter Buneman, Bertram Ludäscher.
    Report on the Principles of Provenance Workshop.
    SIGMOD Record 2008, Volume 37 (0) 2008
    Conference paper
    Peter Buneman, James Cheney, Stijn Vansummeren.
    On the expressiveness of implicit provenance in query and update languages.
    ACM Trans. Database Syst. 2008, Volume 33 (0) 2008
    Conference paper
    James Cheney, Christian Urban.
    Nominal logic programming.
    ACM Trans. Program. Lang. Syst. 2007, Volume 30 (0) 2008
    Conference paper
    James Cheney, Amal Ahmed, Umut A. Acar.
    Provenance as Dependency Analysis.
    Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers 2007 (0) 2007
    Conference paper
    Loreto Bravo, James Cheney, Irini Fundulaki.
    Repairing Inconsistent XML Write-Access Control Policies.
    Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers 2007 (0) 2007
    Conference paper
    Peter Buneman, James Cheney, Stijn Vansummeren.
    On the Expressiveness of Implicit Provenance in Query and Update Languages.
    Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings 2007 (0) 2007
    Conference paper
    James Cheney.
    Lux: A Lightweight, Statically Typed XML Update Language.
    PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007 2007 (0) 2007
    Conference paper
    James Cheney, Alberto Momigliano.
    Mechanized metatheory model-checking.
    Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland 2007 (0) 2007
    Conference paper
    Loreto Bravo, James Cheney, Irini Fundulaki.
    Repairing Inconsistent XML Write-Access Control Policies
    CoRR 2007, Volume 0 (0) 2007
    Conference paper
    James Cheney, Amal Ahmed, Umut A. Acar.
    Provenance as Dependency Analysis
    CoRR 2007, Volume 0 (0) 2007
    Conference paper
    James Cheney.
    Program Slicing and Data Provenance.
    IEEE Data Eng. Bull. 2007, Volume 30 (0) 2007
    Conference paper
    Stijn Vansummeren, James Cheney.
    Recording Provenance for SQL Queries and Updates.
    IEEE Data Eng. Bull. 2007, Volume 30 (0) 2007
    Conference paper
    James Cheney.
    Tradeoffs in XML Database Compression.
    2006 Data Compression Conference (DCC 2006), 28-30 March 2006, Snowbird, UT, USA 2006 (0) 2006
    Conference paper
    James Cheney.
    The Semantics of Nominal Logic Programs.
    Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Peter Buneman, Adriane Chapman, James Cheney.
    Provenance management in curated databases.
    Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006 2006 (0) 2006
    Show item 1 to 100 of 118  

    Your query returned 118 matches in the database.