% TO APPEAR / ACCEPTED @InProceedings{emrich20pldi, author = {Frank Emrich and Sam Lindley and Jan Stolarek and James Cheney and Jonathan Coates}, title = "FreezeML: Complete and Easy Type Inference for First-Class Polymorphism", year = 2020, note = "To appear" OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpages = {}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, OPTannote = {} } % IN PRESS % PUBLISHED ONLINE % PUBLISHED @Article{berrada20fgcs, author = {Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, and Ryan Wright}, title = {A baseline for unsupervised advanced persistent threat detection in system-level provenance}, journal = {Future Generation Computing Systems}, year = 2020, volume = 108, pages = {401-413}} @InProceedings{chan19mw, author = {{Sheung Chi} Chan and James Cheney and Pramod Bhatotia and Thomas Pasquier and Ashish Gehani and Hassaan Irshad and Lucian Carata and Margo Seltzer }, title = {{ProvMark}: A Provenance Expressiveness Benchmarking System}, booktitle = {Proceedings of the 20th International Middleware Conference (Middlware '19)}, year = 2019, pages = {268--279}, publisher = {ACM} } @InProceedings{bartha19ilp, author = {S\'andor Bartha and James Cheney}, title = {Towards meta-interpretive learning of programming language semantics}, OPTcrossref = {}, OPTkey = {}, booktitle = {ILP}, year = {2019}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpages = {}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @InProceedings{stolarek19mpc, author = {Jan Stolarek and James Cheney}, title = {Verified self-explaining computation}, booktitle = {MPC}, year = 2019, number = 11825, series = {LNCS}, pages = {76-102}} @InProceedings{wu19proweb, author = {Junau Wu and Arek Mikolajczak and James Cheney}, title = {TryLinks: An interactive tutorial system for a cross-tier Web programming language}, booktitle = {Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming (ProWeb workshop)}, year = 2019, pages = {16:1--16:6} } @InProceedings{berrada19tapp, author = {Ghita Berrada and James Cheney}, title = {Aggregating unsupervised provenance anomaly detectors}, OPTcrossref = {}, OPTkey = {}, booktitle = {TaPP}, year = {2019}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpages = {}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, note = {To appear}, OPTannote = {} } @InProceedings{ricciotti19dbpl, author = {Wilmer Ricciotti and James Cheney}, title = {Mixing set and bag semantics}, booktitle = {DBPL}, year = 2019, pages = {70--73} } @InProceedings{fehrenbach19dbpl, author = {Stefan Fehrenbach and James Cheney}, title = {Language-integrated provenance by trace analysis}, booktitle = {DBPL}, year = 2019, pages = {74--84} } @InProceedings{ricciotti18ictac, author = {Wilmer Ricciotti and James Cheney}, title = {Explicit Auditing}, booktitle = {15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018)}, year = 2018, number = 11187, series = {LNCS}, pages = {376--395}} @Article{perera18mscs, author = {Roly Perera and James Cheney}, title = {Proof-relevant $\pi$-calculus: a constructive approach to concurrency and causality}, journal = {Mathematical Structures in Computer Science}, year = 2018, volume = 28, number = 9, pages = {1541--1577}} @Article{horn18icfp, author = {Rudi Horn and Roly Perera and James Cheney}, title = {Incremental relational lenses}, journal = {Proceedings of the ACM on Programming Languages}, year = 2018, volume = 2, number = {ICFP}, pages = {74:1--74:30}} @Article{stolarek18programming, author = {Jan Stolarek and James Cheney}, title = {Language-integrated provenance in Haskell}, journal = {The Art, Science, and Engineering of Programming}, year = {2018}, OPTkey = {}, volume = {2}, number = {3}, pages = {A11}, OPTmonth = {}, note = {}, OPTannote = {} } @Article{fehrenbach18scp, author = {Stefan Fehrenbach and James Cheney}, title = {Language-integrated provenance}, journal = {Science of Computer Programming}, year = 2018, volume = 155, pages = {103--145}} @Article{ricciotti17icfp, author = {Wilmer Ricciotti and Jan Stolarek and Roly Perera and James Cheney}, title = {Imperative functional programs that explain their work}, journal = {Proceedings of the ACM on Programming Languages}, year = 2017, volume = 1, number = {ICFP}, pages = {14:1--14:28}} @Article{chapman17toit, author = {Adriane Chapman and James Cheney and Simon Miles}, title = {Guest editorial: the provenance of online data}, journal = {ACM Transactions on Internet Technology}, year = 2017, volume = 17, number = 4, pages = {33:1-3}, month = {August}} @InProceedings{ricciotti17csl, author = {Wilmer Ricciotti and James Cheney}, title = {Strongly normalizing audited computation}, booktitle = {Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)}, year = 2017, pages = {36:1--36:21}} @InProceedings{fu17ecoop, author = {Weili Fu and Roly Perera and Paul Anderson and James Cheney}, title = {$\mu$Puppet: A declarative subset of the Puppet configuration language}, booktitle = {Proceedings of the (31st European Conference on Object-Oriented Programming ECOOP 2017)}, year = 2017, pages = {12:1--12:27}} @InProceedings{chan17tapp, author = {Sheung Chi Chan, James Cheney, Ashish Gehani, Ripduman Sohan, and Hassaan Irshad}, title = {Expressiveness benchmarking for system-level provenance}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of the 9th USENIX Workshop on Theory and Practice of Provenance (TaPP 2017)}, year = {2017}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpages = {}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, note = {\texttt{https://www.usenix.org/system/files/conference/tapp2017/tapp17_paper_chan.pdf}}, OPTannote = {} } @Article{cheney17tplp, author = {James Cheney and Alberto Momigliano}, title = {$\alpha$Check: A mechanized metatheory model checker}, journal = {Theory and Practice of Logic Programming}, year = 2017, volume = 17, number = 3, pages = {311--352}, month = {May}} @Article{cheney17jot, author = {James Cheney, Jeremy Gibbons, James McKinna and Perdita Stevens}, title = {On principles of Least Change and Least Surprise for bidirectional transformations}, journal = {Journal of Object Technology}, year = 2017, volume = 16, number = 1, pages = {3:1--31}, month = {February}} @InProceedings{fehrenbach16ppdp, author = {Stefan Fehrenbach and James Cheney}, title = {Language-integrated provenance}, OPTcrossref = {}, OPTkey = {}, booktitle = {18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016)}, year = {2016}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, pages = {214--227}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @InProceedings{perera16concur, author = {Roly Perera and Deepak Garg and James Cheney}, title = {Causally Consistent Dynamic Slicing}, OPTcrossref = {}, OPTkey = {}, booktitle = {27th International Conference on Concurrency Theory ({CONCUR} 2016)}, OPTyear = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, pages = {18:1--18:15}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @InProceedings{archer16tapp, author = {Rui Abreu and Dave Archer and Erin Chapman and James Cheney and Hoda Eldardiry and Adr\`ia Gascon}, title = {Provenance Segmentation}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of the 8th USENIX Workshop on Theory and Practice of Provenance (TaPP 2016)}, year = {2016}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpages = {}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, note = {\texttt{https://www.usenix.org/system/files/conference/tapp16/tapp16-paper-abreu.pdf}}, OPTannote = {} } @InProceedings{cheney16tap, author = {James Cheney and Alberto Momigliano and Matteo Pessina}, title = {Advances in Property-Based Testing for $\alpha$Prolog}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016)}, year = {2016}, OPTeditor = {}, OPTvolume = {}, number = {9762}, series = {LNCS}, pages = {37--56}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, publisher = {Springer}, OPTnote = {To appear}, OPTannote = {} } @inproceedings{abousaleh16wf, author = {Faris Abou{-}Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, title = {Reflections on Monadic Lenses}, booktitle = {A List of Successes That Can Change the World --- Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday}, pages = {1--31}, year = {2016} } @Article{moreau15jws, author = {Luc Moreau and Paul Groth and James Cheney and Simon Miles and Timothy Lebo}, title = {The Rationale of {PROV}}, journal = {Journal of Web Semantics}, year = {2015}, OPTkey = {}, volume = {35}, optnumber = {}, pages = {235--257}, OPTmonth = {}, OPTnote = {Published online, April 20, 2015}, OPTannote = {} } @Article{cheney16jlc, author = {James Cheney}, title = {A simple sequent calculus for nominal logic}, journal = {Journal of Logic and Computation}, year = {2016}, OPTkey = {}, volume = {26}, number = {2}, pages = {699--726}, OPTmonth = {}, OPTnote = {Published online, May 19, 2014}, OPTannote = {} } @InProceedings{perera15lfmtp, author = {Roly Perera and James Cheney}, title = {Proof-relevant pi-calculus}, booktitle = {Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2015)}, pages = {46--70}, year = 2015, volume = 185, series = {EPTCS}} @InProceedings{cheney15bx, author = {James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens }, title = {Towards a principle of least surprise for bidirectional transformations}, booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations (BX 2015)}, pages = {66--80}, year = 2015, volume = 1396, series = {CEUR-WS}} @InProceedings{fehrenbach15tapp, author = {Stefan Fehrenbach and James Cheney}, title = {Language-integrated provenance in {Links}}, OPTcrossref = {}, OPTkey = {}, booktitle = {TaPP}, OPTpages = {}, year = {2015}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, note = {\texttt{https://www.usenix.org/system/files/tapp15-fehrenbach.pdf}}, OPTannote = {} } @InProceedings{abousaleh15mpc, author = {Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, title = {Notions of bidirectional computation and entangled state monads}, booktitle = {Proceedigs of the 12th International Conference on Mathematics of Program Construction (MPC 2015)}, pages = {187--214}, year = 2015, number = 9129, series = {LNCS}, publisher = {Springer-Verlag} } @Article{mcphillips15ijdc, author = { Timothy McPhillips and Tianhong Song and Tyler Kolisnik and Steve Aulenbach and Khalid Belhajjame and R. Kyle Bocinsky and Yang Cao and James Cheney and Fernando Chirigati and Saumen Dey and Juliana Freire and Christopher Jones and James Hanken and Keith W. Kintigh and Timothy A. Kohler and David Koop and James A. Macklin and Paolo Missier and Mark Schildhauer and Christopher Schwalm and Yaxing Wei and Mark Bieda and Bertram Lud\"ascher}, title = {YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts}, journal = {International Journal of Digital Curation}, year = 2015, volume = 10, number = 1, pages = {298--313}} @InProceedings{cheney14ipaw, author = {James Cheney and Roly Perera}, title = {An analytical survey of provenance sanitization}, booktitle = {Proceedings of the 2014 International Provenance and Annotation Workshop (IPAW 2014)}, pages = {113--126}, year = 2015, number = 8628, series = {Lecture Notes in Computer Science}, organization = {Springer-Verlag}, note = {Pre-proceedings version available at \url{http://arxiv.org/abs/1405.5777}}} @InProceedings{halpin14iswc, author = {Harry Halpin and James Cheney}, title = {Dynamic Provenance for SPARQL Updates using Named Graphs}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of the 2014 International Semantic Web Conference (ISWC 2014)}, pages = {425--440}, year = {2014}, OPTeditor = {}, OPTvolume = {}, number = {8796}, series = {Lecture Notes in Computer Science}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer-Verlag}, OPTannote = {} } @InProceedings{cheney14ppdp, author = {James Cheney and Amal Ahmed and Umut A. Acar}, title = {Database queries that explain their work}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP)}, pages = {271--282}, year = {2014}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTannote = {} } @InProceedings{cheney14sigmod, author = {James Cheney and Sam Lindley and Philip Wadler}, title = {Query shredding: efficient relational evaluation of queries over nested multisets}, booktitle = {Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data}, pages = {1027--1038}, year = 2014, publisher = {ACM}} @inproceedings{cheney14bx1, author = {James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons}, title = {Towards a Repository of Bx Examples}, booktitle = {Proceedings of the 2014 Workshop on Bidirectional Transformations (BX 2014)}, year = {2014}, pages = {87--91}, } @inproceedings{cheney14bx2, author = {James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou-Saleh}, title = {Entangled State Monads}, booktitle = {Proceedings of the 2014 Workshop on Bidirectional Transformations (BX 2014)}, year = {2014}, pages = {108--111}, ee = {http://ceur-ws.org/Vol-1133/paper-17.pdf}, } @inproceedings{griffis13works, author = {Griffis, Eric and Martin, Paul and Cheney, James}, title = {Semantics and provenance for processing element composition in dispel workflows}, booktitle = {Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science}, series = {WORKS '13}, year = {2013}, isbn = {978-1-4503-2502-8}, location = {Denver, Colorado}, pages = {38--47}, numpages = {10}, url = {http://doi.acm.org/10.1145/2534248.2534252}, doi = {10.1145/2534248.2534252}, acmid = {2534252}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{cheney14pepm, author = {James Cheney and Sam Lindley and Gabriel Radanne and Philip Wadler}, title = {Effective quotation: relating approaches to language-integrated query}, booktitle = {PEPM}, year = {2014}, pages = {15-26} } @Article{acar13jcs, author = {Umut A. Acar and Amal Ahmed and James Cheney and Roly Perera}, title = {A core calculus for provenance}, journal = {Journal of Computer Security}, year = 2013, volume = 21, pages = {919--969}, note= {Full version of a POST 2012 paper}} @InProceedings{cheney13pbf, author = {James Cheney and Umut A. Acar and Roly Perera}, title = {Toward a theory of self-explaining computation}, booktitle = {In search of elegance in the theory and practice of computation: a Festschrift in honour of Peter Buneman}, pages = {193--216}, year = 2013, number = 8000, series = {LNCS}, publisher = {Springer-Verlag}} @InProceedings{cheney13icfp, author = {Cheney, James and Lindley, Sam and Wadler, Philip}, title = {A practical theory of language-integrated query}, booktitle = {Proceedings of the 18th ACM SIGPLAN international conference on Functional programming}, series = {ICFP '13}, year = {2013}, isbn = {978-1-4503-2326-0}, location = {Boston, Massachusetts, USA}, pages = {403--416}, numpages = {14}, url = {http://doi.acm.org/10.1145/2500365.2500586}, doi = {10.1145/2500365.2500586}, acmid = {2500586}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {antiquotation, f\#, lambda calculus, linq, quotation, sql}, } @Article{cheney13tods, author = {James Cheney}, title = {Revisiting ``forward node-selecting queries over trees''}, journal = {ACM Transactions on Database Systems}, year = 2013, volume = 38, number = 2, articleno = 13, pages = {13:1--13:33}, month = jul } @article{rajkumar13bx, author = {Raghu Rajkumar and Nate Foster and Sam Lindley and James Cheney}, title = {Lenses for Web Data}, journal = {ECEASST}, volume = {57}, year = {2013}, ee = {http://journal.ub.tu-berlin.de/eceasst/article/view/879}, bibsource = {DBLP, http://dblp.uni-trier.de}, note = {Proceedings of the 2013 Workshop on Bidirectional Transformations (BX 2013)} } @inproceedings{spinuso13bigprov, author = {Alessandro Spinuso and James Cheney and Malcolm P. Atkinson}, title = {Provenance for seismological processing pipelines in a distributed streaming workflow}, booktitle = {EDBT/ICDT Workshops}, year = {2013}, pages = {307-312}, ee = {http://doi.acm.org/10.1145/2457317.2457369}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{missier13edbt, author = {Paolo Missier and Khalid Belhajjame and James Cheney}, title = {The W3C PROV family of specifications for modelling provenance metadata}, booktitle = {EDBT}, year = {2013}, pages = {773-776}, ee = {http://doi.acm.org/10.1145/2452376.2452478}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{anderson12tapp, author = {Paul Anderson and James Cheney}, title = {Toward provenance-based security for configuration languages}, OPTcrossref = {}, OPTkey = {}, booktitle = {TaPP}, OPTpages = {}, year = {2012}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, note = {\texttt{http://www.usenix.org/system/files/conference/tapp12/tapp12-final15.pdf}}, OPTannote = {} } @InProceedings{buneman12tapp, author = {Peter Buneman and James Cheney and Egor Kostylev}, title = {Hierarchical models of provenance}, OPTcrossref = {}, OPTkey = {}, booktitle = {TaPP}, OPTpages = {}, year = {2012}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {\texttt{http://www.usenix.org/system/files/conference/tapp12/tapp12-final14.pdf}}, OPTannote = {} } @Article{groth12ijdc, author = {Paul Groth and Yolanda Gil and James Cheney and Simon Miles}, title = {Requirements for Provenance on the Web}, journal = {International Journal of Digital Curation}, year = 2012, volume = 7, number = 1, pages = {39--56}} @Article{bravo12vldbj, author = {Loreto Bravo and James Cheney and Irini Fundulaki and Ricardo Segovia}, title = {Consistency and repair for {XML} write-access control policies}, journal = {VLDB Journal}, year = 2012, volume = 21, number = 6, pages = {843--867}, month = {December} } @InProceedings{perera12icfp, author = {Roly Perera and Umut A.~Acar and James Cheney and Paul Blain Levy}, title = {Functional programs that explain their work}, booktitle = {ICFP}, pages = {365--376}, year = 2012, publisher = {ACM}} @InProceedings{acar12post, author = {Umut A.~Acar and Amal Ahmed and James Cheney and Roly Perera}, title = {A core calculus for provenance}, booktitle = {Proceedings of the 1st International Conference on Principles of Security and Trust (POST)}, pages = {410--429}, year = 2012, editor = {Pierpaolo Degano and Joshua D. Guttman}, volume = 7215, series = {LNCS}, publisher = {Springer-Verlag} } @InProceedings{lindley12tldi, author = {Sam Lindley and James Cheney}, title = {Row-based effect types for database integration}, booktitle = {Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation (TLDI)}, pages = {91--102}, year = 2012, editor = {Benjamin Pierce}, publisher = {ACM Press} } @article{cheney12lmcs, author = {James Cheney}, title = {A dependent nominal type theory}, journal = {Logical Methods in Computer Science}, volume = {8}, number = {1}, year = {2012}, ee = {http://dx.doi.org/10.2168/LMCS-8(1:8)2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{cheney11lid, author = {James Cheney}, title = {Is provenance logical?}, booktitle = {LID}, year = {2011}, pages = {2--6}, ee = {http://doi.acm.org/10.1145/1966357.1966359}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{cheney11dbpl, author = {James Cheney and Sam Lindley and Heiko M\"uller}, title = {Using {Links} to prototype a {Database Wiki}}, booktitle = {DBPL}, year = 2011, note = {Informal proceedings} } @InProceedings{cheney11cpp, author = {James Cheney and Christian Urban}, title = {Mechanizing the metatheory of mini-{XQuery}}, booktitle = {Proceedings of the 1st International Conference on Certified Programs and Proofs (CPP)}, pages = {280--295}, year = 2011, volume = 7086, series = {LNCS} } @article{buneman11sigmodrecord, author = {Peter Buneman and James Cheney and Sam Lindley and Heiko M{\"u}ller}, title = {The {Database Wiki} project: a general-purpose platform for data curation and collaboration}, journal = {SIGMOD Record}, volume = {40}, number = {3}, year = {2011}, pages = {15--20}, ee = {http://doi.acm.org/10.1145/2070736.2070740}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{buneman11sigmod, author = {Buneman, Peter and Cheney, James and Lindley, Sam and M\"{u}ller, Heiko}, title = {{DBWiki}: a structured wiki for curated data and collaborative data management}, booktitle = {SIGMOD}, year = {2011}, isbn = {978-1-4503-0661-4}, location = {Athens, Greece}, pages = {1335--1338}, numpages = {4}, acmid = {1989491}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {curation, databases, wikis}, } @InProceedings{cheney11csf, author = {James Cheney}, title = {A formal framework for provenance security}, booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF)}, pages = {281--293}, year = 2011, publisher = {IEEE}} @InProceedings{cheney11icdt, author = {James Cheney}, title = {Satisfiability Algorithms for Conjunctive Queries over Trees}, booktitle = {Proceedings of the 14th International Conference on Database Theory}, pages = {150--161}, year = 2011 } @Article{cheney11mscs, author = {James Cheney and Amal Ahmed and Umut A.~Acar}, title = {Provenance as dependency analysis}, journal = {Mathematical Structures in Computer Science}, year = 2011, volume = {21}, number = {6}, pages = {1301--1337} } @Article{urban11tocl, author = {Christian Urban and James Cheney and Stefan Berghofer}, title = {Mechanizing the Metatheory of {LF}}, journal = {ACM Transactions on Computational Logic}, year = 2011, volume = {12}, number = {2}, pages = {15}, note = {42 pages} } @InProceedings{cheney10dcm, author = {James Cheney}, title = {Causality and the semantics of provenance}, booktitle = {Proceedings of the 2010 Workshop on Developments in Computational Models}, year = 2010 } @Article{cheney12jar, author = {James Cheney and Michael Norrish and Ren\'e Vestergaard}, title = {Formalizing adequacy for higher-order abstract syntax: a case study}, journal = {Journal of Automated Reasoning}, year = 2012, volume = {49}, number = {2}, pages = {209--239} } @article{benedikt10pvldb, author = {Michael Benedikt and James Cheney}, title = {Destabilizers and Independence of {XML} Updates}, journal = {PVLDB}, volume = {3}, number = {1}, year = {2010}, pages={906--917} } @InProceedings{halpin11tapp, author = {Harry Halpin and James Cheney}, title = {Dynamic Provenance for {SPARQL} Updates using Named Graphs}, booktitle = {Workshop on the Theory and Practice of Provenance}, year = 2011, note = {\texttt{http://static.usenix.org/events/tapp11/tech/final_files/Halpin.pdf}}} @inproceedings{acar10tapp, author = {Umut A.~Acar and Peter Buneman and James Cheney and Natalia Kwasnikowska and Stijn Vansummeren and Jan van~den~Bussche }, title = {A graph model for data and workflow provenance}, booktitle = {Workshop on the Theory and Practice of Provenance}, year = {2010}, } @proceedings{cheney09tapp, editor = {James Cheney}, title = {First Workshop on the Theory and Practice of Provenance ({TAPP} 2009)}, location = {San Francisco, CA}, booktitle = {Workshop on the Theory and Practice of Provenance}, publisher = {USENIX}, year = {2009}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{lfmtp2009, editor = {James Cheney and Amy Felty}, title = {Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages ({LFMTP} 2009)}, year = {2009}, isbn = {978-1-60558-529-1}, location = {Montreal, Quebec, Canada}, publisher = {ACM}, address = {New York, NY, USA}, } @article{cheney10jar, author = {James Cheney}, title = {Equivariant Unification}, journal = {Journal of Automated Reasoning}, volume=45, number=3, pages={267–-300}, publisher={Springer}, year={2010} } @InProceedings{cheney09onward, author = {James Cheney and Stephen Chong and Nate Foster and Margo Seltzer and Stijn Vansummeren}, title = {Provenance: A Future History}, booktitle = {OOPSLA Companion (Onward! 2009)}, year = 2009, pages = {957--964} } @article{benedikt09pvldb, author = {Michael Benedikt and James Cheney}, title = {Schema-Based Independence Analysis for {XML} Updates}, journal = {PVLDB}, volume = {2}, number = {1}, year = {2009}, pages = {61--72}, ee = {http://www.vldb.org/pvldb/2/vldb09-684.pdf}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{cheney09ftdb, author = {James Cheney and Laura Chiticariu and Wang Chiew Tan}, title = {Provenance in Databases: Why, How, and Where}, journal = {Foundations and Trends in Databases}, volume = {1}, number = {4}, year = {2009}, pages = {379--474}, ee = {http://dx.doi.org/10.1561/1900000006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{benedikt09dbpl, author = {Michael Benedikt and James Cheney}, title = {Semantics, Types and Effects for {XML} Updates}, booktitle = {DBPL}, year = {2009}, pages = {1--17}, ee = {http://dx.doi.org/10.1007/978-3-642-03793-1_1}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/dbpl/2009, title = {Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings}, booktitle = {DBPL}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5708}, year = {2009}, isbn = {978-3-642-03792-4}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{cheney09planx, author = {James Cheney}, title = {Provenance, {XML} and the {Scientific Web}}, booktitle = {ACM SIGPLAN Workshop on Programming Language Technology and XML (PLAN-X 2009)}, year = 2009, note = {Invited paper. } } @InProceedings{cheney08icfp, author = {James Cheney}, title = {{FLUX}: {FunctionaL} {Updates} for {XML}}, booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP)}, pages = {3--14}, year = 2008 } @inproceedings{mckay09gecco, author = {McKay, Robert I. and Nguyen, Xuan Hoai and Cheney, James R. and Kim, MinHyeok and Mori, Naoki and Hoang, Tuan Hao}, title = {Estimating the distribution and propagation of genetic programming building blocks through tree compression}, booktitle = {GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation}, year = {2009}, isbn = {978-1-60558-325-9}, pages = {1011--1018}, location = {Montreal, Qu\'{e}bec, Canada}, doi = {http://doi.acm.org/10.1145/1569901.1570038}, publisher = {ACM}, address = {New York, NY, USA}, } @Article{buneman08tods, author = {Peter Buneman and James Cheney and Stijn Vansummeren}, title = {On the expressiveness of implicit provenance in query and update languages}, journal = {ACM Transactions on Database Systems}, year = 2008, volume = 33, number = 4, pages = 28, month = {November} } @InProceedings{cheney08lfmtp, author = {James Cheney}, title = {A simple nominal type theory}, booktitle = {Logical Frameworks and Meta-Languages: Theory and Practice}, year = 2008, pages = {90--104} } @InProceedings{urban08lics, author = {Christian Urban and James Cheney and Stefan Berghofer}, title = {Mechanizing the Metatheory of {LF}}, booktitle = {Proceedings of the 23rd Annual {IEEE} Symposium on Logic in Computer Science (LICS 2008)}, year = 2008, pages = {45--56} } @InProceedings{cheney08plas, author = {James Cheney and Morten Dahl}, title = {Resource bound analysis for database queries}, booktitle = {Proceedings of the 2008 ACM SIGPLAN Workshop on Programming Languages and Security (PLAS)}, year = 2008, pages = {67--78} } @InProceedings{buneman08pods, author = {Peter Buneman and James Cheney and Wang-Chiew Tan and Stijn Vansummeren}, title = {Curated Databases}, booktitle = {Proceedings of the 2008 Symposium on Principles of Database Systems (PODS 2008)}, year = 2008, note = {Invited paper.}, pages = {1--12} } @InProceedings{bravo08edbt, author = {Loreto Bravo and James Cheney and Irini Fundulaki}, title = {{ACCOn}: Checking Consistency of {XML} Write-Access Control Policies}, booktitle = {Proceedings of the 11th International Conference on Extending Database Technology (EDBT 2008)}, year = 2008, pages = {715--719}, note = {Demonstration.} } @InProceedings{cheney08esop, author = {James Cheney}, title = {Regular Expression Subtyping for {XML} Query and Update Languages}, booktitle = {Proceedings of the 17th European Symposium on Programming (ESOP 2008)}, year = 2008, pages = {32--46}, series = {LNCS}, number = {4960} } @Article{cheney08toplas, author = {James Cheney and Christian Urban}, title = {Nominal Logic Programming}, journal = {ACM Transactions on Programming Languages and Systems}, year = 2008, volume = {30}, number = {5}, pages = {26}, month = {August} } @Article{vansummeren07debull, author = {Stijn Vansummeren and James Cheney}, title = {Recording Provenance for {SQL} Queries and Updates}, journal = {IEEE Data Engineering Bulletin}, year = 2007, month = {December}, pages = {29--37}, note = {Invited paper.} } @Article{cheney07debull, author = {James Cheney}, title = {Program Slicing and Data Provenance}, journal = {IEEE Data Engineering Bulletin}, year = 2007, month = {December}, pages = {22--28}, note = {Invited paper.} } @InProceedings{cheney07dbpl, author = {James Cheney and Amal Ahmed and Umut A. Acar}, title = {Provenance as Dependency Analysis}, pages = {139--153}, booktitle = {Proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007)}, year = 2007, number = 4797, series = {LNCS}, address = {Vienna, Austria}, month = {September}, publisher = {Springer-Verlag} } @InProceedings{bravo07dbpl, author = {Loreto Bravo and James Cheney and Irini Fundulaki}, title = {Repairing Inconsistent {XML} Write-Access Control Policies}, pages = {98--112}, booktitle = {Proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007)}, year = 2007, number = 4797, series = {LNCS}, address = {Vienna, Austria}, month = {September}, publisher = {Springer-Verlag} } @inproceedings{cheney07ppdp, author = {James Cheney and Alberto Momigliano}, title = {Mechanized metatheory model-checking}, booktitle = {Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming (PPDP 2007)}, year = {2007}, isbn = {978-1-59593-769-8}, pages = {75--86}, location = {Wroclaw, Poland}, doi = {http://doi.acm.org/10.1145/1273920.1273931}, publisher = {ACM Press}, address = {New York, NY, USA}, } @InProceedings{buneman06sigmod, author = {Peter Buneman and Adriane P. Chapman and James Cheney}, title = {Provenance Management in Curated Databases}, booktitle = {Proceedings of the 2006 SIGMOD Conference on Management of Data (SIGMOD 2006)}, year = 2006, pages = {539--550}, publisher = {ACM Press}, date = {June 2006}, address = {Chicago, IL} } @InProceedings{buneman06ipaw, author = {Peter Buneman and Adriane P. Chapman and James Cheney and Stijn Vansummeren}, title = {A Provenance Model for Manually Curated Data}, booktitle = {International Provenance and Annotation Workshop (IPAW 2006)}, pages = {162--170}, year = 2006, number = 4145, series = {LNCS}, publisher = {Springer-Verlag} } @InProceedings{cheney00dcc, author = {James Cheney}, title = {Statistical Modeling for Term Compression}, booktitle = {Proceedings of the 2000 IEEE Data Compression Conference (DCC 2000)}, pages = {550}, year = {2000}, address = {Snowbird, UT}, month = {March}, publisher = {IEEE Press}, } @InProceedings{cheney01dcc, author = {James Cheney}, title = {Compressing {XML} with Multiplexed Hierarchical Models}, booktitle = {Proceedings of the 2001 IEEE Data Compression Conference (DCC 2001)}, pages = {163--172}, year = {2001}, editor = {James A. Storer and Martin Cohn}, address = {Snowbird, UT}, month = {March}, publisher = {IEEE Press}, } @InProceedings{buneman07icdt, author = {Peter Buneman and James Cheney and Stijn Vansummeren}, title = {On the Expressiveness of Implicit Provenance in Query and Update Languages}, booktitle = {International Conference on Database Theory (ICDT 2007)}, year = 2007, pages = {209--223}, series = {Lecture Notes in Computer Science }, number = {4353}, publisher = {Springer-Verlag} } @InProceedings{cheney07planx, author = {James Cheney}, title = {\textsc{Lux}: A lightweight, statically typed {XML} update language}, booktitle = {ACM SIGPLAN Workshop on Programming Language Technology and XML (PLAN-X 2007)}, year = 2007, pages = {25--36} } @InProceedings{cheney01ecdl, author = {James Cheney and Carl Lagoze and Peter Botticelli}, title = {Toward a Theory of Information Preservation}, booktitle = {Proceedings of the 5th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2001)}, pages = {340--351}, year = {2001}, editor = {P. Constantopolous and I. T. S{\o}lvberg}, volume = {2163}, series = {Lecture Notes in Computer Science}, address = {Darmstadt, Germany}, month = {September}, publisher = {Springer-Verlag}, } @TechReport{cheney01tr, author = {James Cheney and Carl Lagoze and Peter Botticelli}, title = {Toward a Theory of Information Preservation (Complete Version)}, institution = {Cornell University}, year = {2001}, type = {Computer Science Technical Report}, number = {CS TR2001-1841}, address = {Ithaca, NY}, } @inproceedings{cheney02hw, title = {A lightweight implementation of generics and dynamics}, author = {James Cheney and Ralf Hinze}, editor = {Manuel M. T. Chakravarty}, booktitle = {Proceedings of the 2002 Haskell Workshop (Haskell 2002)}, pages = {90-104}, year = 2002, address = {Pittsburgh, PA}, publisher = {ACM Press} } @TechReport{cheney03tr1, author = {James Cheney and Greg Morrisett}, title = {A Linearly Typed Assembly Language}, institution = {Cornell University}, year = {2003}, number = {TR2003-1900}, address = {Ithaca, NY}, } @TechReport{cheney03tr2, author = {James Cheney and Ralf Hinze}, title = {First-Class Phantom Types}, institution = {Cornell University}, type = {Computer and Information Science Technical Report}, year = {2003}, number = {TR2003-1901}, } @InProceedings{cheney03unif, author = {James Cheney and Christian Urban}, title = "System Description: {Alpha}-{Prolog}, a Fresh Approach to Logic Programming Modulo alpha-Equivalence", booktitle = {Proceedings of the 17th International Workshop on Unification (UNIF 2003)}, pages = {15--19}, year = { 2003}, editor = {J.~Levy and M.~Kohlhase and J.~Niehren and M.~Villaret}, address = {Valencia, Spain}, month = {June}, publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia}, note = {Technical Report DSIC-II/12/03} } @InProceedings{cheney04icalp, author = {James Cheney}, title = {The Complexity of Equivariant Unification}, booktitle = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP 2004)}, year = {2004}, pages = {332--344}, volume = {3142}, series = {LNCS}, publisher = {Springer-Verlag} } @InProceedings{cheney04iclp, author = {James Cheney and Christian Urban}, title = {{Alpha}-{Prolog}: A Logic Programming Language with Names, Binding and Alpha-Equivalence}, booktitle = {Proceedings of the 20th International Conference on Logic Programming (ICLP 2004)}, year = {2004}, pages = {269--283}, series = {LNCS}, number = {3132}, publisher = {Springer-Verlag} } @PhdThesis{cheney04phd, author = {James Cheney}, title = {Nominal Logic Programming}, school = {Cornell University}, year = 2004, address = {Ithaca, NY}, month = {August} } @InProceedings{cheney05fossacs, author = {James Cheney}, title = {A Simpler Proof Theory for Nominal Logic}, booktitle = {Proceedings of the 2005 Conference on Foundations of Software Science and Computation Structures ({FOSSACS 2005})}, year = 2005, pages = {379--394}, series = {LNCS}, number = 3441, publisher = {Springer-Verlag} } @InProceedings{cheney05icfp, author = {James Cheney}, title = {Scrap your Nameplate (Functional Pearl)}, booktitle = {Proceedings of the 2005 International Conference on Functional Programming (ICFP 2005)}, year = 2005, pages = {180--191}, publisher = {ACM Press}, editor = {Benjamin Pierce}, month = {September}, address = {Tallinn, Estonia} } @InProceedings{cheney05rta, author = {James Cheney}, title = {Equivariant Unification}, booktitle = {Proceedings of the 2005 Conference on Rewriting Techniques and Applications ({RTA 2005})}, year = 2005, pages = {74--89}, series = {LNCS}, number = 3467 } @article{cheney05sigact, author = {James Cheney}, editor = {Riccardo Pucella}, title = {SIGACT News logic column 14: Nominal logic and abstract syntax}, journal = {SIGACT News}, volume = {36}, number = {4}, year = {2005}, issn = {0163-5700}, pages = {47--69}, doi = {http://doi.acm.org/10.1145/1107523.1107537}, publisher = {ACM Press}, address = {New York, NY, USA}, } @InProceedings{cheney05unif, author = {James Cheney}, title = {Relating Nominal and Higher-Order Pattern Unification}, booktitle = {Proceedings of the 19th International Workshop on Unification (UNIF 2005)}, year = 2005, pages = {104--119} } @InProceedings{cheney05webdb, author = {James Cheney}, title = {An Empirical Evaluation of Simple {DTD}-Conscious Compression Techniques}, booktitle = {Proceedings of the Eighth Workshop on the Web and Databases (WebDB 2005)}, pages = {43--48}, year = 2005 } @InProceedings{cheney06dcc, author = {James Cheney}, title = {Tradeoffs in {XML} compression}, booktitle = {Proceedings of the 2006 IEEE Data Compression Conference (DCC 2006)}, year = 2006, pages = {392--401}, publisher = {IEEE Press} } @InProceedings{cheney06iclp, author = {James Cheney}, title = {The semantics of nominal logic programs}, booktitle = {Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)}, year = {2006}, pages = {361--375}, series = {LNCS}, number = {4079}, publisher = {Springer-Verlag} } @Article{cheney06jsl, author = {James Cheney}, title = {Completeness and {Herbrand} Theorems for Nominal Logic}, journal = {Journal of Symbolic Logic}, volume = {71}, number = {1}, pages = {299--320}, year = 2006, } @Article{cheney96jme, author = {James Cheney and Marc De Graef}, title = {An {X}-ray Diffraction Simulator for Undergraduate Crystallography}, journal = {Journal of Materials Education}, year = {1996}, volume = {18}, pages = {57--66}, } @MastersThesis{cheney98ms, author = {James Cheney}, title = {First-order Term Compression: Techniques and Applications}, school = {Carnegie Mellon University}, year = {1998}, address = {Pittsburgh, PA}, month = {August}, } @InProceedings{gabbay04lics, author = {Murdoch J.~Gabbay and James Cheney}, title = {A Sequent Calculus for Nominal Logic}, booktitle = {Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2004)}, year = 2004, pages = {139--148}, address = {Turku, Finland} } @InProceedings{grossman02pldi, title = {Region-based Memory Management in {Cyclone}}, author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney}, booktitle = {Proceedings of the 2002 ACM Conference on Programming Language Design and Implementation (PLDI 2002)}, pages = {282--293}, year = {2002}, address = {Berlin, Germany}, month = {June}, publisher = {ACM Press}, } @TechReport{grossman02tr1, author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney}, title = {{Cyclone} User's Manual, Version 0.1.3}, institution = {Cornell University}, address = {Ithaca, NY}, year = {2002}, type = {Computer and Information Science Technical Report}, number = {TR2001-1855}, } @TechReport{grossman02tr2, author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney}, title = {Formal Type Soundness for {Cyclone}'s Region System}, institution = {Cornell University}, address = {Ithaca, NY}, year = {2002}, type = {Computer Science Technical Report}, number = {TR2001-1856}, } @InProceedings{jim02usenix, author = {Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang}, title = {{Cyclone}: A Safe Dialect of {C}}, booktitle = {Proceedings of the USENIX Annual Technical Conference (USENIX 2002)}, pages = {275--288}, year = {2002}, address = {Monterey, CA}, month = {June }, publisher = {USENIX} } @InProceedings{urban05tlca, author = {Christian Urban and James Cheney}, title = {Avoiding Equivariant Unification}, booktitle = {Proceedings of the 2005 Conference on Typed Lambda Calculus and Applications ({TLCA 2005})}, year = 2005, pages = {74--89}, series = {LNCS}, number = 3461, publisher = {Springer-Verlag} }