biblio.bib

% GraphQL

@inproceedings{gqlph,
 author = {Hartig, Olaf and P{\'e}rez, Jorge},
 title = {Semantics and Complexity of {GraphQL}},
 booktitle = {Proceedings of the 2018 World Wide Web Conference},
 series = {WWW '18},
 year = {2018},
 isbn = {978-1-4503-5639-8},
 location = {Lyon, France},
 pages = {1155--1164},
 numpages = {10},
 url = {https://doi.org/10.1145/3178876.3186014},
 doi = {10.1145/3178876.3186014},
 acmid = {3186014},
 publisher = {International World Wide Web Conferences Steering Committee},
 address = {Republic and Canton of Geneva, Switzerland},
 keywords = {GraphQL, JSON, query language, web queries},
} 

@inproceedings{olafschema,
  title={Defining Schemas for Property Graphs by using the {GraphQL} Schema Definition Language},
  author={Hartig, Olaf and Hidders, Jan},
  booktitle={Proceedings of the 2nd Joint International Workshop on Graph Data Management Experiences \& Systems (GRADES) and Network Data Analytics (NDA)},
  pages={6},
  year={2019},
  organization={ACM}
}

@misc{gqlspec,
  author = {{GraphQL Foundation}},
  title = {{GraphQL} Specification},
  howpublished = "\url{https://graphql.github.io/graphql-spec/June2018/}",
  year = 2018,
}

@misc{xingalg,
  author = {XING},
  title = {{GraphQL}: Overlapping Fields Can Be Merged Fast},
  year={2019},
  howpublished = "\url{https://tinyurl.com/y3wqmnrw}",
  note = "[Online; accessed 20-Sept-2019]"

}

% Migration, creation and overall tools for GQL

@inproceedings{improvingoeeu,
  title={Improving the {OEEU}'s data-driven technological ecosystem's interoperability with {GraphQL}},
  author={V{\'a}zquez-Ingelmo, Andrea and Cruz-Benito, Juan and Garc{\'\i}a-Pe{\~n}alvo, Francisco J},
  booktitle={Proceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality},
  pages={89},
  year={2017},
  organization={ACM}
}

@article{gqldeviation,
  title={Deviation Testing: A Test Case Generation Technique for {GraphQL APIs}},
  author={Vargas, Daniela Meneses and Blanco, Alison Fernandez and Vidaurre, Andreina Cota and Alcocer, Juan Pablo Sandoval and Torres, Milton Mamani and Bergel, Alexandre and Ducasse, St{\'e}phane},
  year={2018}
}

@InProceedings{migratingapi,
author="Wittern, Erik
and Cha, Alan
and Laredo, Jim A.",
editor="Mikkonen, Tommi
and Klamma, Ralf
and Hern{\'a}ndez, Juan",
title="Generating {GraphQL}-Wrappers for {REST}(-like) {API}s",
booktitle="Web Engineering",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="65--83",
isbn="978-3-319-91662-0"
}

@inproceedings{ehriapi,
  title={{GraphQL} for archival metadata: An overview of the {EHRI} {GraphQL} {API}},
  author={Bryant, Mike},
  booktitle={2017 IEEE International Conference on Big Data (Big Data)},
  pages={2225--2230},
  year={2017},
  organization={IEEE}
}

@inproceedings{gqlexperiences,
  title={Experiences on migrating {REST}ful Web Services to {GraphQL}},
  author={Vogel, Maximilian and Weber, Sebastian and Zirpins, Christian},
  booktitle={International Conference on Service-Oriented Computing},
  pages={283--295},
  year={2017},
  organization={Springer}
}

@inproceedings{gqlsparql,
  author    = {Ruben Taelman and
               Miel Vander Sande and
               Ruben Verborgh},
  title     = {{GraphQL-LD}: Linked Data Querying with {GraphQL}},
  booktitle = {Proceedings of the {ISWC} 2018 Posters {\&} Demonstrations, Industry
               and Blue Sky Ideas Tracks co-located with 17th International Semantic
               Web Conference {(ISWC} 2018), Monterey, USA, October 8th - to - 12th,
               2018.},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2180/paper-65.pdf},
  timestamp = {Tue, 28 May 2019 16:23:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/TaelmanSV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{gqldeductive,
  author    = {Falco Nogatz and
               Dietmar Seipel},
  title     = {Implementing {GraphQL} as a Query Language for Deductive Databases in {SWI-Prolog} Using {DCGs}, Quasi Quotations, and Dicts},
  booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
               and 24th International Workshop on Functional and (Constraint) Logic
               Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
               Germany, 22nd September 2015 and 12-14th September 2016.},
  pages     = {42--56},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.234.4},
  doi       = {10.4204/EPTCS.234.4},
  timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/NogatzS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


% Databases, query languages
@inproceedings{qcert,
 author = {Auerbach, Joshua S. and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Sim{\'e}on, J{\'e}r\^{o}me},
 title = {Q*Cert: A Platform for Implementing and Verifying Query Compilers},
 booktitle = {Proceedings of the 2017 ACM International Conference on Management of Data},
 series = {SIGMOD '17},
 year = {2017},
 isbn = {978-1-4503-4197-4},
 location = {Chicago, Illinois, USA},
 pages = {1703--1706},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/3035918.3056447},
 doi = {10.1145/3035918.3056447},
 acmid = {3056447},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {certification, demonstration, formal methods, nested relational algebra, oql, query compilers, query optimization, sql, theorem proving},
} 


@article{schemaval,
  author    = {Angela Bonifati and
               Peter Furniss and
               Alastair Green and
               Russ Harmer and
               Eugenia Oshurko and
               Hannes Voigt},
  title     = {Schema Validation and Evolution for Graph Databases},
  journal   = {CoRR},
  volume    = {abs/1902.06427},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.06427},
  archivePrefix = {arXiv},
  eprint    = {1902.06427},
  timestamp = {Tue, 21 May 2019 18:03:39 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1902-06427},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{hottsql, 
  author    = {Shumo Chu and
               Konstantin Weitz and
               Alvin Cheung and
               Dan Suciu},
  title     = {{HoTTSQL}: proving query rewrites with univalent {SQL} semantics},
  booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
               June 18-23, 2017},
  pages     = {510--524},
  year      = {2017},
  url       = {https://doi.org/10.1145/3062341.3062348},
  doi       = {10.1145/3062341.3062348},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ChuWCS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{nosql,
  author    = {V{\'{e}}ronique Benzaken and
               Giuseppe Castagna and
               Kim Nguyen and
               J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  title     = {Static and dynamic semantics of {NoSQL} languages},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  pages     = {101--114},
  year      = {2013},
  url       = {https://doi.org/10.1145/2429069.2429083},
  doi       = {10.1145/2429069.2429083},
  timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BenzakenCNS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{gcore,
  author    = {Renzo Angles and
               Marcelo Arenas and
               Pablo Barcel{\'{o}} and
               Peter A. Boncz and
               George H. L. Fletcher and
               Claudio Gutierrez and
               Tobias Lindaaker and
               Marcus Paradies and
               Stefan Plantikow and
               Juan F. Sequeda and
               Oskar van Rest and
               Hannes Voigt},
  title     = {{G-CORE:} {A} Core for Future Graph Query Languages},
  booktitle = {Proceedings of the 2018 International Conference on Management of
               Data, {SIGMOD} Conference 2018, Houston, TX, USA, June 10-15, 2018},
  pages     = {1421--1432},
  year      = {2018},
  url       = {https://doi.org/10.1145/3183713.3190654},
  doi       = {10.1145/3183713.3190654},
  timestamp = {Wed, 21 Nov 2018 12:44:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/AnglesABBFGLPPS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{relationalcoq,
  author    = {V{\'{e}}ronique Benzaken and
               Evelyne Contejean and
               Stefania Dumbrava},
  title     = {A {Coq} Formalization of the Relational Data Model},
  booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
               {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  pages     = {189--208},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8\_11},
  doi       = {10.1007/978-3-642-54833-8\_11},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BenzakenCD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{certifdatalog,
  author    = {V{\'{e}}ronique Benzaken and
               Evelyne Contejean and
               Stefania Dumbrava},
  title     = {Certifying Standard and Stratified {Datalog} Inference Engines in {Ssreflect}},
  booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  pages     = {171--188},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66107-0\_12},
  doi       = {10.1007/978-3-319-66107-0\_12},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BenzakenCD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{vesqlsemantics,
  author    = {V{\'{e}}ronique Benzaken and
               Evelyne Contejean},
  title     = {A {Coq} mechanised formal semantics for realistic {SQL} queries: formally
               reconciling {SQL} and bag relational algebra},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
               14-15, 2019},
  pages     = {249--261},
  year      = {2019},
  url       = {https://doi.org/10.1145/3293880.3294107},
  doi       = {10.1145/3293880.3294107},
  timestamp = {Fri, 04 Jan 2019 10:46:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/BenzakenC19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{vesqlengines,
  author    = {V{\'{e}}ronique Benzaken and
               Evelyne Contejean and
               Ch. Keller and
               E. Martins},
  title     = {A {Coq} Formalisation of {SQL}'s Execution Engines},
  booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 9-12, 2018, Proceedings},
  pages     = {88--107},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94821-8\_6},
  doi       = {10.1007/978-3-319-94821-8\_6},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BenzakenCKM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{sqlequiv,
  author    = {Shumo Chu and
               Alvin Cheung and
               Dan Suciu},
  title     = {Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences
               of {SQL} Queries},
  journal   = {Proceedings of VLDB},
  volume    = {11},
  number    = 11,
  year      = {2018},
  pages     = {1482--1495}
}

@article{graphviewmaint,
  author    = {Angela Bonifati and
               Stefania Dumbrava and
               Emilio Jes{\'{u}}s Gallego Arias},
  title     = {Certified Graph View Maintenance with Regular {Datalog}},
  journal   = {{TPLP}},
  volume    = {18},
  number    = {3-4},
  pages     = {372--389},
  year      = {2018},
  url       = {https://doi.org/10.1017/S1471068418000224},
  doi       = {10.1017/S1471068418000224},
  timestamp = {Thu, 13 Sep 2018 18:11:29 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/BonifatiDA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


% Formalization in Coq
@inproceedings{coqr,
  author    = {Martin Bodin and
               Tom{\'{a}}s Diaz and
               {\'{E}}ric Tanter},
  title     = {A trustworthy mechanized formalization of {R}},
  booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} International Symposium on
               Dynamic Languages, {DLS} 2018, Boston, MA, USA, November 6, 2018},
  pages     = {13--24},
  year      = {2018},
  url       = {https://doi.org/10.1145/3276945.3276946},
  doi       = {10.1145/3276945.3276946},
  timestamp = {Tue, 05 Mar 2019 07:13:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/BodinDT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{jscert,
  author    = {Martin Bodin and
               Arthur Chargu{\'{e}}raud and
               Daniele Filaretti and
               Philippa Gardner and
               Sergio Maffeis and
               Daiva Naudziuniene and
               Alan Schmitt and
               Gareth Smith},
  title     = {A trusted mechanised {JavaScript} specification},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {87--100},
  year      = {2014},
  url       = {https://doi.org/10.1145/2535838.2535876},
  doi       = {10.1145/2535838.2535876},
  timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BodinCFGMNSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{graphtheory,
  TITLE = {Graph Theory in {Coq}: Minors, Treewidth, and Isomorphisms},
  AUTHOR = {Doczkal, Christian and Pous, Damien},
  URL = {https://hal.archives-ouvertes.fr/hal-02127698},
  NOTE = {Available at \url{https://hal.archives-ouvertes.fr/hal-02127698}},
  YEAR = {2019},
  MONTH = May,
  KEYWORDS = {graph theory ; minor ; treewidth ; isomorphisms ; Coq ; Ssreflect},
  PDF = {https://hal.archives-ouvertes.fr/hal-02127698/file/graphs-coq.pdf},
  HAL_ID = {hal-02127698},
  HAL_VERSION = {v1},
}


% Coq, tools and libraries 
@misc{Coq,
    author = {The {Coq} development team},
    title = {The {Coq} Proof Assistant},
    howpublished = "\url{https://coq.inria.fr/}",
    year = {1984},
    note = "[Online; accessed 2019]"
}
@misc{mathcomp,
  author = {Assia Mahboubi and Enrico Tassi},
  title = {Mathematical Components},
  year = 2018,
  howpublished = {\url{https://math-comp.github.io/mcb/}},
}


@techreport{ssreflect,
  TITLE = {A Small Scale Reflection Extension for the {Coq} system},
  AUTHOR = {Gonthier, Georges and Mahboubi, Assia and Tassi, Enrico},
  URL = {https://hal.inria.fr/inria-00258384},
  TYPE = {Research Report},
  NUMBER = {RR-6455},
  INSTITUTION = {{Inria Saclay Ile de France}},
  YEAR = {2016},
  PDF = {https://hal.inria.fr/inria-00258384/file/main.pdf},
  HAL_ID = {inria-00258384},
  HAL_VERSION = {v17},
}

@article{equations,
 author = {Sozeau, Matthieu and Mangin, Cyprien},
 title = {Equations Reloaded: High-level Dependently-typed Functional Programming and Proving in {Coq}},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {August 2019},
 volume = {3},
 number = {ICFP},
 month = aug,
 year = {2019},
 issn = {2475-1421},
 pages = {86:1--86:29},
 articleno = {86},
 numpages = {29},
 url = {http://doi.acm.org/10.1145/3341690},
 doi = {10.1145/3341690},
 acmid = {3341690},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dependent pattern-matching, proof assistants, recursion},
} 
@misc{empiricalgql,
    title={An Empirical Study of {GraphQL} Schemas},
    author={Erik Wittern and Alan Cha and James C. Davis and Guillaume Baudart and Louis Mandel},
    year={2019},
    eprint={1907.13012},
    archivePrefix={arXiv},
    primaryClass={cs.SE}
}

@inproceedings{empiricalapi,
  title={An Empirical Analysis of {GraphQL} {API} Schemas in Open Code Repositories and Package Registries},
  author={Yun Wan Kim and Mariano P. Consens and Olaf Hartig},
  booktitle={AMW},
  year={2019}
}

% Misc
@inproceedings{json,
  author    = {Pierre Bourhis and
               Juan L. Reutter and
               Fernando Su{\'{a}}rez and
               Domagoj Vrgoc},
  title     = {{JSON:} Data model, Query languages and Schema specification},
  booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
  pages     = {123--135},
  year      = {2017},
  url       = {https://doi.org/10.1145/3034786.3056120},
  doi       = {10.1145/3034786.3056120},
  timestamp = {Tue, 06 Nov 2018 16:58:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/BourhisRSV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{restful,
  title={RESTful Web APIs: Services for a Changing World},
  author={Richardson, Leonard and Amundsen, Mike and Amundsen, Michael and Ruby, Sam},
  year={2013},
  publisher={" O'Reilly Media, Inc."}
}