Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James Cheney
@article{DBLP:journals/vldb/AbelloC24,
author = {Alberto Abell{\'{o}} and
James Cheney},
title = {Eris: efficiently measuring discord in multidimensional sources},
journal = {{VLDB} J.},
volume = {33},
number = {2},
pages = {399--423},
year = {2024},
url = {https://doi.org/10.1007/s00778-023-00810-3},
doi = {10.1007/S00778-023-00810-3},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vldb/AbelloC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RicciottiC22,
author = {Wilmer Ricciotti and
James Cheney},
title = {A Formalization of {SQL} with Nulls},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {989--1030},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09632-4},
doi = {10.1007/S10817-022-09632-4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/RicciottiC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RicciottiC22,
author = {Wilmer Ricciotti and
James Cheney},
title = {Strongly-Normalizing Higher-Order Relational Queries},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:23)2022},
doi = {10.46298/LMCS-18(3:23)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/RicciottiC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EmrichSCL22,
author = {Frank Emrich and
Jan Stolarek and
James Cheney and
Sam Lindley},
title = {Constraint-based type inference for FreezeML},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {570--595},
year = {2022},
url = {https://doi.org/10.1145/3547642},
doi = {10.1145/3547642},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/EmrichSCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dolap/AbelloC22,
author = {Alberto Abell{\'{o}} and
James Cheney},
editor = {Kostas Stefanidis and
Lukasz Golab},
title = {Measuring Discord Among Multidimensional Data Sources},
booktitle = {Proceedings of the 24th International Workshop on Design, Optimization,
Languages and Analytical Processing of Big Data {(DOLAP)} co-located
with the 25th International Conference on Extending Database Technology
and the 25th International Conference on Database Theory {(EDBT/ICDT}
2022), Edinburgh, UK, March 29, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3130},
pages = {96--100},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3130/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/dolap/AbelloC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/0001GC22,
author = {Simon Fowler and
Vashti Galpin and
James Cheney},
editor = {Bernhard Scholz and
Yukiyoshi Kameyama},
title = {Language-Integrated Query for Temporal Data},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2022, Auckland,
New Zealand, December 6-7, 2022},
pages = {5--19},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564719.3568690},
doi = {10.1145/3564719.3568690},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/0001GC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyF22,
author = {James Cheney and
Maribel Fern{\'{a}}ndez},
title = {Nominal Matching Logic},
booktitle = {{PPDP} 2022: 24th International Symposium on Principles and Practice
of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
pages = {5:1--5:15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551357.3551375},
doi = {10.1145/3551357.3551375},
timestamp = {Wed, 12 Oct 2022 17:45:09 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CheneyF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2022,
editor = {James Cheney and
Simona Perri},
title = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7},
doi = {10.1007/978-3-030-94479-7},
isbn = {978-3-030-94478-0},
timestamp = {Fri, 14 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-13302,
author = {Alberto Abell{\'{o}} and
James Cheney},
title = {Eris: Measuring discord among multidimensional data sources},
journal = {CoRR},
volume = {abs/2201.13302},
year = {2022},
url = {https://arxiv.org/abs/2201.13302},
eprinttype = {arXiv},
eprint = {2201.13302},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-13302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09914,
author = {Frank Emrich and
Jan Stolarek and
James Cheney and
Sam Lindley},
title = {Constraint-based type inference for FreezeML},
journal = {CoRR},
volume = {abs/2207.09914},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09914},
doi = {10.48550/ARXIV.2207.09914},
eprinttype = {arXiv},
eprint = {2207.09914},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-14139,
author = {James Cheney and
Maribel Fern{\'{a}}ndez},
title = {Nominal Matching Logic},
journal = {CoRR},
volume = {abs/2207.14139},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.14139},
doi = {10.48550/ARXIV.2207.14139},
eprinttype = {arXiv},
eprint = {2207.14139},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-14139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-12077,
author = {Simon Fowler and
Vashti Galpin and
James Cheney},
title = {Language-Integrated Query for Temporal Data (Extended version)},
journal = {CoRR},
volume = {abs/2210.12077},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.12077},
doi = {10.48550/ARXIV.2210.12077},
eprinttype = {arXiv},
eprint = {2210.12077},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-12077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdc/FowlerHSC21,
author = {Simon Fowler and
Simon D. Harding and
Joanna L. Sharman and
James Cheney},
title = {Cross-tier Web Programming for Curated Databases: a Case Study},
journal = {Int. J. Digit. Curation},
volume = {16},
number = {1},
pages = {21},
year = {2021},
url = {https://doi.org/10.2218/ijdc.v16i1.735},
doi = {10.2218/IJDC.V16I1.735},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdc/FowlerHSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BarthaCB21,
author = {S{\'{a}}ndor Bartha and
James Cheney and
Vaishak Belle},
title = {One down, 699 to go: or, synthesising compositional desugarings},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3485499},
doi = {10.1145/3485499},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BarthaCB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/CheneyR21,
author = {James Cheney and
Wilmer Ricciotti},
editor = {Amir Shaikhha and
Norman May},
title = {Comprehending nulls},
booktitle = {{DBPL} '21: The 18th International Symposium on Database Programming
Languages, Copenhagen, Denmark, 16 August 2021},
pages = {3--6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475726.3475730},
doi = {10.1145/3475726.3475730},
timestamp = {Tue, 02 Nov 2021 07:48:21 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/CheneyR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RicciottiC21,
author = {Wilmer Ricciotti and
James Cheney},
editor = {Nobuko Yoshida},
title = {Query Lifting - Language-integrated query for heterogeneous nested
collections},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {579--606},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_21},
doi = {10.1007/978-3-030-72019-3\_21},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/RicciottiC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Benabderrahmane21,
author = {Sidahmed Benabderrahmane and
Ghita Berrada and
James Cheney and
Petko Valtchev},
editor = {Zhi{-}Hua Zhou},
title = {A Rule Mining-based Advanced Persistent Threats Detection System},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {3589--3596},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/494},
doi = {10.24963/IJCAI.2021/494},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Benabderrahmane21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipaw/GalpinC21,
author = {Vashti Galpin and
James Cheney},
editor = {Boris Glavic and
Vanessa Braganholo and
David Koop},
title = {Curating Covid-19 Data in Links},
booktitle = {Provenance and Annotation of Data and Processes - 8th and 9th International
Provenance and Annotation Workshop, {IPAW} 2020 + {IPAW} 2021, Virtual
Event, July 19-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12839},
pages = {237--243},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80960-7\_19},
doi = {10.1007/978-3-030-80960-7\_19},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipaw/GalpinC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/0001CLR21,
author = {Kwanghoon Choi and
James Cheney and
Sam Lindley and
Bob Reynders},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {A Typed Slicing Compilation of the Polymorphic {RPC} calculus},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {11:1--11:15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479406},
doi = {10.1145/3479394.3479406},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/0001CLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/ChanCB21,
author = {Sheung Chi Chan and
James Cheney and
Pramod Bhatotia},
editor = {Tanu Malik and
Thomas Pasquier},
title = {Provenance expressiveness benchmarking on non-deterministic executions},
booktitle = {13th International Workshop on Theory and Practice of Provenance,
TaPP 2021, July 19-20, 2021},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/tapp2021/presentation/chan},
timestamp = {Fri, 05 Nov 2021 13:25:52 +0100},
biburl = {https://dblp.org/rec/conf/tapp/ChanCB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-04102,
author = {Wilmer Ricciotti and
James Cheney},
title = {Query Lifting: Language-integrated query for heterogeneous nested
collections},
journal = {CoRR},
volume = {abs/2101.04102},
year = {2021},
url = {https://arxiv.org/abs/2101.04102},
eprinttype = {arXiv},
eprint = {2101.04102},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-04102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08228,
author = {James Cheney and
Adriane Chapman and
Joy Davidson and
Alistair Forbes},
title = {Data provenance, curation and quality in metrology},
journal = {CoRR},
volume = {abs/2102.08228},
year = {2021},
url = {https://arxiv.org/abs/2102.08228},
eprinttype = {arXiv},
eprint = {2102.08228},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10053,
author = {Sidahmed Benabderrahmane and
Ghita Berrada and
James Cheney and
Petko Valtchev},
title = {A Rule Mining-Based Advanced Persistent Threats Detection System},
journal = {CoRR},
volume = {abs/2105.10053},
year = {2021},
url = {https://arxiv.org/abs/2105.10053},
eprinttype = {arXiv},
eprint = {2105.10053},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00412,
author = {Vashti Galpin and
James Cheney},
title = {Curating Covid-19 data in Links},
journal = {CoRR},
volume = {abs/2106.00412},
year = {2021},
url = {https://arxiv.org/abs/2106.00412},
eprinttype = {arXiv},
eprint = {2106.00412},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-10793,
author = {Kwanghoon Choi and
James Cheney and
Sam Lindley and
Bob Reynders},
title = {A Typed Slicing Compilation of the Polymorphic {RPC} Calculus},
journal = {CoRR},
volume = {abs/2107.10793},
year = {2021},
url = {https://arxiv.org/abs/2107.10793},
eprinttype = {arXiv},
eprint = {2107.10793},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-10793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-11347,
author = {James Cheney and
Wilmer Ricciotti},
title = {Comprehending nulls},
journal = {CoRR},
volume = {abs/2107.11347},
year = {2021},
url = {https://arxiv.org/abs/2107.11347},
eprinttype = {arXiv},
eprint = {2107.11347},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-11347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06114,
author = {S{\'{a}}ndor Bartha and
James Cheney and
Vaishak Belle},
title = {One Down, 699 to Go: or, synthesising compositional desugarings},
journal = {CoRR},
volume = {abs/2109.06114},
year = {2021},
url = {https://arxiv.org/abs/2109.06114},
eprinttype = {arXiv},
eprint = {2109.06114},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BerradaCBMMTW20,
author = {Ghita Berrada and
James Cheney and
Sidahmed Benabderrahmane and
William Maxwell and
Himan Mookherjee and
Alec Theriault and
Ryan Wright},
title = {A baseline for unsupervised advanced persistent threat detection in
system-level provenance},
journal = {Future Gener. Comput. Syst.},
volume = {108},
pages = {401--413},
year = {2020},
url = {https://doi.org/10.1016/j.future.2020.02.015},
doi = {10.1016/J.FUTURE.2020.02.015},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BerradaCBMMTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdc/FowlerHSC20,
author = {Simon Fowler and
Simon D. Harding and
Joanna L. Sharman and
James Cheney},
title = {Cross-tier Web Programming for Curated Databases: a Case Study},
journal = {Int. J. Digit. Curation},
volume = {15},
number = {1},
pages = {1--15},
year = {2020},
url = {https://doi.org/10.2218/ijdc.v15i1.717},
doi = {10.2218/IJDC.V15I1.717},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdc/FowlerHSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/0001C0L20,
author = {Kwanghoon Choi and
James Cheney and
Simon Fowler and
Sam Lindley},
title = {A polymorphic {RPC} calculus},
journal = {Sci. Comput. Program.},
volume = {197},
pages = {102499},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102499},
doi = {10.1016/J.SCICO.2020.102499},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/0001C0L20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/RicciottiC20,
author = {Wilmer Ricciotti and
James Cheney},
editor = {Zena M. Ariola},
title = {Strongly Normalizing Higher-Order Relational Queries},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {28:1--28:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.28},
doi = {10.4230/LIPICS.FSCD.2020.28},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/RicciottiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChanC20,
author = {Sheung Chi Chan and
James Cheney},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {20--36},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_2},
doi = {10.1007/978-3-030-39197-3\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ChanC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EmrichLSCC20,
author = {Frank Emrich and
Sam Lindley and
Jan Stolarek and
James Cheney and
Jonathan Coates},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {FreezeML: complete and easy type inference for first-class polymorphism},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {423--437},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386003},
doi = {10.1145/3385412.3386003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EmrichLSCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/ChanGIC20,
author = {Sheung Chi Chan and
Ashish Gehani and
Hassaan Irshad and
James Cheney},
editor = {Thomas Pasquier},
title = {Integrity Checking and Abnormality Detection of Provenance Records},
booktitle = {12th International Workshop on Theory and Practice of Provenance,
TaPP 2020, June 22, 2020},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/tapp2020/presentation/chan},
timestamp = {Fri, 05 Nov 2021 13:25:41 +0100},
biburl = {https://dblp.org/rec/conf/tapp/ChanGIC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2012-01655,
author = {Nils Weidmann and
Anthony Anjorin and
James Cheney},
editor = {Berthold Hoffmann and
Mark Minas},
title = {VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based
Systems},
booktitle = {Proceedings of the Eleventh International Workshop on Graph Computation
Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
series = {{EPTCS}},
volume = {330},
pages = {1--12},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.330.1},
doi = {10.4204/EPTCS.330.1},
timestamp = {Tue, 12 Jan 2021 15:30:06 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-02191,
author = {Rudi Horn and
Simon Fowler and
James Cheney},
title = {Language-Integrated Updatable Views (Extended version)},
journal = {CoRR},
volume = {abs/2003.02191},
year = {2020},
url = {https://arxiv.org/abs/2003.02191},
eprinttype = {arXiv},
eprint = {2003.02191},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-02191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03845,
author = {Simon Fowler and
Simon D. Harding and
Joanna L. Sharman and
James Cheney},
title = {Cross-tier web programming for curated databases: {A} case study},
journal = {CoRR},
volume = {abs/2003.03845},
year = {2020},
url = {https://arxiv.org/abs/2003.03845},
eprinttype = {arXiv},
eprint = {2003.03845},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03845.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-11331,
author = {Wilmer Ricciotti and
James Cheney},
title = {A Formalization of {SQL} with Nulls},
journal = {CoRR},
volume = {abs/2003.11331},
year = {2020},
url = {https://arxiv.org/abs/2003.11331},
eprinttype = {arXiv},
eprint = {2003.11331},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-11331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-00396,
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},
journal = {CoRR},
volume = {abs/2004.00396},
year = {2020},
url = {https://arxiv.org/abs/2004.00396},
eprinttype = {arXiv},
eprint = {2004.00396},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-00396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07916,
author = {James Cheney and
Xavier Gombau and
Ghita Berrada and
Sidahmed Benabderrahmane},
title = {Categorical anomaly detection in heterogeneous data using minimum
description length clustering},
journal = {CoRR},
volume = {abs/2006.07916},
year = {2020},
url = {https://arxiv.org/abs/2006.07916},
eprinttype = {arXiv},
eprint = {2006.07916},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-07916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-13451,
author = {Wilmer Ricciotti and
James Cheney},
title = {Strongly-Normalizing Higher-Order Relational Queries},
journal = {CoRR},
volume = {abs/2011.13451},
year = {2020},
url = {https://arxiv.org/abs/2011.13451},
eprinttype = {arXiv},
eprint = {2011.13451},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-13451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/RicciottiC19,
author = {Wilmer Ricciotti and
James Cheney},
editor = {Alvin Cheung and
Kim Nguyen},
title = {Mixing set and bag semantics},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Symposium on
Database Programming Languages, {DBPL} 2019, Phoenix, AZ, USA, June
23, 2019},
pages = {70--73},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315507.3330202},
doi = {10.1145/3315507.3330202},
timestamp = {Sun, 12 Nov 2023 02:16:34 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/RicciottiC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/FehrenbachC19,
author = {Stefan Fehrenbach and
James Cheney},
editor = {Alvin Cheung and
Kim Nguyen},
title = {Language-integrated provenance by trace analysis},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Symposium on
Database Programming Languages, {DBPL} 2019, Phoenix, AZ, USA, June
23, 2019},
pages = {74--84},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315507.3330198},
doi = {10.1145/3315507.3330198},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/FehrenbachC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Horn0C19,
author = {Rudi Horn and
Simon Fowler and
James Cheney},
editor = {Jurri{\"{e}}n Stutterheim and
Wei{-}Ngan Chin},
title = {Language-integrated updatable views},
booktitle = {{IFL} '19: Implementation and Application of Functional Languages,
Singapore, September 25-27, 2019},
pages = {13:1--13:12},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3412932.3412945},
doi = {10.1145/3412932.3412945},
timestamp = {Wed, 21 Jul 2021 16:22:45 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Horn0C19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/BarthaC19,
author = {S{\'{a}}ndor Bartha and
James Cheney},
editor = {Dimitar Kazakov and
Can Erten},
title = {Towards Meta-interpretive Learning of Programming Language Semantics},
booktitle = {Inductive Logic Programming - 29th International Conference, {ILP}
2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11770},
pages = {16--25},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-49210-6\_2},
doi = {10.1007/978-3-030-49210-6\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/BarthaC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/ChanCBPGICS19,
author = {Sheung Chi Chan and
James Cheney and
Pramod Bhatotia and
Thomas F. J.{-}M. Pasquier and
Ashish Gehani and
Hassaan Irshad and
Lucian Carata and
Margo I. Seltzer},
title = {ProvMark: {A} Provenance Expressiveness Benchmarking System},
booktitle = {Proceedings of the 20th International Middleware Conference, Middleware
2019, Davis, CA, USA, December 9-13, 2019},
pages = {268--279},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3361525.3361552},
doi = {10.1145/3361525.3361552},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/middleware/ChanCBPGICS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/StolarekC19,
author = {Jan Stolarek and
James Cheney},
editor = {Graham Hutton},
title = {Verified Self-Explaining Computation},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {76--102},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_4},
doi = {10.1007/978-3-030-33636-3\_4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/StolarekC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/WuMC19,
author = {Junao Wu and
Arek Mikolajczak and
James Cheney},
editor = {Stefan Marr and
Walter Cazzola},
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, Genova, Italy, April 1-4, 2019},
pages = {16:1--16:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3328433.3328450},
doi = {10.1145/3328433.3328450},
timestamp = {Fri, 12 Jun 2020 17:45:26 +0200},
biburl = {https://dblp.org/rec/conf/programming/WuMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/AnjorinC19,
author = {Anthony Anjorin and
James Cheney},
editor = {Thomas Moyer and
Sudeepa Roy},
title = {Provenance Meets Bidirectional Transformations},
booktitle = {11th International Workshop on Theory and Practice of Provenance,
TaPP 2019, Philadelphia, PA, USA, June 3, 2019},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/tapp2019/presentation/anjorin},
timestamp = {Fri, 05 Nov 2021 13:25:28 +0100},
biburl = {https://dblp.org/rec/conf/tapp/AnjorinC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/BerradaC19,
author = {Ghita Berrada and
James Cheney},
editor = {Thomas Moyer and
Sudeepa Roy},
title = {Aggregating unsupervised provenance anomaly detectors},
booktitle = {11th International Workshop on Theory and Practice of Provenance,
TaPP 2019, Philadelphia, PA, USA, June 3, 2019},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/tapp2019/presentation/berrada},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapp/BerradaC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bx/2019,
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355},
urn = {urn:nbn:de:0074-2355-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02033,
author = {Junao Wu and
Arek Mikolajczak and
James Cheney},
title = {TryLinks: An interactive tutorial system for a cross-tier Web programming
language},
journal = {CoRR},
volume = {abs/1905.02033},
year = {2019},
url = {http://arxiv.org/abs/1905.02033},
eprinttype = {arXiv},
eprint = {1905.02033},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02051,
author = {Stefan Fehrenbach and
James Cheney},
title = {Language-integrated provenance by trace analysis},
journal = {CoRR},
volume = {abs/1905.02051},
year = {2019},
url = {http://arxiv.org/abs/1905.02051},
eprinttype = {arXiv},
eprint = {1905.02051},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02069,
author = {Wilmer Ricciotti and
James Cheney},
title = {Mixing set and bag semantics},
journal = {CoRR},
volume = {abs/1905.02069},
year = {2019},
url = {http://arxiv.org/abs/1905.02069},
eprinttype = {arXiv},
eprint = {1905.02069},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06940,
author = {Ghita Berrada and
Sidahmed Benabderrahmane and
James Cheney and
William Maxwell and
Himan Mookherjee and
Alec Theriault and
Ryan Wright},
title = {A baseline for unsupervised advanced persistent threat detection in
system-level provenance},
journal = {CoRR},
volume = {abs/1906.06940},
year = {2019},
url = {http://arxiv.org/abs/1906.06940},
eprinttype = {arXiv},
eprint = {1906.06940},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05818,
author = {Jan Stolarek and
James Cheney},
title = {Verified Self-Explaining Computation},
journal = {CoRR},
volume = {abs/1907.05818},
year = {2019},
url = {http://arxiv.org/abs/1907.05818},
eprinttype = {arXiv},
eprint = {1907.05818},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-08834,
author = {S{\'{a}}ndor Bartha and
James Cheney},
title = {Towards meta-interpretive learning of programming language semantics},
journal = {CoRR},
volume = {abs/1907.08834},
year = {2019},
url = {http://arxiv.org/abs/1907.08834},
eprinttype = {arXiv},
eprint = {1907.08834},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-08834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-11187,
author = {Sheung Chi Chan and
James Cheney and
Pramod Bhatotia and
Thomas F. J.{-}M. Pasquier and
Ashish Gehani and
Hassaan Irshad and
Lucian Carata and
Margo I. Seltzer},
title = {ProvMark: {A} Provenance Expressiveness Benchmarking System},
journal = {CoRR},
volume = {abs/1909.11187},
year = {2019},
url = {http://arxiv.org/abs/1909.11187},
eprinttype = {arXiv},
eprint = {1909.11187},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-11187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10988,
author = {Kwanghoon Choi and
James Cheney and
Simon Fowler and
Sam Lindley},
title = {A Polymorphic {RPC} Calculus},
journal = {CoRR},
volume = {abs/1910.10988},
year = {2019},
url = {http://arxiv.org/abs/1910.10988},
eprinttype = {arXiv},
eprint = {1910.10988},
timestamp = {Wed, 22 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11584,
author = {Sheung Chi Chan and
James Cheney},
title = {Flexible graph matching and graph edit distance using answer set programming},
journal = {CoRR},
volume = {abs/1911.11584},
year = {2019},
url = {http://arxiv.org/abs/1911.11584},
eprinttype = {arXiv},
eprint = {1911.11584},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-11584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CheneyG18,
author = {James Cheney and
Torsten Grust},
title = {Special Issue on Programming Languages for Big Data Editorial},
journal = {J. Funct. Program.},
volume = {28},
pages = {e8},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000084},
doi = {10.1017/S0956796818000084},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/CheneyG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PereraC18,
author = {Roly Perera and
James Cheney},
title = {Proof-relevant {\(\pi\)}-calculus: a constructive account of concurrency
and causality},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1541--1577},
year = {2018},
url = {https://doi.org/10.1017/S096012951700010X},
doi = {10.1017/S096012951700010X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/PereraC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HornPC18,
author = {Rudi Horn and
Roly Perera and
James Cheney},
title = {Incremental relational lenses},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {74:1--74:30},
year = {2018},
url = {https://doi.org/10.1145/3236769},
doi = {10.1145/3236769},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HornPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/StolarekC18,
author = {Jan Stolarek and
James Cheney},
title = {Language-integrated provenance in Haskell},
journal = {Art Sci. Eng. Program.},
volume = {2},
number = {3},
pages = {11},
year = {2018},
url = {https://doi.org/10.22152/programming-journal.org/2018/2/11},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2018/2/11},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/StolarekC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FehrenbachC18,
author = {Stefan Fehrenbach and
James Cheney},
title = {Language-integrated provenance},
journal = {Sci. Comput. Program.},
volume = {155},
pages = {103--145},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.08.009},
doi = {10.1016/J.SCICO.2017.08.009},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FehrenbachC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/RicciottiC18,
author = {Wilmer Ricciotti and
James Cheney},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Explicit Auditing},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {376--395},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_20},
doi = {10.1007/978-3-030-02508-3\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/RicciottiC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/CheneyT18,
author = {James Cheney and
Wang{-}Chiew Tan},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Provenance in Databases},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_283},
doi = {10.1007/978-1-4614-8265-9\_283},
timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
biburl = {https://dblp.org/rec/reference/db/CheneyT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10202,
author = {Jan Stolarek and
James Cheney},
title = {Language-integrated provenance in Haskell},
journal = {CoRR},
volume = {abs/1803.10202},
year = {2018},
url = {http://arxiv.org/abs/1803.10202},
eprinttype = {arXiv},
eprint = {1803.10202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01948,
author = {Rudi Horn and
Roly Perera and
James Cheney},
title = {Incremental Relational Lenses},
journal = {CoRR},
volume = {abs/1807.01948},
year = {2018},
url = {http://arxiv.org/abs/1807.01948},
eprinttype = {arXiv},
eprint = {1807.01948},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00486,
author = {Wilmer Ricciotti and
James Cheney},
title = {Explicit Auditing},
journal = {CoRR},
volume = {abs/1808.00486},
year = {2018},
url = {http://arxiv.org/abs/1808.00486},
eprinttype = {arXiv},
eprint = {1808.00486},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-00486.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/CheneyGMS17,
author = {James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
title = {On principles of Least Change and Least Surprise for bidirectional
transformations},
journal = {J. Object Technol.},
volume = {16},
number = {1},
pages = {3:1--31},
year = {2017},
url = {https://doi.org/10.5381/jot.2017.16.1.a3},
doi = {10.5381/JOT.2017.16.1.A3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/CheneyGMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RicciottiSPC17,
author = {Wilmer Ricciotti and
Jan Stolarek and
Roly Perera and
James Cheney},
title = {Imperative functional programs that explain their work},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {14:1--14:28},
year = {2017},
url = {https://doi.org/10.1145/3110258},
doi = {10.1145/3110258},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RicciottiSPC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/ChapmanCM17,
author = {Adriane Chapman and
James Cheney and
Simon Miles},
title = {Guest Editorial: The Provenance of Online Data},
journal = {{ACM} Trans. Internet Techn.},
volume = {17},
number = {4},
pages = {33:1--33:3},
year = {2017},
url = {https://doi.org/10.1145/3108938},
doi = {10.1145/3108938},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/ChapmanCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CheneyM17,
author = {James Cheney and
Alberto Momigliano},
title = {{\(\alpha\)}Check: {A} mechanized metatheory model checker},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {3},
pages = {311--352},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000035},
doi = {10.1017/S1471068417000035},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CheneyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RicciottiC17,
author = {Wilmer Ricciotti and
James Cheney},
editor = {Valentin Goranko and
Mads Dam},
title = {Strongly Normalizing Audited Computation},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {36:1--36:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.36},
doi = {10.4230/LIPICS.CSL.2017.36},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/RicciottiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FuPAC17,
author = {Weili Fu and
Roly Perera and
Paul Anderson and
James Cheney},
editor = {Peter M{\"{u}}ller},
title = {muPuppet: {A} Declarative Subset of the Puppet Configuration Language},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {12:1--12:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.12},
doi = {10.4230/LIPICS.ECOOP.2017.12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/FuPAC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/ChanGCSI17,
author = {Sheung Chi Chan and
Ashish Gehani and
James Cheney and
Ripduman Sohan and
Hassaan Irshad},
editor = {Adam Bates and
Bill Howe},
title = {Expressiveness Benchmarking for System-Level Provenance},
booktitle = {9th {USENIX} Workshop on the Theory and Practice of Provenance, TaPP
2017, Seattle, WA, USA, June 23, 2017},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/tapp17/workshop-program/presentation/chan},
timestamp = {Tue, 02 Feb 2021 08:04:55 +0100},
biburl = {https://dblp.org/rec/conf/tapp/ChanGCSI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyM17,
author = {James Cheney and
Alberto Momigliano},
title = {{\(\alpha\)}Check: {A} mechanized metatheory model-checker},
journal = {CoRR},
volume = {abs/1704.00617},
year = {2017},
url = {http://arxiv.org/abs/1704.00617},
eprinttype = {arXiv},
eprint = {1704.00617},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RicciottiSPC17,
author = {Wilmer Ricciotti and
Jan Stolarek and
Roly Perera and
James Cheney},
title = {Imperative Functional Programs that Explain their Work},
journal = {CoRR},
volume = {abs/1705.07678},
year = {2017},
url = {http://arxiv.org/abs/1705.07678},
eprinttype = {arXiv},
eprint = {1705.07678},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RicciottiSPC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RicciottiC17,
author = {Wilmer Ricciotti and
James Cheney},
title = {Strongly Normalizing Audited Computation},
journal = {CoRR},
volume = {abs/1706.03711},
year = {2017},
url = {http://arxiv.org/abs/1706.03711},
eprinttype = {arXiv},
eprint = {1706.03711},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RicciottiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Cheney16,
author = {James Cheney},
title = {A simple sequent calculus for nominal logic},
journal = {J. Log. Comput.},
volume = {26},
number = {2},
pages = {699--726},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu024},
doi = {10.1093/LOGCOM/EXU024},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Cheney16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Abou-SalehCGMS16,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Jeremy Gibbons and
Perdita Stevens},
title = {Introduction to Bidirectional Transformations},
booktitle = {Bidirectional Transformations - International Summer School, Oxford,
UK, July 25-29, 2016, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9715},
pages = {1--28},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-79108-1\_1},
doi = {10.1007/978-3-319-79108-1\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Abou-SalehCGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abou-SalehCGMS16,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
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},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {1--31},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_1},
doi = {10.1007/978-3-319-30936-1\_1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Abou-SalehCGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PereraGC16,
author = {Roly Perera and
Deepak Garg and
James Cheney},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Causally Consistent Dynamic Slicing},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {18:1--18:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.18},
doi = {10.4230/LIPICS.CONCUR.2016.18},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/PereraGC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FehrenbachC16,
author = {Stefan Fehrenbach and
James Cheney},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Language-integrated provenance},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {214--227},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968604},
doi = {10.1145/2967973.2968604},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FehrenbachC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CheneyMP16,
author = {James Cheney and
Alberto Momigliano and
Matteo Pessina},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Advances in Property-Based Testing for {\textbackslash}alpha Prolog},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {37--56},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_3},
doi = {10.1007/978-3-319-41135-4\_3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/CheneyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/AbreuACCEG16,
author = {Rui Abreu and
Dave Archer and
Erin Chapman and
James Cheney and
Hoda Eldardiry and
Adri{\`{a}} Gasc{\'{o}}n},
editor = {Sarah Cohen Boulakia},
title = {Provenance Segmentation},
booktitle = {8th {USENIX} Workshop on the Theory and Practice of Provenance, TaPP
2016, Washington, D.C., USA, June 8-9, 2016},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/tapp16/workshop-program/presentation/abreu},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapp/AbreuACCEG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2016,
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973},
doi = {10.1145/2967973},
isbn = {978-1-4503-4148-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-SalehCGMS16,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
title = {Reflections on Monadic Lenses},
journal = {CoRR},
volume = {abs/1601.02484},
year = {2016},
url = {http://arxiv.org/abs/1601.02484},
eprinttype = {arXiv},
eprint = {1601.02484},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PereraC16,
author = {Roly Perera and
James Cheney},
title = {Proof-relevant pi-calculus},
journal = {CoRR},
volume = {abs/1604.04575},
year = {2016},
url = {http://arxiv.org/abs/1604.04575},
eprinttype = {arXiv},
eprint = {1604.04575},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PereraC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyMP16,
author = {James Cheney and
Alberto Momigliano and
Matteo Pessina},
title = {Advances in Property-Based Testing for {\textdollar}{\(\alpha\)}{\textdollar}Prolog},
journal = {CoRR},
volume = {abs/1604.08345},
year = {2016},
url = {http://arxiv.org/abs/1604.08345},
eprinttype = {arXiv},
eprint = {1604.08345},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehrenbachC16,
author = {Stefan Fehrenbach and
James Cheney},
title = {Language-integrated provenance},
journal = {CoRR},
volume = {abs/1607.04104},
year = {2016},
url = {http://arxiv.org/abs/1607.04104},
eprinttype = {arXiv},
eprint = {1607.04104},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FehrenbachC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FuCA16,
author = {Weili Fu and
James Cheney and
Paul Anderson},
title = {An Operational Semantics for a Fragment of the Puppet Configuration
Language},
journal = {CoRR},
volume = {abs/1608.04999},
year = {2016},
url = {http://arxiv.org/abs/1608.04999},
eprinttype = {arXiv},
eprint = {1608.04999},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FuCA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Perera0C16,
author = {Roly Perera and
Deepak Garg and
James Cheney},
title = {Causally consistent dynamic slicing},
journal = {CoRR},
volume = {abs/1610.02327},
year = {2016},
url = {http://arxiv.org/abs/1610.02327},
eprinttype = {arXiv},
eprint = {1610.02327},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Perera0C16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MoreauGCLM15,
author = {Luc Moreau and
Paul Groth and
James Cheney and
Timothy Lebo and
Simon Miles},
title = {The rationale of {PROV}},
journal = {J. Web Semant.},
volume = {35},
pages = {235--257},
year = {2015},
url = {https://doi.org/10.1016/j.websem.2015.04.001},
doi = {10.1016/J.WEBSEM.2015.04.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/MoreauGCLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Notions of Bidirectional Computation and Entangled State Monads},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {187--214},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_9},
doi = {10.1007/978-3-319-19797-5\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/CheneyGMS15,
author = {James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Alcino Cunha and
Ekkart Kindler},
title = {Towards a Principle of Least Surprise for Bidirectional Transformations},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1396},
pages = {66--80},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1396/p66-cheney.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/CheneyGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/FehrenbachC15,
author = {Stefan Fehrenbach and
James Cheney},
editor = {Paolo Missier and
Jun Zhao},
title = {Language-integrated Provenance in Links},
booktitle = {7th {USENIX} Workshop on the Theory and Practice of Provenance, TaPP
2015, Edinburgh, Scotland, UK, July 8-9, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/tapp15/workshop-program/presentation/fehrenbach},
timestamp = {Tue, 02 Feb 2021 08:04:55 +0100},
biburl = {https://dblp.org/rec/conf/tapp/FehrenbachC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PereraC15,
author = {Roly Perera and
James Cheney},
editor = {Iliano Cervesato and
Kaustuv Chaudhuri},
title = {Proof-relevant pi-calculus},
booktitle = {Proceedings Tenth International Workshop on Logical Frameworks and
Meta Languages: Theory and Practice, {LFMTP} 2015, Berlin, Germany,
1 August 2015},
series = {{EPTCS}},
volume = {185},
pages = {46--70},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.185.4},
doi = {10.4204/EPTCS.185.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PereraC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/2015,
editor = {James Cheney and
Thomas Neumann},
title = {Proceedings of the 15th Symposium on Database Programming Languages,
Pittsburgh, PA, USA, October 25-30, 2015},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2815072},
isbn = {978-1-4503-3902-5},
timestamp = {Sun, 25 Oct 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McPhillipsSKABB15,
author = {Timothy M. McPhillips and
Tianhong Song and
Tyler Kolisnik and
Steve Aulenbach and
Khalid Belhajjame and
Kyle Bocinsky and
Yang Cao and
Fernando Chirigati and
Saumen C. Dey and
Juliana Freire and
Deborah N. Huntzinger and
Christopher Jones and
David Koop and
Paolo Missier and
Mark Schildhauer and
Christopher R. Schwalm and
Yaxing Wei and
James Cheney and
Mark Bieda and
Bertram Lud{\"{a}}scher},
title = {YesWorkflow: {A} User-Oriented, Language-Independent Tool for Recovering
Workflow Information from Scripts},
journal = {CoRR},
volume = {abs/1502.02403},
year = {2015},
url = {http://arxiv.org/abs/1502.02403},
eprinttype = {arXiv},
eprint = {1502.02403},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McPhillipsSKABB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-SalehCGMS15,
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},
journal = {CoRR},
volume = {abs/1505.02579},
year = {2015},
url = {http://arxiv.org/abs/1505.02579},
eprinttype = {arXiv},
eprint = {1505.02579},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CheneyMSG14,
author = {James Cheney and
James McKinna and
Perdita Stevens and
Jeremy Gibbons},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Towards a Repository of Bx Examples},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {87--91},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CheneyMSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CheneyMSGA14,
author = {James Cheney and
James McKinna and
Perdita Stevens and
Jeremy Gibbons and
Faris Abou{-}Saleh},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Entangled State Monads},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {108--111},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/CheneyMSGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipaw/CheneyP14,
author = {James Cheney and
Roly Perera},
editor = {Bertram Lud{\"{a}}scher and
Beth Plale},
title = {An Analytical Survey of Provenance Sanitization},
booktitle = {Provenance and Annotation of Data and Processes - 5th International
Provenance and Annotation Workshop, {IPAW} 2014, Cologne, Germany,
June 9-13, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8628},
pages = {113--126},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-16462-5\_9},
doi = {10.1007/978-3-319-16462-5\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipaw/CheneyP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CheneyLRW14,
author = {James Cheney and
Sam Lindley and
Gabriel Radanne and
Philip Wadler},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Effective quotation: relating approaches to language-integrated query},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {15--26},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543738},
doi = {10.1145/2543728.2543738},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/CheneyLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyAA14,
author = {James Cheney and
Amal Ahmed and
Umut A. Acar},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Database Queries that Explain their Work},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {271--282},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643143},
doi = {10.1145/2643135.2643143},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CheneyAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HalpinC14,
author = {Harry Halpin and
James Cheney},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {Dynamic Provenance for {SPARQL} Updates},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8796},
pages = {425--440},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11964-9\_27},
doi = {10.1007/978-3-319-11964-9\_27},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HalpinC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/CheneyLW14,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
editor = {Curtis E. Dyreson and
Feifei Li and
M. Tamer {\"{O}}zsu},
title = {Query shredding: efficient relational evaluation of queries over nested
multisets},
booktitle = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
UT, USA, June 22-27, 2014},
pages = {1027--1038},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588555.2612186},
doi = {10.1145/2588555.2612186},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/CheneyLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/HalpinC14,
author = {Harry Halpin and
James Cheney},
editor = {Chin{-}Wan Chung and
Andrei Z. Broder and
Kyuseok Shim and
Torsten Suel},
title = {Dynamic provenance for {SPARQL} updates using named graphs},
booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
of Korea, April 7-11, 2014, Companion Volume},
pages = {287--288},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2567948.2577357},
doi = {10.1145/2567948.2577357},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/HalpinC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyLW14,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
title = {Query shredding: Efficient relational evaluation of queries over nested
multisets (extended version)},
journal = {CoRR},
volume = {abs/1404.7078},
year = {2014},
url = {http://arxiv.org/abs/1404.7078},
eprinttype = {arXiv},
eprint = {1404.7078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyP14,
author = {James Cheney and
Roly Perera},
title = {An Analytical Survey of Provenance Sanitization},
journal = {CoRR},
volume = {abs/1405.5777},
year = {2014},
url = {http://arxiv.org/abs/1405.5777},
eprinttype = {arXiv},
eprint = {1405.5777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HalpinC14,
author = {Harry Halpin and
James Cheney},
title = {Dynamic Provenance for {SPARQL} Update},
journal = {CoRR},
volume = {abs/1408.0926},
year = {2014},
url = {http://arxiv.org/abs/1408.0926},
eprinttype = {arXiv},
eprint = {1408.0926},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HalpinC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyAA14,
author = {James Cheney and
Amal Ahmed and
Umut A. Acar},
title = {Database Queries that Explain their Work},
journal = {CoRR},
volume = {abs/1408.1675},
year = {2014},
url = {http://arxiv.org/abs/1408.1675},
eprinttype = {arXiv},
eprint = {1408.1675},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CheneyGV14,
author = {James Cheney and
Torsten Grust and
Dimitrios Vytiniotis},
title = {Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)},
journal = {Dagstuhl Reports},
volume = {4},
number = {12},
pages = {48--67},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.12.48},
doi = {10.4230/DAGREP.4.12.48},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CheneyGV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RajkumarFLC13,
author = {Raghu Rajkumar and
Nate Foster and
Sam Lindley and
James Cheney},
title = {Lenses for Web Data},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {57},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.57.879},
doi = {10.14279/TUJ.ECEASST.57.879},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RajkumarFLC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AcarACP13,
author = {Umut A. Acar and
Amal Ahmed and
James Cheney and
Roly Perera},
title = {A core calculus for provenance},
journal = {J. Comput. Secur.},
volume = {21},
number = {6},
pages = {919--969},
year = {2013},
url = {https://doi.org/10.3233/JCS-130487},
doi = {10.3233/JCS-130487},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcs/AcarACP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/Cheney13,
author = {James Cheney},
title = {Revisiting "forward node-selecting queries over trees"},
journal = {{ACM} Trans. Database Syst.},
volume = {38},
number = {2},
pages = {13},
year = {2013},
url = {https://doi.org/10.1145/2487259.2487265},
doi = {10.1145/2487259.2487265},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/Cheney13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CheneyAP13,
author = {James Cheney and
Umut A. Acar and
Roly Perera},
editor = {Val Tannen and
Limsoon Wong and
Leonid Libkin and
Wenfei Fan and
Wang{-}Chiew Tan and
Michael P. Fourman},
title = {Toward a Theory of Self-explaining Computation},
booktitle = {In Search of Elegance in the Theory and Practice of Computation -
Essays Dedicated to Peter Buneman},
series = {Lecture Notes in Computer Science},
volume = {8000},
pages = {193--216},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41660-6\_9},
doi = {10.1007/978-3-642-41660-6\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CheneyAP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/SpinusoCA13,
author = {Alessandro Spinuso and
James Cheney and
Malcolm P. Atkinson},
editor = {Giovanna Guerrini},
title = {Provenance for seismological processing pipelines in a distributed
streaming workflow},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {EDBT/ICDT} '13, Genoa, Italy,
March 22, 2013, Workshop Proceedings},
pages = {307--312},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2457317.2457369},
doi = {10.1145/2457317.2457369},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/SpinusoCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/MissierBC13,
author = {Paolo Missier and
Khalid Belhajjame and
James Cheney},
editor = {Giovanna Guerrini and
Norman W. Paton},
title = {The {W3C} {PROV} family of specifications for modelling provenance
metadata},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {EDBT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {773--776},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2452376.2452478},
doi = {10.1145/2452376.2452478},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/MissierBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CheneyLW13,
author = {James Cheney and
Sam Lindley and
Philip Wadler},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {A practical theory of language-integrated query},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {403--416},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500586},
doi = {10.1145/2500365.2500586},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CheneyLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/GriffisMC09,
author = {Eric Griffis and
Paul Martin and
James Cheney},
editor = {Johan Montagnat and
Ian J. Taylor},
title = {Semantics and provenance for processing element composition in dispel
workflows},
booktitle = {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},
pages = {38--47},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2534248.2534252},
doi = {10.1145/2534248.2534252},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/GriffisMC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cheney13,
author = {James Cheney},
editor = {Todd J. Green and
Alan Schmitt},
title = {Static Enforceability of XPath-Based Access Control Policies},
booktitle = {Proceedings of the 14th International Symposium on Database Programming
Languages {(DBPL} 2013), August 30, 2013, Riva del Garda, Trento,
Italy},
year = {2013},
url = {http://arxiv.org/abs/1308.0502},
timestamp = {Mon, 13 Aug 2018 16:48:37 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cheney13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheneyLRW13,
author = {James Cheney and
Sam Lindley and
Gabriel Radanne and
Philip Wadler},
title = {Effective Quotation},
journal = {CoRR},
volume = {abs/1310.4780},
year = {2013},
url = {http://arxiv.org/abs/1310.4780},
eprinttype = {arXiv},
eprint = {1310.4780},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheneyLRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AcarACP13,
author = {Umut A. Acar and
Amal Ahmed and
James Cheney and
Roly Perera},
title = {A Core Calculus for Provenance},
journal = {CoRR},
volume = {abs/1310.6299},
year = {2013},
url = {http://arxiv.org/abs/1310.6299},
eprinttype = {arXiv},
eprint = {1310.6299},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AcarACP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cheney13a,
author = {James Cheney},
title = {A simple sequent calculus for nominal logic},
journal = {CoRR},
volume = {abs/1312.4840},
year = {2013},
url = {http://arxiv.org/abs/1312.4840},
eprinttype = {arXiv},
eprint = {1312.4840},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cheney13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5240,
author = {James Cheney},
title = {A dependent nominal type theory},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:8)2012},
doi = {10.2168/LMCS-8(1:8)2012},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdc/GrothGCM12,
author = {Paul Groth and
Yolanda Gil and
James Cheney and
Simon Miles},
title = {Requirements for Provenance on the Web},
journal = {Int. J. Digit. Curation},
volume = {7},
number = {1},
pages = {39--56},
year = {2012},
url = {https://doi.org/10.2218/ijdc.v7i1.213},
doi = {10.2218/IJDC.V7I1.213},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijdc/GrothGCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CheneyNV12,
author = {James Cheney and
Michael Norrish and
Ren{\'{e}} Vestergaard},
title = {Formalizing Adequacy: {A} Case Study for Higher-order Abstract Syntax},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {209--239},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9221-6},
doi = {10.1007/S10817-011-9221-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/CheneyNV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AcarCW12,
author = {Umut A. Acar and
James Cheney and
Stephanie Weirich},
title = {Editorial - Special issue dedicated to {ICFP} 2010},
journal = {J. Funct. Program.},
volume = {22},
number = {4-5},
pages = {379--381},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000287},
doi = {10.1017/S0956796812000287},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/AcarCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/BravoCFS12,
author = {Loreto Bravo and
James Cheney and
Irini Fundulaki and
Ricardo Segovia},
title = {Consistency and repair for {XML} write-access control policies},
journal = {{VLDB} J.},
volume = {21},
number = {6},
pages = {843--867},
year = {2012},
url = {https://doi.org/10.1007/s00778-012-0273-y},
doi = {10.1007/S00778-012-0273-Y},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vldb/BravoCFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PereraACL12,
author = {Roly Perera and
Umut A. Acar and
James Cheney and
Paul Blain Levy},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Functional programs that explain their work},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {365--376},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364579},
doi = {10.1145/2364527.2364579},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/PereraACL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AcarACP12,
author = {Umut A. Acar and
Amal Ahmed and
James Cheney and
Roly Perera},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {A Core Calculus for Provenance},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {7215},
pages = {410--429},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28641-4\_22},
doi = {10.1007/978-3-642-28641-4\_22},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/post/AcarACP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/AndersonC12,
author = {Paul Anderson and
James Cheney},
editor = {Umut A. Acar and
Todd J. Green},
title = {Toward Provenance-Based Security for Configuration Languages},
booktitle = {4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston,
MA, USA, June 14-15, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/tapp12/workshop-program/presentation/anderson},
timestamp = {Tue, 02 Feb 2021 08:04:55 +0100},
biburl = {https://dblp.org/rec/conf/tapp/AndersonC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/BunemanCK12,
author = {Peter Buneman and
James Cheney and
Egor V. Kostylev},
editor = {Umut A. Acar and
Todd J. Green},
title = {Hierarchical Models of Provenance},
booktitle = {4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston,
MA, USA, June 14-15, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/tapp12/workshop-program/presentation/buneman},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapp/BunemanCK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/LindleyC12,
author = {Sam Lindley and
James Cheney},
editor = {Benjamin C. Pierce},
title = {Row-based effect types for database integration},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {91--102},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103798},
doi = {10.1145/2103786.2103798},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/LindleyC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CheneyFLV12,
author = {James Cheney and
Anthony Finkelstein and
Bertram Lud{\"{a}}scher and
Stijn Vansummeren},
title = {Principles of Provenance (Dagstuhl Seminar 12091)},
journal = {Dagstuhl Reports},
volume = {2},
number = {2},
pages = {84--113},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.2.84},
doi = {10.4230/DAGREP.2.2.84},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CheneyFLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CheneyAA11,
author = {James Cheney and
Amal Ahmed and
Umut A. Acar},
title = {Provenance as dependency analysis},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {6},
pages = {1301--1337},
year = {2011},
url = {https://doi.org/10.1017/S0960129511000211},
doi = {10.1017/S0960129511000211},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/CheneyAA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BunemanCLM11,
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} Rec.},
volume = {40},
number = {3},
pages = {15--20},
year = {2011},
url = {https://doi.org/10.1145/2070736.2070740},
doi = {10.1145/2070736.2070740},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/BunemanCLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/UrbanCB11,
author = {Christian Urban and
James Cheney and
Stefan Berghofer},
title = {Mechanizing the metatheory of {LF}},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {15:1--15:42},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877721},
doi = {10.1145/1877714.1877721},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/UrbanCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/CheneyU11,
author = {James Cheney and
Christian Urban},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Mechanizing the Metatheory of mini-XQuery},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {280--295},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_21},
doi = {10.1007/978-3-642-25379-9\_21},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/CheneyU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Cheney11,
author = {James Cheney},
title = {A Formal Framework for Provenance Security},
booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
{CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
pages = {281--293},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSF.2011.26},
doi = {10.1109/CSF.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/Cheney11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/CheneyLM11,
author = {James Cheney and
Sam Lindley and
Heiko M{\"{u}}ller},
editor = {Nate Foster and
Anastasios Kementsietsidis},
title = {Using Links to prototype a Database Wiki},
booktitle = {Database Programming Languages - {DBPL} 201, 13th International Symposium,
Seattle, Washington, USA, August 29, 2011. Proceedings},
year = {2011},
url = {http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-cheney.pdf},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/CheneyLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Cheney11,
author = {James Cheney},
editor = {Tova Milo},
title = {Satisfiability algorithms for conjunctive queries over trees},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {150--161},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938572},
doi = {10.1145/1938551.1938572},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Cheney11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Cheney11,
author = {James Cheney},
editor = {George H. L. Fletcher and
Slawek Staworko},
title = {Is provenance logical?},
booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
Proceedings},
pages = {2--6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1966357.1966359},
doi = {10.1145/1966357.1966359},
timestamp = {Mon, 15 Nov 2021 16:15:59 +0100},
biburl = {https://dblp.org/rec/conf/lid/Cheney11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BunemanCLM11,
author = {Peter Buneman and
James Cheney and
Sam Lindley and
Heiko M{\"{u}}ller},
editor = {Timos K. Sellis and
Ren{\'{e}}e J. Miller and
Anastasios Kementsietsidis and
Yannis Velegrakis},
title = {DBWiki: a structured wiki for curated data and collaborative data
management},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
pages = {1335--1338},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989323.1989491},
doi = {10.1145/1989323.1989491},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/BunemanCLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/HalpinC11,
author = {Harry Halpin and
James Cheney},
editor = {Peter Buneman and
Juliana Freire},
title = {Dynamic Provenance for {SPARQL} Updates Using Named Graphs},
booktitle = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion,
Crete, Greece, June 20-21, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/tapp11/dynamic-provenance-sparql-updates-using-named-graphs},
timestamp = {Tue, 02 Feb 2021 08:04:54 +0100},
biburl = {https://dblp.org/rec/conf/tapp/HalpinC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/KavanaghC11,
author = {Ben Kavanagh and
James Cheney},
editor = {Franz Baader and
Barbara Morawska and
Jan Otop},
title = {Higher-Order Unification for the {\(\lambda\)}\({}_{\mbox{{\(\alpha\)}{\(\nu\)}}}\)
calculus},
booktitle = {Proceedings of the 25th International Workshop on Unification, {UNIF}
2011, Wroclaw, Poland, July 31, 2011},
pages = {42--51},
year = {2011},
url = {https://www.irif.fr/\%7Etreinen/unif/past/unif11/unif11-proceedings.pdf\#page=48},
timestamp = {Mon, 23 Oct 2023 15:28:12 +0200},
biburl = {https://dblp.org/rec/conf/unif/KavanaghC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Cheney10,
author = {James Cheney},
title = {Equivariant Unification},
journal = {J. Autom. Reason.},
volume = {45},
number = {3},
pages = {267--300},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9164-3},
doi = {10.1007/S10817-009-9164-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Cheney10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BenediktC10,
author = {Michael Benedikt and
James Cheney},
title = {Destabilizers and Independence of {XML} Updates},
journal = {Proc. {VLDB} Endow.},
volume = {3},
number = {1},
pages = {906--917},
year = {2010},
url = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/R81.pdf},
doi = {10.14778/1920841.1920956},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BenediktC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/AcarBCBKV10,
author = {Umut A. Acar and
Peter Buneman and
James Cheney and
Jan Van den Bussche and
Natalia Kwasnikowska and
Stijn Vansummeren},
editor = {Margo I. Seltzer and
Wang{-}Chiew Tan},
title = {A Graph Model of Data and Workflow Provenance},
booktitle = {2nd Workshop on the Theory and Practice of Provenance, TaPP'10, San
Jose, CA, USA, February 22, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/tapp-10/graph-model-data-and-workflow-provenance},
timestamp = {Tue, 02 Feb 2021 08:04:56 +0100},
biburl = {https://dblp.org/rec/conf/tapp/AcarBCBKV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1429,
author = {James Cheney},
editor = {S. Barry Cooper and
Prakash Panangaden and
Elham Kashefi},
title = {Causality and the Semantics of Provenance},
booktitle = {Proceedings Sixth Workshop on Developments in Computational Models:
Causality, Computation, and Physics, {DCM} 2010, Edinburgh, Scotland,
9-10th July 2010},
series = {{EPTCS}},
volume = {26},
pages = {63--74},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.26.6},
doi = {10.4204/EPTCS.26.6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-3241,
author = {James Cheney},
title = {Causality and the semantics of provenance},
journal = {CoRR},
volume = {abs/1004.3241},
year = {2010},
url = {http://arxiv.org/abs/1004.3241},
eprinttype = {arXiv},
eprint = {1004.3241},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-3241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftdb/CheneyCT09,
author = {James Cheney and
Laura Chiticariu and
Wang Chiew Tan},
title = {Provenance in Databases: Why, How, and Where},
journal = {Found. Trends Databases},
volume = {1},
number = {4},
pages = {379--474},
year = {2009},
url = {https://doi.org/10.1561/1900000006},
doi = {10.1561/1900000006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftdb/CheneyCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BenediktC09,
author = {Michael Benedikt and
James Cheney},
title = {Schema-Based Independence Analysis for {XML} Updates},
journal = {Proc. {VLDB} Endow.},
volume = {2},
number = {1},
pages = {61--72},
year = {2009},
url = {http://www.vldb.org/pvldb/vol2/vldb09-684.pdf},
doi = {10.14778/1687627.1687635},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BenediktC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Cheney09,
author = {James Cheney},
title = {Workshop on theory and practice of provenance event report},
journal = {{SIGMOD} Rec.},
volume = {38},
number = {2},
pages = {57--60},
year = {2009},
url = {https://doi.org/10.1145/1815918.1815932},
doi = {10.1145/1815918.1815932},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Cheney09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BenediktC09,
author = {Michael Benedikt and
James Cheney},
editor = {Philippa Gardner and
Floris Geerts},
title = {Semantics, Types and Effects for {XML} Updates},
booktitle = {Database Programming Languages - {DBPL} 2009, 12th International Symposium,
Lyon, France, August 24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5708},
pages = {1--17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03793-1\_1},
doi = {10.1007/978-3-642-03793-1\_1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/BenediktC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/McKayNCKMH09,
author = {Robert I. McKay and
Xuan Hoai Nguyen and
James Cheney and
Minhyeok Kim and
Naoki Mori and
Tuan Hao Hoang},
editor = {Franz Rothlauf},
title = {Estimating the distribution and propagation of genetic programming
building blocks through tree compression},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2009, Proceedings,
Montreal, Qu{\'{e}}bec, Canada, July 8-12, 2009},
pages = {1011--1018},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1569901.1570038},
doi = {10.1145/1569901.1570038},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/McKayNCKMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CheneyCFSV09,
author = {James Cheney and
Stephen Chong and
Nate Foster and
Margo I. Seltzer and
Stijn Vansummeren},
editor = {Shail Arora and
Gary T. Leavens},
title = {Provenance: a future history},
booktitle = {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}},
pages = {957--964},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640064},
doi = {10.1145/1639950.1640064},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/CheneyCFSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fast/2009tapp,
editor = {James Cheney},
title = {First Workshop on the Theory and Practice of Provenance, TaPP'09,
San Francisco, CA, USA, February 23, 2009, Proceedings},
publisher = {{USENIX}},
year = {2009},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fast/2009tapp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfmtp/2009,
editor = {James Cheney and
Amy P. Felty},
title = {Proceedings of the Fourth International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, {LFMTP} '09, McGill University,
Montreal, Canada, August 2, 2009},
publisher = {{ACM}},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=1577824},
isbn = {978-1-60558-529-1},
timestamp = {Mon, 12 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfmtp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/CheneyBL08,
author = {James Cheney and
Peter Buneman and
Bertram Lud{\"{a}}scher},
title = {Report on the Principles of Provenance Workshop},
journal = {{SIGMOD} Rec.},
volume = {37},
number = {1},
pages = {62--65},
year = {2008},
url = {https://doi.org/10.1145/1374780.1374798},
doi = {10.1145/1374780.1374798},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/CheneyBL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BunemanCV08,
author = {Peter Buneman and
James Cheney and
Stijn Vansummeren},
title = {On the expressiveness of implicit provenance in query and update languages},
journal = {{ACM} Trans. Database Syst.},
volume = {33},
number = {4},
pages = {28:1--28:47},
year = {2008},
url = {https://doi.org/10.1145/1412331.1412340},
doi = {10.1145/1412331.1412340},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BunemanCV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CheneyU08,
author = {James Cheney and
Christian Urban},
title = {Nominal logic programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {5},
pages = {26:1--26:47},
year = {2008},
url = {https://doi.org/10.1145/1387673.1387675},
doi = {10.1145/1387673.1387675},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CheneyU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BravoCF08,
author = {Loreto Bravo and
James Cheney and
Irini Fundulaki},
editor = {Alfons Kemper and
Patrick Valduriez and
Noureddine Mouaddib and
Jens Teubner and
Mokrane Bouzeghoub and
Volker Markl and
Laurent Amsaleg and
Ioana Manolescu},
title = {ACCOn: checking consistency of {XML} write-access control policies},
booktitle = {{EDBT} 2008, 11th International Conference on Extending Database Technology,
Nantes, France, March 25-29, 2008, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {261},
pages = {715--719},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1353343.1353433},
doi = {10.1145/1353343.1353433},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/BravoCF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Cheney08,
author = {James Cheney},
editor = {Sophia Drossopoulou},
title = {Regular Expression Subtyping for {XML} Query and Update Languages},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {32--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_3},
doi = {10.1007/978-3-540-78739-6\_3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/Cheney08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Cheney08,
author = {James Cheney},
editor = {James Hook and
Peter Thiemann},
title = {{FLUX:} functional updates for {XML}},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {3--14},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411209},
doi = {10.1145/1411204.1411209},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Cheney08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/UrbanCB08,
author = {Christian Urban and
James Cheney and
Stefan Berghofer},
title = {Mechanizing the Metatheory of {LF}},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {45--56},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.29},
doi = {10.1109/LICS.2008.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/UrbanCB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CheneyD08,
author = {James Cheney and
Morten Dahl},
editor = {{\'{U}}lfar Erlingsson and
Marco Pistoia},
title = {Resource bound analysis for database queries},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2008, Tucson, AZ, USA, June 8, 2008},
pages = {67--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375696.1375706},
doi = {10.1145/1375696.1375706},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/CheneyD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BunemanCTV08,
author = {Peter Buneman and
James Cheney and
Wang Chiew Tan and
Stijn Vansummeren},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {Curated databases},
booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
BC, Canada},
pages = {1--12},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376918},
doi = {10.1145/1376916.1376918},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BunemanCTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cheney09,
author = {James Cheney},
editor = {Andreas Abel and
Christian Urban},
title = {A Simple Nominal Type Theory},
booktitle = {Proceedings of the International Workshop on Logical Frameworks and
Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA,
USA, June 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {228},
pages = {37--52},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.115},
doi = {10.1016/J.ENTCS.2008.12.115},
timestamp = {Fri, 24 Feb 2023 10:26:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cheney09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-0714,
author = {James Cheney},
title = {Regular Expression Subtyping for {XML} Query and Update Languages},
journal = {CoRR},
volume = {abs/0801.0714},
year = {2008},
url = {http://arxiv.org/abs/0801.0714},
eprinttype = {arXiv},
eprint = {0801.0714},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0801-0714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-1667,
author = {Christian Urban and
James Cheney and
Stefan Berghofer},
title = {Mechanizing the Metatheory of {LF}},
journal = {CoRR},
volume = {abs/0804.1667},
year = {2008},
url = {http://arxiv.org/abs/0804.1667},
eprinttype = {arXiv},
eprint = {0804.1667},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-1667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-1211,
author = {James Cheney},
title = {Flux: FunctionaL Updates for {XML} (extended report)},
journal = {CoRR},
volume = {abs/0807.1211},
year = {2008},
url = {http://arxiv.org/abs/0807.1211},
eprinttype = {arXiv},
eprint = {0807.1211},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-1211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-0564,
author = {James Cheney and
Umut A. Acar and
Amal Ahmed},
title = {Provenance Traces},
journal = {CoRR},
volume = {abs/0812.0564},
year = {2008},
url = {http://arxiv.org/abs/0812.0564},
eprinttype = {arXiv},
eprint = {0812.0564},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-0564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Cheney07,
author = {James Cheney},
title = {Program Slicing and Data Provenance},
journal = {{IEEE} Data Eng. Bull.},
volume = {30},
number = {4},
pages = {22--28},
year = {2007},
url = {http://sites.computer.org/debull/A07dec/cheney.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/Cheney07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/VansummerenC07,
author = {Stijn Vansummeren and
James Cheney},
title = {Recording Provenance for {SQL} Queries and Updates},
journal = {{IEEE} Data Eng. Bull.},
volume = {30},
number = {4},
pages = {29--37},
year = {2007},
url = {http://sites.computer.org/debull/A07dec/stijn.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/VansummerenC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BravoCF07,
author = {Loreto Bravo and
James Cheney and
Irini Fundulaki},
editor = {Marcelo Arenas and
Michael I. Schwartzbach},
title = {Repairing Inconsistent {XML} Write-Access Control Policies},
booktitle = {Database Programming Languages, 11th International Symposium, {DBPL}
2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4797},
pages = {97--111},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75987-4\_7},
doi = {10.1007/978-3-540-75987-4\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BravoCF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/CheneyAA07,
author = {James Cheney and
Amal Ahmed and
Umut A. Acar},
editor = {Marcelo Arenas and
Michael I. Schwartzbach},
title = {Provenance as Dependency Analysis},
booktitle = {Database Programming Languages, 11th International Symposium, {DBPL}
2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4797},
pages = {138--152},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75987-4\_10},
doi = {10.1007/978-3-540-75987-4\_10},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/CheneyAA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BunemanCV07,
author = {Peter Buneman and
James Cheney and
Stijn Vansummeren},
editor = {Thomas Schwentick and
Dan Suciu},
title = {On the Expressiveness of Implicit Provenance in Query and Update Languages},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {209--223},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_15},
doi = {10.1007/11965893\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/BunemanCV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/Cheney07,
author = {James Cheney},
title = {Lux: {A} Lightweight, Statically Typed {XML} Update Language},
booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
20, 2007},
pages = {25--36},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/Cheney07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyM07,
author = {James Cheney and
Alberto Momigliano},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Mechanized metatheory model-checking},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {75--86},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273931},
doi = {10.1145/1273920.1273931},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CheneyM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-2076,
author = {Loreto Bravo and
James Cheney and
Irini Fundulaki},
title = {Repairing Inconsistent {XML} Write-Access Control Policies},
journal = {CoRR},
volume = {abs/0708.2076},
year = {2007},
url = {http://arxiv.org/abs/0708.2076},
eprinttype = {arXiv},
eprint = {0708.2076},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-2076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-2173,
author = {James Cheney and
Amal Ahmed and
Umut A. Acar},
title = {Provenance as Dependency Analysis},
journal = {CoRR},
volume = {abs/0708.2173},
year = {2007},
url = {http://arxiv.org/abs/0708.2173},
eprinttype = {arXiv},
eprint = {0708.2173},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-2173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cheney06,
author = {James Cheney},
title = {Completeness and Herbrand theorems for nominal logic},
journal = {J. Symb. Log.},
volume = {71},
number = {1},
pages = {299--320},
year = {2006},
url = {https://doi.org/10.2178/jsl/1140641176},
doi = {10.2178/JSL/1140641176},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Cheney06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/Cheney06,
author = {James Cheney},
title = {Tradeoffs in {XML} Database Compression},
booktitle = {2006 Data Compression Conference {(DCC} 2006), 28-30 March 2006, Snowbird,
UT, {USA}},
pages = {392--401},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DCC.2006.79},
doi = {10.1109/DCC.2006.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcc/Cheney06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Cheney06,
author = {James Cheney},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {The Semantics of Nominal Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {361--375},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_27},
doi = {10.1007/11799573\_27},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Cheney06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipaw/BunemanCCV06,
author = {Peter Buneman and
Adriane Chapman and
James Cheney and
Stijn Vansummeren},
editor = {Luc Moreau and
Ian T. Foster},
title = {A Provenance Model for Manually Curated Data},
booktitle = {Provenance and Annotation of Data, International Provenance and Annotation
Workshop, {IPAW} 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4145},
pages = {162--170},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11890850\_17},
doi = {10.1007/11890850\_17},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipaw/BunemanCCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BunemanCC06,
author = {Peter Buneman and
Adriane Chapman and
James Cheney},
editor = {Surajit Chaudhuri and
Vagelis Hristidis and
Neoklis Polyzotis},
title = {Provenance management in curated databases},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Chicago, Illinois, USA, June 27-29, 2006},
pages = {539--550},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142473.1142534},
doi = {10.1145/1142473.1142534},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/BunemanCC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609062,
author = {James Cheney and
Christian Urban},
title = {Nominal Logic Programming},
journal = {CoRR},
volume = {abs/cs/0609062},
year = {2006},
url = {http://arxiv.org/abs/cs/0609062},
eprinttype = {arXiv},
eprint = {cs/0609062},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Cheney05,
author = {James Cheney},
editor = {Vladimiro Sassone},
title = {A Simpler Proof Theory for Nominal Logic},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {379--394},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_24},
doi = {10.1007/978-3-540-31982-5\_24},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Cheney05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Cheney05a,
author = {James Cheney},
editor = {Randy Pollack},
title = {Toward a general theory of names: binding and scope},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
pages = {33--40},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088454.1088459},
doi = {10.1145/1088454.1088459},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Cheney05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Cheney05,
author = {James Cheney},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Scrap your nameplate: (functional pearl)},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {180--191},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086389},
doi = {10.1145/1086365.1086389},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Cheney05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Cheney05,
author = {James Cheney},
editor = {J{\"{u}}rgen Giesl},
title = {Equivariant Unification},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {74--89},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_7},
doi = {10.1007/978-3-540-32033-3\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Cheney05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/UrbanC05,
author = {Christian Urban and
James Cheney},
editor = {Pawel Urzyczyn},
title = {Avoiding Equivariance in Alpha-Prolog},
booktitle = {Typed Lambda Calculi and Applications, 7th International Conference,
{TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3461},
pages = {401--416},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417170\_29},
doi = {10.1007/11417170\_29},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/UrbanC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webdb/Cheney05,
author = {James Cheney},
editor = {AnHai Doan and
Frank Neven and
Robert McCann and
Geert Jan Bex},
title = {An Empirical Evaluation of Simple DTD-Conscious Compression Techniques},
booktitle = {Proceedings of the Eight International Workshop on the Web {\&}
Databases (WebDB 2005), Baltimore, Maryland, USA, Collocated mith
{ACM} {SIGMOD/PODS} 2005, June 16-17, 2005},
pages = {43--48},
year = {2005},
timestamp = {Wed, 06 Jul 2005 14:55:49 +0200},
biburl = {https://dblp.org/rec/conf/webdb/Cheney05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511025,
author = {James Cheney},
title = {Logic Column 14: Nominal Logic and Abstract Syntax},
journal = {CoRR},
volume = {abs/cs/0511025},
year = {2005},
url = {http://arxiv.org/abs/cs/0511025},
eprinttype = {arXiv},
eprint = {cs/0511025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Cheney04,
author = {James Cheney},
title = {Nominal Logic Programming},
school = {Cornell University, {USA}},
year = {2004},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Cheney04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cheney04,
author = {James Cheney},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {The Complexity of Equivariant Unification},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {332--344},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_30},
doi = {10.1007/978-3-540-27836-8\_30},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Cheney04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CheneyU04,
author = {James Cheney and
Christian Urban},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {alpha-Prolog: {A} Logic Programming Language with Names, Binding and
a-Equivalence},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {269--283},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_19},
doi = {10.1007/978-3-540-27775-0\_19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CheneyU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GabbayC04,
author = {Murdoch Gabbay and
James Cheney},
title = {A Sequent Calculus for Nominal Logic},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319608},
doi = {10.1109/LICS.2004.1319608},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GabbayC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/CheneyH02,
author = {James Cheney and
Ralf Hinze},
editor = {Manuel M. T. Chakravarty},
title = {A lightweight implementation of generics and dynamics},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Haskell, Haskell
2002, Pittsburgh, Pennsylvania, USA, October 3, 2002},
pages = {90--104},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581690.581698},
doi = {10.1145/581690.581698},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/CheneyH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GrossmanMJHWC02,
author = {Dan Grossman and
J. Gregory Morrisett and
Trevor Jim and
Michael W. Hicks and
Yanling Wang and
James Cheney},
editor = {Jens Knoop and
Laurie J. Hendren},
title = {Region-Based Memory Management in Cyclone},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
2002},
pages = {282--293},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512529.512563},
doi = {10.1145/512529.512563},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/GrossmanMJHWC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/JimMGHCW02,
author = {Trevor Jim and
J. Gregory Morrisett and
Dan Grossman and
Michael W. Hicks and
James Cheney and
Yanling Wang},
editor = {Carla Schlatter Ellis},
title = {Cyclone: {A} Safe Dialect of {C}},
booktitle = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
June 10-15, 2002, Monterey, California, {USA}},
pages = {275--288},
publisher = {{USENIX}},
year = {2002},
url = {http://www.usenix.org/publications/library/proceedings/usenix02/jim.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/JimMGHCW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/Cheney01,
author = {James Cheney},
title = {Compressing {XML} with Multiplexed Hierarchical {PPM} Models},
booktitle = {Data Compression Conference, {DCC} 2001, Snowbird, Utah, USA, March
27-29, 2001},
pages = {163},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DCC.2001.917147},
doi = {10.1109/DCC.2001.917147},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcc/Cheney01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/CheneyLB01,
author = {James Cheney and
Carl Lagoze and
Peter Botticelli},
editor = {Panos Constantopoulos and
Ingeborg S{\o}lvberg},
title = {Towards a Theory of Information Preservation},
booktitle = {Research and Advanced Technology for Digital Libraries, 5th European
Conference, {ECDL} 2001, Darmstadt, Germany, September 4-9, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2163},
pages = {340--351},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44796-2\_29},
doi = {10.1007/3-540-44796-2\_29},
timestamp = {Mon, 28 Aug 2023 21:17:44 +0200},
biburl = {https://dblp.org/rec/conf/ercimdl/CheneyLB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/Cheney00,
author = {James Cheney},
title = {Statistical Models for Term Compression},
booktitle = {Data Compression Conference, {DCC} 2000, Snowbird, Utah, USA, March
28-30, 2000},
pages = {550},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/DCC.2000.838197},
doi = {10.1109/DCC.2000.838197},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcc/Cheney00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-19 02:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
