@Comment file bismon-biblio.bib from github.com/bstarynk/bismon/

@book{Abelson1996:SICP,
  address =	 {Cambridge},
  author =	 {Abelson, Harold and Sussman, Gerald Jay and
                  {with~Julie~Sussman}},
  edition =	 {2\textsuperscript{nd}},
  isbn =	 {0-262-01153-0},
  keywords =	 {LexicalAddressing SICP},
  publisher =	 {MIT Press/McGraw-Hill},
  url =
                  {https://mitpress.mit.edu/sites/default/files/sicp/index.html},
  title =	 {Structure and Interpretation of Computer Programs},
  year =	 1996
}

@Article{Adams:1998:R5RS,
  author =	 {Adams,IV, N. I. and Bartley, D. H. and Brooks,
                  G. and Dybvig, R. K. and Friedman, D. P. and
                  Halstead, R. and Hanson, C. and Haynes, C. T. and
                  Kohlbecker, E. and Oxley, D. and Pitman, K. M. and
                  Rozas, G. J. and Steele,Jr., G. L. and Sussman,
                  G. J. and Wand, M. and Abelson, H.},
  title =	 {Revised 5\textsuperscript{th} Report on the
                  Algorithmic Language {Scheme}},
  journal =	 {SIGPLAN Not.},
  issue_date =	 {Sept. 1, 1998},
  volume =	 33,
  number =	 9,
  month =	 sep,
  year =	 1998,
  issn =	 {0362-1340},
  pages =	 {26--76},
  numpages =	 51,
  url =		 {https://schemers.org/Documents/Standards/R5RS/},
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}

@InCollection{Ahmad:2018:ModelBasedIoT,
  author =	 {Ahmad, Abbas and Bouquet, Fabrice and Fourneret,
                  Elizabeta and Legear, Bruno},
  title =	 {Model-based Testing for Internet of Things Systems},
  booktitle =	 {Advances in Computers},
  isbn =	 {978-0-12-815119-8},
  publisher =	 {Academic Press},
  year =	 2018,
  editor =	 {Memon, Atif M.},
  volume =	 108,
  chapter =	 1,
  pages =	 {1-58},
  url =		 {http://doi.org/10.1016/bs.adcom.2017.11.002}
}

@book{Aho:2006:DragonBook,
  author =	 {Aho, Alfred V. and Lam, Monica S. and Sethi, Ravi
                  and Ullman, Jeffrey D.},
  title =	 {Compilers: Principles, Techniques, and Tools},
  year =	 2006,
  isbn =	 0321486811,
  edition =	 {2\textsuperscript{nd}},
  publisher =	 {Addison-Wesley Longman Publishing Co., Inc.},
  address =	 {Boston, MA, USA},
}

@inproceedings{Amin:2017:LAW,
  author =	 {Amin, Nada and Rompf, Tiark},
  title =	 {{LMS-Verify}: Abstraction Without Regret for
                  Verified Systems Programming},
  booktitle =	 {Proceedings of the 44\textsuperscript{th} ACM
                  SIGPLAN Symposium on Principles of Programming
                  Languages},
  series =	 {POPL 2017},
  year =	 2017,
  isbn =	 {978-1-4503-4660-3},
  location =	 {Paris, France},
  pages =	 {859--873},
  numpages =	 15,
  url =		 {http://doi.acm.org/10.1145/3009837.3009867},
  doi =		 {10.1145/3009837.3009867},
  acmid =	 3009867,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {DSLs, Frama-C, LMS, blame, contracts, memory safety,
                  security, verification},
}

@inproceedings{Andreasen:2017:SAI,
  author =	 {Andreasen, Esben Sparre and M{\o}ller, Anders and
                  Nielsen, Benjamin Barslev},
  title =	 {Systematic Approaches for Increasing Soundness and
                  Precision of Static Analyzers},
  booktitle =	 {Proceedings of the 6th ACM SIGPLAN International
                  Workshop on State Of the Art in Program Analysis},
  series =	 {SOAP 2017},
  year =	 2017,
  isbn =	 {978-1-4503-5072-3},
  location =	 {Barcelona, Spain},
  pages =	 {31--36},
  numpages =	 6,
  url =		 {http://doi.acm.org/10.1145/3088515.3088521},
  doi =		 {10.1145/3088515.3088521},
  acmid =	 3088521,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {JavaScript, Soundness, Static Analysis, Testing},
}

@book{Apt:2006:constraint,
  title =	 {Constraint logic programming using {ECLiPSe}},
  author =	 {Apt, Krzysztof R and Wallace, Mark},
  year =	 2006,
  publisher =	 {Cambridge University Press}
}

@Book{ArpaciDusseau14-Book,
  author =	 {Remzi H. Arpaci-Dusseau and Andrea
                  C. Arpaci-Dusseau},
  title =	 "{Operating Systems: Three Easy Pieces}",
  publisher =	 {Arpaci-Dusseau Books},
  month =	 "May",
  year =	 2015,
  edition =	 {0.91},
  url =		 {http://pages.cs.wisc.edu/~remzi/OSTEP/},
}

@TechReport{Asanovic:2006:landscape,
  title =	 {The landscape of parallel computing research: A view
                  from {Berkeley}},
  author =	 {Asanovic, Krste and Bodik, Ras and Catanzaro, Bryan
                  Christopher and Gebis, Joseph James and Husbands,
                  Parry and Keutzer, Kurt and Patterson, David A and
                  Plishker, William Lester and Shalf, John and
                  Williams, Samuel Webb and others},
  year =	 2006,
  url =
                  {https://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-183.pdf},
  institution =	 {University of California at Berkeley},
  publisher =	 {eScholarship, University of California}
}

@Misc{Atkinson:2018:webtabs,
  author =	 {Atkinson, Lukas},
  url =
                  {https://softwareengineering.stackexchange.com/a/378508/40065},
  year =	 2018,
  howpublished =
                  {\href{https://softwareengineering.stackexchange.com/}{\emph{Software
                  Engineering}} forum},
  title =	 {answer to: "{how can a web server know all the tabs
                  served by it..}"}
}


@inproceedings{Attarzadeh:2008:proj-man,
  author =	 {Attarzadeh, Iman and Siew Hock, Ow},
  booktitle =	 {2008 International Symposium on Information
                  Technology},
  title =	 {Project management practices: Success versus
                  failure},
  year =	 2008,
  volume =	 1,
  pages =	 {1-8},
  keywords =	 {Project
                  management;Planning;Lead;Software;Chaos;Music;Estimation},
  doi =		 {10.1109/ITSIM.2008.4631634},
  ISSN =	 {2155-8973},
  month =	 {Aug}
}

@inproceedings{Ayewah:2008:RSS,
  author =	 {Ayewah, Nathaniel and Pugh, William},
  title =	 {A Report on a Survey and Study of Static Analysis
                  Users},
  booktitle =	 {Proceedings of the 2008 Workshop on Defects in Large
                  Software Systems},
  series =	 {DEFECTS '08},
  year =	 2008,
  isbn =	 {978-1-60558-051-7},
  location =	 {Seattle, Washington},
  pages =	 {1--5},
  numpages =	 5,
  url =		 {http://doi.acm.org/10.1145/1390817.1390819},
  doi =		 {10.1145/1390817.1390819},
  acmid =	 1390819,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {FindBugs, Java, bug patterns, bugs, false positives,
                  software defects, software quality, static analysis},
}

@inproceedings{Barry:1992:ASN1,
  title =	 {Abstract syntax notation-one (ASN. 1)},
  author =	 {Barry, PT},
  booktitle =	 {IEE Tutorial Colloquium on Formal Methods and
                  Notations Applicable to Telecommunications},
  pages =	 {2--1},
  year =	 1992,
  organization = {IET}
}

@article{Baudin2002CaveatAT,
  title =	 {Caveat: a tool for software validation},
  author =	 {Patrick Baudin and Anne Pacalet and Jacques
                  Raguideau and Dominique Schoen and Nicky Williams},
  journal =	 {Proceedings International Conference on Dependable
                  Systems and Networks},
  year =	 2002,
  pages =	 {537-}
}

@TechReport{Baudin:2018:ACSL,
  title =	 {{ACSL}: {ANSI/ISO C} Specification Language
                  {(version 1.13)}},
  author =	 {Baudin, Patrick and Cuoq, Pascal and Filliâtre,
                  Jean-Christophe and Marché, Claude and Monate,
                  Benjamin and Moy, Yannick and Prevesto, Virgile},
  url =		 {https://frama-c.com/download/acsl.pdf},
  year =	 2018,
  institution =	 {CEA, INRIA, LRI},
}

@TechReport{Berkes:2018:Vessedia-approach,
  author =	 {Berkes, Balázs and Kellil, Monir and Pariente,
                  Dillon and Everhardt, Gergerly and László, Vendel
                  and Zilio, Nicolas},
  title =	 {{VESSEDIA} approach for security evaluation},
  institution =	 {SLAB},
  year =	 2018,
  url =
                  {https://vessedia.eu/downloads/VESSEDIA_D4.2_approach_security_evaluation_PU_M18.pdf},
  note =	 {deliverable of Vessedia H2020 project, grant
                  agreement No 731453}
}

@article{Bhargavan:DFHPRR17,
  author =	 {Karthikeyan Bhargavan and Antoine Delignat{-}Lavaud
                  and C{\'{e}}dric Fournet and Catalin Hritcu and
                  Jonathan Protzenko and Tahina Ramananandro and Aseem
                  Rastogi and Nikhil Swamy and Peng Wang and Santiago
                  Zanella B{\'{e}}guelin and Jean Karim
                  Zinzindohou{\'{e}}},
  title =	 {Verified Low-Level Programming Embedded in {F}},
  journal =	 {CoRR},
  volume =	 {abs/1703.00053},
  year =	 2017,
  url =		 {http://arxiv.org/abs/1703.00053},
  archivePrefix ={arXiv},
  eprint =	 {1703.00053},
  timestamp =	 {Mon, 13 Aug 2018 16:46:57 +0200},
  biburl =
                  {https://dblp.org/rec/bib/journals/corr/BhargavanDFHPRR17},
  bibsource =	 {dblp computer science bibliography,
                  https://dblp.org}
}

@inproceedings{Binkley:2007:SCA,
  author =	 {Binkley, David},
  title =	 {Source Code Analysis: A Road Map},
  booktitle =	 {2007 Future of Software Engineering},
  series =	 {FOSE '07},
  year =	 2007,
  isbn =	 {0-7695-2829-5},
  pages =	 {104--119},
  numpages =	 16,
  url =		 {https://doi.org/10.1109/FOSE.2007.27},
  doi =		 {10.1109/FOSE.2007.27},
  acmid =	 1254713,
  publisher =	 {IEEE Computer Society},
  address =	 {Washington, DC, USA},
}

@inproceedings{Biswas:2017:VVV,
  author =	 {Biswas, Priyam and Di Federico, Alessandro and Carr,
                  Scott A. and Rajasekaran, Prabhu and Volckaert,
                  Stijn and Na, Yeoul and Franz, Michael and Payer,
                  Mathias},
  title =	 {Venerable Variadic Vulnerabilities Vanquished},
  booktitle =	 {Proceedings of the 26th \textsc{Usenix} Conference
                  on Security Symposium},
  series =	 {SEC'17},
  year =	 2017,
  isbn =	 {978-1-931971-40-9},
  location =	 {Vancouver, BC, Canada},
  pages =	 {183--198},
  numpages =	 16,
  url =		 {http://dl.acm.org/citation.cfm?id=3241189.3241205},
  acmid =	 3241205,
  publisher =	 {USENIX Association},
  address =	 {Berkeley, CA, USA},
}

@article{Bobrow-Winograd:1977:KRL,
  author =	 {Bobrow, Daniel G. and Winograd, Terry},
  title =	 {An Overview of KRL, a Knowledge Representation
                  Language},
  journal =	 {Cognitive Science},
  volume =	 1,
  number =	 1,
  pages =	 {3-46},
  doi =		 {10.1207/s15516709cog0101\_2},
  url =
                  {https://onlinelibrary.wiley.com/doi/abs/10.1207/s15516709cog0101_2},
  eprint =
                  {https://onlinelibrary.wiley.com/doi/pdf/10.1207/s15516709cog0101_2},
  year =	 1977
}

@article{Bordini:2020:agent,
  title =	 {Agent programming in the cognitive era},
  author =	 {Bordini, Rafael H and Seghrouchni, Amal El Fallah
                  and Hindriks, Koen and Logan, Brian and Ricci,
                  Alessandro},
  journal =	 {Autonomous Agents and Multi-Agent Systems},
  volume =	 34,
  year =	 2020,
  publisher =	 {Springer},
  url =
                  {https://link.springer.com/article/10.1007/s10458-020-09453-y}
}

@article{Braun:1956:magical-seven,
  author =	 {Jochen Braun and Christof Koch and Joel L. Davis and
                  George A. Miller},
  title =	 {The Magical Number Seven, Plus or Minus Two: Some
                  Limits on Our Capacity for Processing Information},
  year =	 1956,
  month =	 {March},
  journal =	 {Psychological Review},
  volume =	 63,
  number =	 2,
}

@article{Brooks:1987:NSB,
  author =	 {Brooks,Jr., Frederick P.},
  title =	 {No Silver Bullet - Essence and Accidents of Software
                  Engineering},
  journal =	 {Computer},
  issue_date =	 {April 1987},
  volume =	 20,
  number =	 4,
  month =	 apr,
  year =	 1987,
  issn =	 {0018-9162},
  pages =	 {10--19},
  numpages =	 10,
  url =		 {https://doi.org/10.1109/MC.1987.1663532},
  doi =		 {10.1109/MC.1987.1663532},
  acmid =	 26441,
  publisher =	 {IEEE Computer Society Press},
  address =	 {Los Alamitos, CA, USA},
}

@book{Brooks:1995:MM,
  author =	 {Brooks,Jr., Frederick P.},
  title =	 {The Mythical Man-month (Anniversary Ed.)},
  year =	 1995,
  isbn =	 {0-201-83595-9},
  publisher =	 {Addison-Wesley Longman Publishing Co., Inc.},
  address =	 {Boston, MA, USA},
}

@book{C11:std,
  title =	 {C11 Standard},
  keywords =	 {C,book.computers,ebook},
  author =	 {ISO},
  note =	 {ISO/IEC 9899:2011},
  url =
                  {http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf},
  year =	 2011,
}

@inproceedings{Canet:2009:VAC:1637859.1638012,
  author =	 {Canet, G{\'e}raud and Cuoq, Pascal and Monate,
                  Benjamin},
  title =	 {A Value Analysis for C Programs},
  booktitle =	 {Proceedings of the 2009 Ninth IEEE International
                  Working Conference on Source Code Analysis and
                  Manipulation},
  series =	 {SCAM '09},
  year =	 2009,
  isbn =	 {978-0-7695-3793-1},
  pages =	 {123--124},
  numpages =	 2,
  url =		 {http://dx.doi.org/10.1109/SCAM.2009.22},
  doi =		 {10.1109/SCAM.2009.22},
  acmid =	 1638012,
  publisher =	 {IEEE Computer Society},
  address =	 {Washington, DC, USA},
  keywords =	 {tool demo, static analysis, abstract interpretation,
                  C, software verification},
}

@inproceedings{Carpent:2018:RRA,
  author =	 {Carpent, Xavier and Eldefrawy, Karim and
                  Rattanavipanon, Norrathep and Sadeghi, Ahmad-Reza
                  and Tsudik, Gene},
  title =	 {Reconciling Remote Attestation and Safety-critical
                  Operation on Simple IoT Devices},
  booktitle =	 {Proceedings of the 55\textsuperscript{th} Annual
                  Design Automation Conference},
  series =	 {DAC '18},
  year =	 2018,
  isbn =	 {978-1-4503-5700-5},
  location =	 {San Francisco, California},
  pages =	 {90:1--90:6},
  articleno =	 90,
  numpages =	 6,
  url =		 {http://doi.acm.org/10.1145/3195970.3199853},
  doi =		 {10.1145/3195970.3199853},
  acmid =	 3199853,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}

@inproceedings{Celik2018ProgramAO,
  title =	 {Program Analysis of Commodity {IoT} Applications for
                  Security and Privacy: Challenges and Opportunities},
  author =	 {Z. Berkay Celik and Earlence Fernandes and Eric
                  Pauley and Gang Tan and Patrick D. McDaniel},
  url =		 {https://arxiv.org/abs/1809.06962},
  year =	 2018
}

@inproceedings{Celik:2018:SOTERIA,
  author =	 {Celik, Z. Berkay and McDaniel, Patrick and Tan,
                  Gang},
  title =	 {{SOTERIA:} Automated IoT Safety and Security
                  Analysis},
  booktitle =	 {Proceedings of the 2018 USENIX Conference on Usenix
                  Annual Technical Conference},
  series =	 {USENIX ATC '18},
  year =	 2018,
  isbn =	 {978-1-931971-44-7},
  location =	 {Boston, MA, USA},
  pages =	 {147--158},
  numpages =	 12,
  url =		 {http://dl.acm.org/citation.cfm?id=3277355.3277370},
  acmid =	 3277370,
  publisher =	 {USENIX Association},
  address =	 {Berkeley, CA, USA},
}

@article{Cerf:2005:protocol,
  title =	 {A protocol for packet network intercommunication},
  author =	 {Cerf, Vinton G and Icahn, Robert E},
  journal =	 {ACM SIGCOMM Computer Communication Review},
  volume =	 35,
  number =	 2,
  pages =	 {71--82},
  year =	 2005,
  publisher =	 {ACM New York, NY, USA}
}

@article{Chaitin:1981:regalloc,
  title =	 "Register allocation via coloring",
  journal =	 "Computer Languages",
  volume =	 6,
  number =	 1,
  pages =	 "47 - 57",
  year =	 1981,
  issn =	 "0096-0551",
  doi =		 "https://doi.org/10.1016/0096-0551(81)90048-5",
  url =
                  "http://www.sciencedirect.com/science/article/pii/0096055181900485",
  author =	 "Gregory J. Chaitin and Marc A. Auslander and Ashok
                  K. Chandra and John Cocke and Martin E. Hopkins and
                  Peter W. Markstein",
  keywords =	 "Register allocation, Optimizing compilers, Graph
                  coloring",
  abstract =	 "Register allocation may be viewed as a graph
                  coloring problem. Each node in the graph stands for
                  a computed quantity that resides in a machine
                  register, and two nodes are connected by an edge if
                  the quantities interfere with each other, that is,
                  if they are simultaneously live at some point in the
                  object program. This approach, though mentioned in
                  the literature, was never implemented
                  before. Preliminary results of an experimental
                  implementation in a PL/I optimizing compiler suggest
                  that global register allocation approaching that of
                  hand-coded assembly language may be attainable."
}

@article{Chakkaravarthy:2019:malware-analysis,
  title =	 "A Survey on malware analysis and mitigation
                  techniques",
  journal =	 "Computer Science Review",
  volume =	 32,
  pages =	 "1 - 23",
  year =	 2019,
  issn =	 "1574-0137",
  doi =		 "https://doi.org/10.1016/j.cosrev.2019.01.002",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S1574013718301114",
  author =	 "S. Sibi Chakkaravarthy and D. Sangeetha and
                  V. Vaidehi",
  keywords =	 "Evasion, Malware, Malware analysis, Packers,
                  Sandboxes, Advanced persistent threats"
}

@article{Chazal:2017:topodatanalys,
  author =	 {{Chazal}, Fr{\'e}d{\'e}ric and {Michel}, Bertrand},
  title =	 "{An introduction to Topological Data Analysis:
                  fundamental and practical aspects for data
                  scientists}",
  journal =	 {arXiv e-prints},
  keywords =	 {Mathematics - Statistics Theory, Computer Science -
                  Machine Learning, Mathematics - Algebraic Topology,
                  Statistics - Machine Learning},
  year =	 2017,
  month =	 "Oct",
  eid =		 {arXiv:1710.04019},
  pages =	 {arXiv:1710.04019},
  archivePrefix ={arXiv},
  eprint =	 {1710.04019},
  primaryClass = {math.ST},
  url =
                  {https://ui.adsabs.harvard.edu/abs/2017arXiv171004019C},
  adsnote =	 {Provided by the SAO/NASA Astrophysics Data System}
}

@inproceedings{Chen:2011:DAS,
  author =	 {Chen, Chao and Helal, Sumi},
  title =	 {A Device-centric Approach to a Safer Internet of
                  Things},
  booktitle =	 {Proceedings of the 2011 International Workshop on
                  Networking and Object Memories for the Internet of
                  Things},
  series =	 {NoME-IoT '11},
  year =	 2011,
  isbn =	 {978-1-4503-0929-5},
  location =	 {Beijing, China},
  pages =	 {1--6},
  numpages =	 6,
  url =		 {http://doi.acm.org/10.1145/2029932.2029934},
  doi =		 {10.1145/2029932.2029934},
  acmid =	 2029934,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {device description, device taxonomy, internet of
                  things, pervasive computing, safety, safety
                  ontology},
}

@article{Cheney:1970:CopyingGc,
  author =	 {Cheney, C. J.},
  title =	 {A Nonrecursive List Compacting Algorithm},
  journal =	 {Commun. ACM},
  issue_date =	 {Nov 1970},
  volume =	 13,
  number =	 11,
  month =	 nov,
  year =	 1970,
  issn =	 {0001-0782},
  pages =	 {677--678},
  numpages =	 2,
  url =		 {http://doi.acm.org/10.1145/362790.362798},
  doi =		 {10.1145/362790.362798},
  acmid =	 362798,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {LISP, compact list, garbage collection, list
                  compacting},
}

@book{Chowdhary:2020:fundamentals-AI,
  title={Fundamentals of Artificial Intelligence},
  author={Chowdhary, K.R.},
  url={https://books.google.fr/books?id=8SfbDwAAQBAJ},
  year={2020},
  publisher={Springer},
  doi = {10.1007/978-81-322-3972-7},
  isbn={978-81-322-3970-3}
}

@Book{Christian:2017:algorithms,
  author =	 {Christian, Brian and Griffiths, Tom},
  title =	 {Algorithms to Live By: The Computer Science of Human
                  Decisions},
  publisher =	 {Picador},
  year =	 2017,
  url =		 {http://algorithmstoliveby.com/},
  isbn =	 {978-1627790369}
}

@book{Cormen:2009:Intro-algo,
  author =	 {Cormen, Thomas H. and Leiserson, Charles E. and
                  Rivest, Ronald L. and Stein, Clifford},
  title =	 {Introduction to Algorithms},
  year =	 2009,
  isbn =	 {0262033844, 9780262033848},
  edition =	 {3rd},
  publisher =	 {The MIT Press},
}

@inproceedings{Cousot:2014:AIP,
  author =	 {Cousot, Patrick and Cousot, Radhia},
  title =	 {Abstract Interpretation: Past, Present and Future},
  booktitle =	 {Proceedings of the Joint Meeting of the Twenty-Third
                  EACSL Annual Conference on Computer Science Logic
                  (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium
                  on Logic in Computer Science (LICS)},
  series =	 {CSL-LICS '14},
  year =	 2014,
  isbn =	 {978-1-4503-2886-9},
  location =	 {Vienna, Austria},
  pages =	 {2:1--2:10},
  articleno =	 2,
  numpages =	 10,
  url =		 {http://doi.acm.org/10.1145/2603088.2603165},
  doi =		 {10.1145/2603088.2603165},
  acmid =	 2603165,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {abstract interpretation, proof, semantics, static
                  analysis, verification},
}

@inproceedings{CousotCousot77-1,
  author =	 {Cousot, P{.} and Cousot, R{.}},
  title =	 {Abstract interpretation: a unified lattice model for
                  static analysis of programs by construction or
                  approximation of fixpoints},
  pages =	 {238--252},
  booktitle =	 {Conference Record of the Fourth Annual ACM
                  SIGPLAN-SIGACT Symposium on Principles of
                  Programming Languages},
  address =	 {Los Angeles, California},
  publisher =	 {ACM Press, New York, NY},
  year =	 1977,
}

@book{CplusPlus11:std,
  title =	 {C++11 Standard},
  keywords =	 {C,book.computers,ebook},
  author =	 {ISO},
  note =	 {ISO/IEC 9899:2011},
  url =
                  {https://github.com/cplusplus/draft/blob/master/papers/n3337.pdf},
  year =	 2011,
}

@inproceedings{Cuoq:2012:Frama-C,
  author =	 {Cuoq, Pascal and Kirchner, Florent and Kosmatov,
                  Nikolai and Prevosto, Virgile and Signoles, Julien
                  and Yakobowski, Boris},
  title =	 {{Frama-C}: A Software Analysis Perspective},
  booktitle =	 {Proceedings of the 10\textsuperscript{th}
                  International Conference on Software Engineering and
                  Formal Methods},
  series =	 {SEFM'12},
  year =	 2012,
  isbn =	 {978-3-642-33825-0},
  location =	 {Thessaloniki, Greece},
  pages =	 {233--247},
  numpages =	 15,
  url =		 {http://dx.doi.org/10.1007/978-3-642-33826-7_16},
  doi =		 {10.1007/978-3-642-33826-7_16},
  acmid =	 2404250,
  publisher =	 {Springer-Verlag},
  address =	 {Berlin, Heidelberg},
}

@book{Date:2005:Database-in-Depth,
  author =	 {Date, C. J.},
  title =	 {Database in Depth: Relational Theory for
                  Practitioners},
  year =	 2005,
  isbn =	 0596100124,
  publisher =	 {O'Reilly Media, Inc.},
}

@book{Date:2011:SQL-relth,
  author =	 {Date, C. J.},
  title =	 {SQL and Relational Theory: How to Write Accurate SQL
                  Code},
  year =	 2011,
  isbn =	 {1449316409, 9781449316402},
  publisher =	 {O'Reilly Media, Inc.},
}

@article{DeNicola:2009:OntologyBuilding,
  title =	 "A software engineering approach to ontology
                  building",
  journal =	 "Information Systems",
  volume =	 34,
  number =	 2,
  pages =	 "258 - 275",
  year =	 2009,
  issn =	 "0306-4379",
  doi =		 "https://doi.org/10.1016/j.is.2008.07.002",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S0306437908000628",
  author =	 "Antonio De Nicola and Michele Missikoff and Roberto
                  Navigli",
  keywords =	 "Ontology building, Knowledge representation
                  formalism, Knowledge representation method",
  abstract =	 "Ontologies are the backbone of the Semantic Web, a
                  semantic-aware version of the World Wide Web. The
                  availability of large-scale high quality domain
                  ontologies depends on effective and usable
                  methodologies aimed at supporting the crucial
                  process of ontology building. Ontology building
                  exhibits a structural and logical complexity that is
                  comparable to the production of software
                  artefacts. This paper proposes an ontology building
                  methodology that capitalizes the large experience
                  drawn from a widely used standard in software
                  engineering: the Unified Software Development
                  Process or Unified Process (UP). In particular, we
                  propose UP for ONtology (UPON) building, a
                  methodology for ontology building derived from the
                  UP. UPON is presented with the support of a
                  practical example in the eBusiness domain. A
                  comparative evaluation with other methodologies and
                  the results of its adoption in the context of the
                  Athena EU Integrated Project are also discussed."
}

@phdthesis{Dean:2009:visual,
  title =	 {The Visual Development of {GCC} Plug-ins with {GDE}},
  author =	 {Dean, Daniel Joseph},
  year =	 2009,
  school =	 {The Graduate School, Stony Brook University: Stony
                  Brook, NY.}
}

@article{Dearle-2010-orthopersist,
  author =	 {Alan Dearle and Graham N. C. Kirby and Ronald
                  Morrison},
  title =	 {Orthogonal Persistence Revisited},
  journal =	 {CoRR},
  volume =	 {abs/1006.3448},
  year =	 2010,
  url =		 {http://arxiv.org/abs/1006.3448},
  archivePrefix ={arXiv},
  eprint =	 {1006.3448},
  biburl =
                  {https://dblp.org/rec/bib/journals/corr/abs-1006-3448},
  bibsource =	 {dblp computer science bibliography,
                  https://dblp.org}
}

@inproceedings{Dearle:2009:OrthogonalPR,
  title =	 {Orthogonal Persistence Revisited},
  author =	 {Alan Dearle and Graham N. C. Kirby and Ronald
                  Morrison},
  booktitle =	 {ICOODB},
  publisher =	 {LNCS 5936},
  url =		 "https://doi.org/10.1007/978-3-642-14681-7_1",
  year =	 2009
}

@inproceedings{Delahaye:2013:CSL,
  author =	 {Delahaye, Mickaël and Kosmatov, Nikolai and
                  Signoles, Julien},
  title =	 {Common Specification Language for Static and Dynamic
                  Analysis of {C} Programs},
  booktitle =	 {Proceedings of the 28\textsuperscript{th} Annual ACM
                  Symposium on Applied Computing},
  series =	 {SAC '13},
  year =	 2013,
  isbn =	 {978-1-4503-1656-9},
  location =	 {Coimbra, Portugal},
  pages =	 {1230--1235},
  numpages =	 6,
  url =		 {http://doi.acm.org/10.1145/2480362.2480593},
  doi =		 {10.1145/2480362.2480593},
  acmid =	 2480593,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}

@article{Deporre:2020:CScript,
  title =	 {CScript: A distributed programming language for
                  building mixed-consistency applications},
  journal =	 {Journal of Parallel and Distributed Computing},
  volume =	 144,
  pages =	 "109 - 123",
  year =	 2020,
  issn =	 "0743-7315",
  doi =		 "https://doi.org/10.1016/j.jpdc.2020.05.010",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S0743731520302896",
  author =	 {Kevin {De Porre} and Florian Myter and Christophe
                  Scholliers and Elisa {Gonzalez Boix}},
  keywords =	 "Distribution, Consistency models, Replicated data
                  types",
  abstract =	 "Current programming models only provide abstractions
                  for sharing data under a homogeneous consistency
                  model. It is, however, not uncommon for a
                  distributed application to provide strong
                  consistency for one part of the shared data and
                  eventual consistency for another part. Because
                  mixing consistency models is not supported by
                  current programming models, writing such
                  applications is extremely difficult. In this paper
                  we propose CScript, a distributed object-oriented
                  programming language with built-in support for data
                  replication. At its core are consistent and
                  available replicated objects. CScript regulates the
                  interactions between these objects to avoid subtle
                  inconsistencies that arise when mixing consistency
                  models. Our evaluation compares a collaborative text
                  editor built atop CScript with a state-of-the-art
                  implementation. The results show that our approach
                  is flexible and more memory efficient."
}

@Book{DiCosmo:1998:Holdup,
  author =	 {Di Cosmo, Roberto and Nora, Dominique},
  title =	 {Le Hold-up Planétaire: la face cachée de MicroSoft
                  {\small [the planetary hold-up: the hidden face of
                  MicroSoft]}},
  publisher =	 {Calman-Levy},
  year =	 1998,
  isbn =	 {2-7021-2923-4},
  url =		 {http://www.dicosmo.org/HoldUp/},
  note =	 {{\small [French book, out of print, but
                  downloadable]}}
}

@inproceedings{Doucet:2003:introspection,
  author =	 {Doucet, Frederic and Shukla, Sandeep and Gupta,
                  Rajesh},
  title =	 {Introspection in System-Level Language Frameworks:
                  Meta-Level vs. Integrated},
  booktitle =	 {Proceedings of the Conference on Design, Automation
                  and Test in Europe - Volume 1},
  series =	 {DATE '03},
  year =	 2003,
  isbn =	 {0-7695-1870-2},
  url =		 {http://dl.acm.org/citation.cfm?id=789083.1022756},
  acmid =	 1022756,
  publisher =	 {IEEE Computer Society},
  address =	 {Washington, DC, USA},
}

@TechReport{Drepper:2011:sharedlib,
  author =	 {Drepper, Ulrich},
  title =	 {How To Write Shared Libraries},
  institution =	 {Intel?},
  year =	 2011,
  url =
                  {https://software.intel.com/sites/default/files/m/a/1/e/dsohowto.pdf},
  month =	 {December}
}

@article{FITZ:2019:metamodel-cyberphysys,
  title =	 "A metamodel for cyber-physical systems",
  journal =	 "Advanced Engineering Informatics",
  volume =	 41,
  pages =	 100930,
  year =	 2019,
  issn =	 "1474-0346",
  doi =		 "https://doi.org/10.1016/j.aei.2019.100930",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S1474034618306803",
  author =	 "Theresa Fitz and Michael Theiler and Kay Smarsly",
  keywords =	 "Cyber-physical systems, Structural health monitoring
                  (SHM), Wireless sensor networks, Metamodeling,
                  Semantic modeling, Building information modeling
                  (BIM), Industry Foundation Classes (IFC)",
}

@article{Futamura:1999:PartialEval,
  author =	 {Futamura, Yoshihiko},
  title =	 {Partial Evaluation of Computation Process - An
                  Approach to a Compiler-Compiler},
  journal =	 {Higher Order Symbol. Comput.},
  issue_date =	 {December 1999},
  volume =	 12,
  number =	 4,
  month =	 dec,
  year =	 1999,
  issn =	 {1388-3690},
  pages =	 {381--391},
  numpages =	 11,
  url =		 {https://doi.org/10.1023/A:1010095604496},
  doi =		 {10.1023/A:1010095604496},
  acmid =	 609205,
  publisher =	 {Kluwer Academic Publishers},
  address =	 {Hingham, MA, USA},
  keywords =	 {Futamura projections, compiler, interpreter, partial
                  evaluation, program transformation},
}

@book{Gabbay:2013:handbook,
  title =	 {Handbook of defeasible reasoning and uncertainty
                  management systems: algorithms for uncertainty and
                  defeasible reasoning},
  author =	 {Gabbay, Dov M and Smets, Philippe},
  volume =	 5,
  year =	 2013,
  isbn =	 {0-7923-6672-7},
  publisher =	 {Springer Science \& Business Media}
}

@article{Garcia-Silva:2021:impact-kbannot,
  title =	 {On the impact of knowledge-based linguistic
                  annotations in the quality of scientific embeddings},
  journal =	 {Future Generation Computer Systems},
  volume =	 120,
  pages =	 {26-35},
  year =	 2021,
  issn =	 {0167-739X},
  doi =		 {https://doi.org/10.1016/j.future.2021.02.019},
  url =
                  {https://www.sciencedirect.com/science/article/pii/S0167739X21000716},
  author =	 {Andres Garcia-Silva and Ronald Denaux and Jose
                  Manuel Gomez-Perez},
  keywords =	 {Natural language processing, Linguistic analysis,
                  Knowledge graphs, Embeddings},
  abstract =	 {In essence, embedding algorithms work by optimizing
                  the distance between a word and its usual context in
                  order to generate an embedding space that encodes
                  the distributional representation of words. In
                  addition to single words or word pieces, other
                  features which result from the linguistic analysis
                  of text, including lexical, grammatical and semantic
                  information, can be used to improve the quality of
                  embedding spaces. However, until now we did not have
                  a precise understanding of the impact that such
                  individual annotations and their possible
                  combinations may have in the quality of the
                  embeddings. In this paper, we conduct a
                  comprehensive study on the use of explicit
                  linguistic annotations to generate embeddings from a
                  scientific corpus and quantify their impact in the
                  resulting representations. Our results show how the
                  effect of such annotations in the embeddings varies
                  depending on the evaluation task. In general, we
                  observe that learning embeddings using linguistic
                  annotations contributes to achieve better evaluation
                  results.}
}

@Book{Goldberg:1983:Smalltalk,
  author =	 {Goldberg, Adele and Robson, David},
  title =	 {Smalltalk-80: The Language and Its Implementation},
  year =	 1983,
  isbn =	 {0-201-11371-6},
  publisher =	 {Addison-Wesley Longman Publishing Co., Inc.},
  address =	 {Boston, MA, USA},
}

@inproceedings{Gomes2009AnOO,
  title =	 {An overview on the Static Code Analysis approach in
                  Software Development},
  author =	 {I Gomes and Pedro Morgado and Tiago Gomes and
                  Rodrigo Bossini Tavares Moreira},
  url =
                  {https://www.semanticscholar.org/paper/An-overview-on-the-Static-Code-Analysis-approach-in-Gomes-Morgado/ce3c584c906eea668954f6a1a0ddbb295c6ec5a2},
  year =	 2009
}

@article{GosevaPopstojanova2015OnTC,
  title =	 {On the capability of static code analysis to detect
                  security vulnerabilities},
  author =	 {Katerina Goseva-Popstojanova and Andrei Perhinschi},
  journal =	 {Information and Software Technology},
  year =	 2015,
  volume =	 68,
  pages =	 {18-33}
}

@InProceedings{Graunke:2003:ModelingWeb,
  author =	 {Graunke, Paul and Findler, Robert Bruce and
                  Krishnamurthi, Shriram and Felleisen, Matthias},
  editor =	 "Degano, Pierpaolo",
  title =	 "Modeling Web Interactions",
  booktitle =	 "Programming Languages and Systems",
  year =	 2003,
  publisher =	 "Springer Berlin Heidelberg",
  address =	 "Berlin, Heidelberg",
  pages =	 "238--252",
  abstract =	 "Programmers confront a minefield when they design
                  interactive Web programs. Web interactions take
                  place via Web browsers. With browsers, consumers can
                  whimsically navigate among the various stages of a
                  dialog and can thus confuse the most sophisticated
                  corporate Web sites. In turn,Web services can fault
                  in frustrating and inexplicable ways. The quickening
                  transition from Web scripts toWeb services lends
                  these problems immediacy.",
  isbn =	 "978-3-540-36575-4"
}

@inproceedings{Greenaway:2014:DSS,
  author =	 {Greenaway, David and Lim, Japheth and Andronick,
                  June and Klein, Gerwin},
  title =	 {Don'T Sweat the Small Stuff: Formal Verification of
                  {C} Code Without the Pain},
  booktitle =	 {Proceedings of the 35\textsuperscript{th} ACM
                  SIGPLAN Conference on Programming Language Design
                  and Implementation},
  series =	 {PLDI '14},
  year =	 2014,
  isbn =	 {978-1-4503-2784-8},
  location =	 {Edinburgh, United Kingdom},
  pages =	 {429--439},
  numpages =	 11,
  url =		 {http://doi.acm.org/10.1145/2594291.2594296},
  doi =		 {10.1145/2594291.2594296},
  acmid =	 2594296,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {C verification, Isabelle/HOL},
}

@article{Hakuk:2020:Automatic-discovery,
  title =	 "Automated discovery of scientific concepts:
                  Replicating three recent discoveries in mechanics",
  journal =	 "Advanced Engineering Informatics",
  volume =	 44,
  pages =	 101080,
  year =	 2020,
  issn =	 "1474-0346",
  doi =		 "https://doi.org/10.1016/j.aei.2020.101080",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S1474034620300495",
  author =	 {Yaron Hakuk and Yoram Reich},
  keywords =	 "Interdisciplinary engineering knowledge genome,
                  Knowledge discovery, Scientific discovery, Truss
                  mechanism duality, Knowledge-based discovery"
}

@article{Han:2021:trust-intelligent-machines,
  title =	 {When to (or not to) trust intelligent machines:
                  Insights from an evolutionary game theory analysis
                  of trust in repeated games},
  journal =	 {Cognitive Systems Research},
  year =	 2021,
  issn =	 {1389-0417},
  doi =		 {https://doi.org/10.1016/j.cogsys.2021.02.003},
  url =
                  {https://www.sciencedirect.com/science/article/pii/S138904172100022X},
  author =	 {The Anh Han and Cedric Perret and Simon T. Powers},
  keywords =	 {Trust, evolutionary game theory, intelligent agents,
                  cooperation, prisoner’s dilemma, repeated games},
  abstract =	 {The actions of intelligent agents, such as chatbots,
                  recommender systems, and virtual assistants are
                  typically not fully transparent to the
                  user. Consequently, users take the risk that such
                  agents act in ways opposed to the users’ preferences
                  or goals. It is often argued that people use trust
                  as a cognitive shortcut to reduce the complexity of
                  such interactions. Here we formalise this by using
                  the methods of evolutionary game theory to study the
                  viability of trust-based strategies in repeated
                  games. These are reciprocal strategies that
                  cooperate as long as the other player is observed to
                  be cooperating. Unlike classic reciprocal
                  strategies, once mutual cooperation has been
                  observed for a threshold number of rounds they stop
                  checking their co-player’s behaviour every round,
                  and instead only check it with some probability. By
                  doing so, they reduce the opportunity cost of
                  verifying whether the action of their co-player was
                  actually cooperative.  We demonstrate that these
                  trust-based strategies can outcompete strategies
                  that are always conditional, such as Tit-for-Tat,
                  when the opportunity cost is non-negligible. We
                  argue that this cost is likely to be greater when
                  the interaction is between people and intelligent
                  agents, because of the reduced transparency of the
                  agent. Consequently, we expect people to use
                  trust-based strategies more frequently in
                  interactions with intelligent agents. Our results
                  provide new, important insights into the design of
                  mechanisms for facilitating interactions between
                  humans and intelligent agents, where trust is an
                  essential factor.}
}

@book{Harrison:2009:handbook-logic-automated-reasoning,
  title =	 {Handbook of practical logic and automated reasoning},
  author =	 {Harrison, John},
  year =	 2009,
  isbn =	 {978-0-521-89957-4},
  publisher =	 {Cambridge University Press},
  numpages =	 681
}

@Article{Heder:2017:TRL,
  author =	 {Héder, Mihály},
  title =	 {From {NASA} to {EU}: the evolution of the {TRL}
                  scale in Public Sector Innovation},
  journal =	 {Innovation Journal},
  year =	 2017,
  url =		 {https://core.ac.uk/download/pdf/94310086.pdf},
  volume =	 22,
  number =	 2,
  pages =	 {1-23}
}

@Book{Hofstadter:1979:GEB,
  author =	 {Hofstadter, Douglas R.},
  title =	 {Gödel, Escher, Bach: An Eternal Golden Braid},
  year =	 1979,
  isbn =	 0465026850,
  publisher =	 {Basic Books, Inc.},
  address =	 {New York, NY, USA},
}

@Article{Holzmann:2006:power-of-10,
  author =	 {G. J. {Holzmann}},
  journal =	 {Computer},
  title =	 {The power of 10: rules for developing
                  safety-critical code},
  year =	 2006,
  volume =	 39,
  number =	 6,
  pages =	 {95-99},
  url =		 {https://ieeexplore.ieee.org/document/1642624}
}

@book{Huang:2019:deep-learning,
  title =	 {Deep Learning: Fundamentals, Theory and
                  Applications},
  author =	 {Huang, Kaizhu and Hussain, Amir and Wang, Qiu-Feng
                  and Zhang, Rui},
  volume =	 2,
  year =	 2019,
  publisher =	 {Springer},
  isbn =	 {978-3-030-06072-5}
}

@article{Iacca:2021:Jaya-optim,
  title =	 {An improved Jaya optimization algorithm with Lévy
                  flight},
  journal =	 {Expert Systems with Applications},
  volume =	 165,
  pages =	 113902,
  year =	 2021,
  issn =	 "0957-4174",
  doi =		 "https://doi.org/10.1016/j.eswa.2020.113902",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S0957417420306989",
  author =	 {Giovanni Iacca and Vlademir Celso {dos Santos
                  Junior} and Vinícius {Veloso de Melo}},
  keywords =	 "Continuous optimization, Swarm intelligence, Jaya,
                  Lévy flight",
  abstract =	 "Recent advances in metaheuristics have shown the
                  advantages of using the Lévy distribution, which
                  models a kind of random walk (named “Lévy flight”)
                  with occasional “big” steps. This characteristic
                  makes Lévy flight especially useful for performing
                  large “jumps” that allow the search to escape from a
                  local optimum and restart in a different region of
                  the search space. In this paper, we investigate this
                  idea by applying Lévy flight to Jaya, a simple yet
                  effective Swarm Intelligence optimization algorithm
                  recently proposed in the literature. We perform
                  experiments on the CEC 2014 benchmark as well as
                  five industrial optimization problems taken from the
                  CEC 2011 benchmark, and compare the performance of
                  the proposed Lévy flight Jaya Algorithm (LJA)
                  against several state-of-the-art algorithms for
                  continuous optimization. Our numerical results show
                  that, although both Jaya and LJA are in general less
                  efficient than the most advanced algorithms on the
                  CEC 2014 benchmark, LJA largely outperforms the
                  original Jaya algorithm in most cases, and is also
                  highly competitive on the tested industrial
                  problems."
}

@TechReport{Jacobs:1992:Centaur,
  author =	 {Jacobs, Ian and Rideau-Gallot, Laurence},
  title =	 {a {\textsc{Centaur}} Tutorial},
  institution =	 {\textsc{Inria} Sophia-Antipolis},
  year =	 1992,
  number =	 {RT-140},
  month =	 {july},
  url =		 {ftp://www.inria.fr/pub/rapports/RT-140.ps}
}

@article{Jhala:2009:SMC,
  author =	 {Jhala, Ranjit and Majumdar, Rupak},
  title =	 {Software Model Checking},
  journal =	 {ACM Comput. Surv.},
  issue_date =	 {October 2009},
  volume =	 41,
  number =	 4,
  month =	 oct,
  year =	 2009,
  issn =	 {0360-0300},
  pages =	 {21:1--21:54},
  articleno =	 21,
  numpages =	 54,
  url =		 {http://doi.acm.org/10.1145/1592434.1592438},
  doi =		 {10.1145/1592434.1592438},
  acmid =	 1592438,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {Software model checking, abstraction,
                  counterexample-guided refinement, enumerative and
                  symbolic model checking, liveness, safety},
}

@article{Jia:2020:rule-based-surrogate-model,
  title =	 "A rule-based method for automated surrogate model
                  selection",
  journal =	 "Advanced Engineering Informatics",
  volume =	 45,
  year =	 2020,
  pages =	 "101-123",
  issn =	 "1474-0346",
  doi =		 "https://doi.org/10.1016/j.aei.2020.101123",
  author =	 {Liangyue, Jia and Reza, Alizadeh and Jia, Hao and
                  Guoxin, Wang and Allen, Janet K. and Mistree,
                  Farrokh},
  url =
                  "http://www.sciencedirect.com/science/article/pii/S1474034620300926"
}

@Book{Jones:2016:GC-handbook,
  author =	 {Jones, Richard and Hosking, Antony and Moss, Eliot},
  title =	 {The Garbage Collection Handbook: The Art of
                  Automatic Memory Management},
  year =	 2016,
  isbn =	 {{\small 1420082795, 9781420082791}},
  edition =	 {2\textsuperscript{nd}},
  publisher =	 {Chapman \& Hall/CRC},
  url =		 {http://gchandbook.org/}
}

@article{KUMAR:2019:cloud-security,
  title =	 "On cloud security requirements, threats,
                  vulnerabilities and countermeasures: A survey",
  journal =	 "Computer Science Review",
  volume =	 33,
  pages =	 "1 - 48",
  year =	 2019,
  issn =	 "1574-0137",
  doi =		 "https://doi.org/10.1016/j.cosrev.2019.05.002",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S1574013718302065",
  author =	 "Rakesh Kumar and Rinkaj Goyal",
  keywords =	 "Cloud computing, Security in cloud, Cloud security
                  trust model, Cloud security challenges, Cloud
                  security requirements threats vulnerabilities
                  countermeasures"
}

@Book{Kernighan:1988:CPL,
  author =	 {Kernighan, Brian W. and Ritchie, Dennis M.},
  title =	 {The {C} Programming Language},
  year =	 1988,
  isbn =	 0131103709,
  edition =	 {2\textsuperscript{nd}},
  publisher =	 {Prentice Hall Professional Technical Reference},
}

@Book{Kerrisk:2010:LinuxProgramming,
  author =	 {Kerrisk, Michael},
  title =	 {The Linux Programming Interface: A Linux and {UNIX}
                  System Programming Handbook},
  year =	 2010,
  isbn =	 {1593272200, 9781593272203},
  edition =	 {1st},
  publisher =	 {No Starch Press},
  address =	 {San Francisco, CA, USA},
}

@article{Khalilian:2021:CGenProg,
  title =	 {{CGenProg}: Adaptation of cartesian genetic
                  programming with migration and opposite guesses for
                  automatic repair of software regression faults},
  journal =	 {Expert Systems with Applications},
  volume =	 169,
  pages =	 114503,
  year =	 2021,
  issn =	 "0957-4174",
  doi =		 "https://doi.org/10.1016/j.eswa.2020.114503",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S0957417420311477",
  author =	 {Alireza Khalilian and Ahmad Baraani-Dastjerdi and
                  Bahman Zamani},
  keywords =	 {Software regression testing, Cartesian genetic
                  programming, Automatic program repair,
                  Opposition-based learning, Biogeography-based
                  optimization}
}

@article{Khan:2016-GSEPIM,
  author =	 {Khan, Arif Ali and Keung, Jacky and Niazi, Mahmood
                  and Hussain, Shahid and Shameem, Mohammad},
  title =	 {GSEPIM: A roadmap for software process assessment
                  and improvement in the domain of global software
                  development},
  journal =	 {Journal of Software: Evolution and Process},
  volume =	 31,
  number =	 1,
  keywords =	 {global software development, GSEPIM, software
                  process improvement, SPI challenges, systematic
                  literature review},
  doi =		 {10.1002/smr.1988},
  url =
                  {https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.1988},
  eprint =
                  {https://onlinelibrary.wiley.com/doi/pdf/10.1002/smr.1988},
  note =	 {e1988 JSME-18-0098.R1},
  abstract =	 {Abstract Software development firms have begun
                  adopting the practice of global software development
                  (GSD). The main reason for the shift toward
                  globalization is the various benefits received by
                  software development firms. However, there are
                  several issues faced by GSD organizations,
                  particularly those associated with software process
                  improvement (SPI). It has been noticed that a formal
                  process improvement approach could assist in
                  successfully executing development activities in
                  GSD. The core objective of this research work is to
                  develop a global software engineering process
                  improvement model (GSEPIM) to assess and improve
                  software process activities in a GSD
                  environment. The proposed model will be developed
                  based on existing models in other domains, an
                  empirical study conducted with GSD practitioners,
                  and an understanding of critical success factors and
                  challenges of SPI. In this study, the first step in
                  the development of GSEPIM is completed by
                  identifying the challenges of SPI in GSD and
                  presenting a solution in the form of a robust
                  framework.},
  year =	 2019
}

@article{Khandal:2014:lifi,
  title =	 {Li-fi (light fidelity): The future technology in
                  wireless communication},
  author =	 {Khandal, Dinesh and Jain, Sakshi},
  journal =	 {International Journal of Information \& Computation
                  Technology},
  volume =	 4,
  number =	 16,
  pages =	 {1--7},
  year =	 2014
}

@inproceedings{Kiss:2015:combining,
  title =	 {Combining static and dynamic analyses for
                  vulnerability detection: illustration on
                  \textsc{Heartbleed}},
  author =	 {Kiss, Bal{\'a}zs and Kosmatov, Nikolai and Pariente,
                  Dillon and Puccetti, Armand},
  booktitle =	 {Haifa Verification Conference},
  pages =	 {39--50},
  year =	 2015,
  url =
                  {http://nikolai.kosmatov.free.fr/publications/kiss_kpp_hvc_2015.pdf},
  organization = {Springer}
}

@TechReport{Laszlo:2017:Vessedia,
  author =	 {László, Vendel and Eberhardt, Gergely and Burghardt,
                  Jochen and Gerlach, Jens and Stornig, Felix and
                  Querrec, Emmanuel and Greiro Santos, Igor and
                  Blanchar, Allan Mitton},
  title =	 {Security requirements for connected medium
                  security-critical applications {(Vessedia D1.1)}},
  institution =	 {SLAB},
  year =	 2017,
  url =
                  {https://vessedia.eu/downloads/VESSEDIA-D1.1-Security-requirements-PU-M09.pdf},
  note =	 {deliverable of Vessedia H2020 project, grant
                  agreement No 731453}
}

@article{Lee:2020:miot,
  title =	 {{mIoT}: Metamorphic IoT Platform for On-Demand
                  Hardware Replacement in Large-Scaled IoT
                  Applications},
  author =	 {Lee, Dongkyu and Moon, Hyeongyun and Oh, Sejong and
                  Park, Daejin},
  journal =	 {Sensors},
  volume =	 20,
  number =	 12,
  pages =	 3337,
  year =	 2020,
  url =		 {https://www.mdpi.com/1424-8220/20/12/3337},
  publisher =	 {Multidisciplinary Digital Publishing Institute}
}

@article{Lenat:1983:Eurisko,
  author =	 {Lenat, Douglas B.},
  title =	 {Eurisko: A Program That Learns New Heuristics and
                  Domain Concepts},
  journal =	 {Artif. Intell.},
  issue_date =	 {March, 1983},
  volume =	 21,
  number =	 {1-2},
  month =	 mar,
  year =	 1983,
  issn =	 {0004-3702},
  pages =	 {61--98},
  numpages =	 38,
  url =		 {http://dx.doi.org/10.1016/S0004-3702(83)80005-8},
  doi =		 {10.1016/S0004-3702(83)80005-8},
  acmid =	 1644660,
  publisher =	 {Elsevier Science Publishers Ltd.},
  address =	 {Essex, UK},
}

@article{Lenat:1991:ev-cycl,
  author =	 {Lenat, Douglas B. and Guha, R. V.},
  title =	 {The Evolution of CycL, the Cyc Representation
                  Language},
  journal =	 {SIGART Bull.},
  issue_date =	 {June 1991},
  volume =	 2,
  number =	 3,
  month =	 jun,
  year =	 1991,
  issn =	 {0163-5719},
  pages =	 {84--87},
  numpages =	 4,
  url =		 {http://doi.acm.org/10.1145/122296.122308},
  doi =		 {10.1145/122296.122308},
  acmid =	 122308,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}

@techreport{Lerner-Tirole:2000:economics-open-source,
  title =	 "The Simple Economics of Open Source",
  author =	 "Lerner, Josh and Tirole, Jean",
  institution =	 "National Bureau of Economic Research",
  type =	 "Working Paper",
  series =	 "Working Paper Series",
  number =	 7600,
  year =	 2000,
  month =	 "March",
  doi =		 {10.3386/w7600},
  URL =		 "http://www.nber.org/papers/w7600",
  abstract =	 {There has been a recent surge of interest in open
                  source software development, which involves
                  developers at many different locations and
                  organizations sharing code to develop and refine
                  programs.  To an economist, the behavior of
                  individual programmers and commercial companies
                  engaged in open source projects is initially
                  startling. This paper makes a preliminary
                  exploration of the economics of open source
                  software. We highlight the extent to which labor
                  economics, especially the literature on career
                  concerns,' can explain many of these projects'
                  features.  Aspects of the future of open source
                  development process, however, remain somewhat
                  difficult to predict with off-the-shelf' economic
                  models.},
}

@article{Leroy-modular-modules,
  author =	 {Xavier Leroy},
  title =	 {A modular module system},
  journal =	 {Journal of Functional Programming},
  volume =	 10,
  number =	 3,
  year =	 2000,
  pages =	 {269--303},
  urllocal =
                  {http://xavierleroy.org/publi/modular-modules-jfp.pdf},
  urlpublisher =
                  {http://journals.cambridge.org/action/displayAbstract?aid=54525},
  abstract =	 {A simple implementation of a SML-like module system
                  is presented as a module parameterized by a base
                  language and its type-checker. This demonstrates
                  constructively the applicability of that module
                  system to a wide range of programming
                  languages. Full source code available in the Web
                  appendix
                  \url{http://gallium.inria.fr/~xleroy/publi/modular-modules-appendix/}},
  xtopic =	 {modules}
}

@article{Levine:2009:DDE,
  author =	 {Levine, Gertrude Neuman},
  title =	 {Defining Defects, Errors, and Service Degradations},
  journal =	 {SIGSOFT Softw. Eng. Notes},
  issue_date =	 {March 2009},
  volume =	 34,
  number =	 2,
  month =	 feb,
  year =	 2009,
  issn =	 {0163-5948},
  pages =	 {1--14},
  numpages =	 14,
  url =		 {http://doi.acm.org/10.1145/1507195.1507205},
  doi =		 {10.1145/1507195.1507205},
  acmid =	 1507205,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {defects, errors, failure, service degradation},
}

@inproceedings{Lipford:2014:ICA,
  author =	 {Lipford, Heather and Thomas, Tyler and Chu, Bill and
                  Murphy-Hill, Emerson},
  title =	 {Interactive Code Annotation for Security
                  Vulnerability Detection},
  booktitle =	 {Proceedings of the 2014 ACM Workshop on Security
                  Information Workers},
  series =	 {SIW '14},
  year =	 2014,
  isbn =	 {978-1-4503-3152-4},
  location =	 {Scottsdale, Arizona, USA},
  pages =	 {17--22},
  numpages =	 6,
  url =		 {http://doi.acm.org/10.1145/2663887.2663901},
  doi =		 {10.1145/2663887.2663901},
  acmid =	 2663901,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {code annotation, secure programming, security
                  vulnerabilities, static analysis},
}

@book{Maglogiannis:2007:emerging-ai-app,
  title =	 {Emerging artificial intelligence applications in
                  computer engineering: real world {AI} systems with
                  applications in ehealth, hci, information retrieval
                  and pervasive technologies},
  author =	 {Maglogiannis, Ilias G},
  volume =	 160,
  year =	 2007,
  publisher =	 {Ios Press},
  isbn =	 {978-1-58603-780-2}
}

@inproceedings{Masood:2019:ttk,
  author =	 " Bin Masood, Talha and Budin, Joseph and Falk,
                  Martin and Favelier, Guillaume and Garth, Christoph
                  and Gueunet, Charles and Guillou, Pierre and
                  Hofmann, Lutz and Hristov, Petar and Kamakshidasan,
                  Adhitya and Kappe, Christopher and Klacansky, Pavol
                  and Laurin, Patrick and Levine, Joshua and
                  Lukasczyk, Jonas and Sakurai, Daisuke and Soler,
                  Maxime and Steneteg, Peter and Tierny, Julien and
                  Usher, Will and Vidal, Jules and Wozniak, Michal",
  title =	 "{An Overview of the Topology ToolKit}",
  booktitle =	 "TopoInVis",
  year =	 2019
}

@inproceedings{McPeak:2013:SIS:2491411.2501854,
  author =	 {McPeak, Scott and Gros, Charles-Henri and
                  Ramanathan, Murali Krishna},
  title =	 {Scalable and Incremental Software Bug Detection},
  booktitle =	 {Proceedings of the 2013 9th Joint Meeting on
                  Foundations of Software Engineering},
  series =	 {ESEC/FSE 2013},
  year =	 2013,
  isbn =	 {978-1-4503-2237-9},
  location =	 {Saint Petersburg, Russia},
  pages =	 {554--564},
  numpages =	 11,
  url =		 {http://doi.acm.org/10.1145/2491411.2501854},
  doi =		 {10.1145/2491411.2501854},
  acmid =	 2501854,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {Bug Detection, Incremental, Parallel, Static
                  Analysis},
}

@inproceedings{Medwed:2016:ISC,
  author =	 {Medwed, Marcel},
  title =	 {IoT Security Challenges and Ways Forward},
  booktitle =	 {Proceedings of the 6\textsuperscript{th}
                  International Workshop on Trustworthy Embedded
                  Devices},
  series =	 {TrustED '16},
  year =	 2016,
  isbn =	 {978-1-4503-4567-5},
  location =	 {Vienna, Austria},
  pages =	 {55--55},
  numpages =	 1,
  url =		 {http://doi.acm.org/10.1145/2995289.2995298},
  doi =		 {10.1145/2995289.2995298},
  acmid =	 2995298,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {IoT security, physical security},
}

@inproceedings{Memarian:2016:PLDI,
  author =	 {Memarian, Kayvan and Matthiesen, Justus and Lingard,
                  James and Nienhuis, Kyndylan and Chisnall, David and
                  Watson, Robert N. M. and Sewell, Peter},
  title =	 {Into the Depths of {C}: Elaborating the De Facto
                  Standards},
  booktitle =	 {Proceedings of the 37\textsuperscript{th} ACM
                  SIGPLAN Conference on Programming Language Design
                  and Implementation},
  series =	 {PLDI '16},
  year =	 2016,
  isbn =	 {978-1-4503-4261-2},
  location =	 {Santa Barbara, CA, USA},
  pages =	 {1--15},
  numpages =	 15,
  url =		 {http://doi.acm.org/10.1145/2908080.2908081},
  acmid =	 2908081,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {C},
}

@inproceedings{Mine:2015:TIU,
  author =	 {Min{\'e}, Antoine and Delmas, David},
  title =	 {Towards an Industrial Use of Sound Static Analysis
                  for the Verification of Concurrent Embedded Avionics
                  Software},
  booktitle =	 {Proceedings of the 12\textsuperscript{th}
                  International Conference on Embedded Software},
  series =	 {EMSOFT '15},
  year =	 2015,
  isbn =	 {978-1-4673-8079-9},
  location =	 {Amsterdam, The Netherlands},
  pages =	 {65--74},
  numpages =	 10,
  url =		 {http://dl.acm.org/citation.cfm?id=2830865.2830873},
  acmid =	 2830873,
  publisher =	 {IEEE Press},
  address =	 {Piscataway, NJ, USA},
  keywords =	 {abstract interpretation, concurrent software,
                  embedded software, static analysis},
}

@InProceedings{Mine:2018:Mopsa,
  author =	 {Miné, Antoine and Ouadjaout, Abdelraouf and
                  Journault, Matthieu},
  title =	 {Design of a Modular Platform for Static Analysis},
  booktitle =	 {Proc. 9\textsuperscript{th} Workshop on Tools for
                  Automatic Program Analysis},
  year =	 2018,
  url =		 {https://hal.archives-ouvertes.fr/hal-01870001},
  month =	 {august}
}

@Book{Mitchell:2001:ALP,
  author =	 {Mitchell, Mark and Oldham, Jeffrey and Samuel, Alex},
  title =	 {Advanced Linux Programming},
  year =	 2001,
  isbn =	 {0-7357-1043-0},
  publisher =	 {New Riders Publishing},
  url =		 {http://www.makelinux.net/alp/}
}

@article{Myers:2000:PPF,
  author =	 {Myers, Brad and Hudson, Scott E. and Pausch, Randy
                  and Pausch, Randy},
  title =	 {Past, Present, and Future of User Interface Software
                  Tools},
  journal =	 {ACM Trans. Comput.-Hum. Interact.},
  issue_date =	 {March 2000},
  volume =	 7,
  number =	 1,
  month =	 mar,
  year =	 2000,
  issn =	 {1073-0516},
  pages =	 {3--28},
  numpages =	 26,
  url =
                  {http://www.cs.cmu.edu/~amulet/papers/futureofhciACM.pdf},
  doi =		 {10.1145/344949.344959},
  acmid =	 344959,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {event languages, interface builders, scripting
                  languages, toolkits, user interface development
                  environments, user interface software},
}

@inproceedings{Nadeem:2012:HFP,
  author =	 {Nadeem, Muhammad and Williams, Byron J. and Allen,
                  Edward B.},
  title =	 {High False Positive Detection of Security
                  Vulnerabilities: A Case Study},
  booktitle =	 {Proceedings of the 50\textsuperscript{th} Annual
                  Southeast Regional Conference},
  series =	 {ACM-SE '12},
  year =	 2012,
  isbn =	 {978-1-4503-1203-5},
  location =	 {Tuscaloosa, Alabama},
  pages =	 {359--360},
  numpages =	 2,
  url =		 {http://doi.acm.org/10.1145/2184512.2184604},
  doi =		 {10.1145/2184512.2184604},
  acmid =	 2184604,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {FindBugs, false positives detections, secure
                  software development, security, static code
                  analysis, vulnerabilities},
}

@article{Nagle:2018:Contributing,
  author =	 {Nagle, Frank},
  title =	 {Learning by Contributing: Gaining Competitive
                  Advantage Through Contribution to Crowdsourced
                  Public Goods},
  journal =	 {Organization Science},
  volume =	 29,
  number =	 4,
  pages =	 {569-587},
  year =	 2018,
  URL =		 {https://doi.org/10.1287/orsc.2018.1202}
}

@Misc{Ocaml,
  author =	 {Leroy, Xavier and others},
  url =		 {http://ocaml.org/},
  title =	 {Ocaml site},
  year =	 2018
}

@incollection{Payer:2018:MSV,
  author =	 {Payer, Mathias},
  title =	 {How Memory Safety Violations Enable Exploitation of
                  Programs},
  booktitle =	 {The Continuing Arms Race},
  editor =	 {Larsen, Per and Sadeghi, Ahmad-Reza},
  year =	 2018,
  isbn =	 {978-1-97000-183-9},
  pages =	 {1--23},
  numpages =	 23,
  url =		 {https://doi.org/10.1145/3129743.3129745},
  doi =		 {10.1145/3129743.3129745},
  acmid =	 3129745,
  publisher =	 {Association for Computing Machinery and Morgan
                  \&\#38; Claypool},
  address =	 {New York, NY, USA},
}

@article{Perez:2011:model,
  title =	 {A model driven approach to the analysis of quality
                  scenarios within self-adaptable {SOA} systems},
  author =	 {Perez, Boris and Correal, Dario},
  journal =	 {Electronic Notes in Theoretical Computer Science},
  volume =	 281,
  pages =	 {113--126},
  year =	 2011,
  publisher =	 {Elsevier}
}

@Article{Perez:2020:query-reformul,
  author =	 {Pérez, Francisca and Ziad, Tewfi and Cetina, Carlos},
  journal =	 {IEEE Transactions on Software Engineering},
  title =	 {Utilizing Automatic Query Reformulations as Genetic
                  Operations to Improve Feature Location in Software
                  Models},
  year =	 2020,
  url =		 {https://hal.sorbonne-universite.fr/hal-02852488/}
}

@inproceedings{Perl:2015:VFP,
  author =	 {Perl, Henning and Dechand, Sergej and Smith, Matthew
                  and Arp, Daniel and Yamaguchi, Fabian and Rieck,
                  Konrad and Fahl, Sascha and Acar, Yasemin},
  title =	 {VCCFinder: Finding Potential Vulnerabilities in
                  Open-Source Projects to Assist Code Audits},
  booktitle =	 {Proceedings of the 22Nd ACM SIGSAC Conference on
                  Computer and Communications Security},
  series =	 {CCS '15},
  year =	 2015,
  isbn =	 {978-1-4503-3832-5},
  location =	 {Denver, Colorado, USA},
  pages =	 {426--437},
  numpages =	 12,
  url =		 {http://doi.acm.org/10.1145/2810103.2813604},
  doi =		 {10.1145/2810103.2813604},
  acmid =	 2813604,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {machine learning, static analysis, vulnerabilities},
}

@Book{Pitrat:1990:Metaconnaissances,
  author =	 {Pitrat, Jacques},
  title =	 {Méta-connaissances: futur de l'intelligence
                  artificielle {\small [meta-knowledge, future of
                  artificial intelligence]}},
  year =	 1990,
  isbn =	 9782866012472,
  note =	 {{\small [French book]}},
  publisher =	 {Hermès}
}

@Article{Pitrat:1996:FGCS,
  title =	 "Implementation of a reflective system",
  journal =	 "Future Generation Computer Systems",
  volume =	 12,
  number =	 2,
  pages =	 "235 - 242",
  year =	 1996,
  issn =	 "0167-739X",
  doi =		 "https://doi.org/10.1016/0167-739X(96)00011-8",
  url =
                  "http://www.sciencedirect.com/science/article/pii/0167739X96000118",
  author =	 "Jacques Pitrat",
  keywords =	 "Reflectivity, Metaknowledge, Bootstrap"
}

@Book{Pitrat:2000:machine-intelligence,
  author =	 {Pitrat, Jacques},
  title =	 {De la machine à l'intelligence {{\small [from
                  machine to intelligence]}}},
  year =	 2000,
  publisher =	 {Hermès},
  isbn =	 {978-2866014742}
}

@TechReport{Pitrat:2009:AST,
  title =	 {A Step toward an Artificial Artificial Intelligence
                  Scientist},
  author =	 {Jacques Pitrat},
  url =
                  {https://pdfs.semanticscholar.org/2117/9600b3f05c0af399f9acbfc6e7b6d24daf03.pdf},
  institution =	 {CNRS and LIP6 Université Paris},
  year =	 2009
}

@Book{Pitrat:2009:ArtifBeings,
  author =	 {Pitrat, Jacques},
  title =	 {Artificial Beings: The Conscience of a Conscious
                  Machine},
  year =	 2009,
  isbn =	 {978-1-848-21101-8},
  publisher =	 {Wiley ISTE}
}

@Misc{Pitrat:blog,
  author =	 {Pitrat, Jacques},
  title =	 {My view on Artificial Intelligence},
  howpublished = {blog},
  year =	 {2013-2019},
  url =
                  {http://bootstrappingartificialintelligence.fr/WordPress3/}
}

@article{Polito:2014:Bootstrapping-pharo,
  title =	 "Bootstrapping reflective systems: The case of Pharo",
  journal =	 "Science of Computer Programming",
  volume =	 96,
  pages =	 "141 - 155",
  year =	 2014,
  note =	 "Special issue on Advances in Smalltalk based
                  Systems",
  issn =	 "0167-6423",
  doi =		 "https://doi.org/10.1016/j.scico.2013.10.008",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S0167642313002797",
  author =	 "G. Polito and S. Ducasse and L. Fabresse and
                  N. Bouraqadi and B. van Ryseghem",
  keywords =	 "Object-oriented programming and design, Bootstrap,
                  Smalltalk, Software evolution",
  abstract =	 "Bootstrapping is a technique commonly known by its
                  usage in language definition by the introduction of
                  a compiler written in the same language it
                  compiles. This process is important to understand
                  and modify the definition of a given language using
                  the same language, taking benefit of the
                  abstractions and expression power it provides. A
                  bootstrap, then, supports the evolution of a
                  language. However, the infrastructure of reflective
                  systems like Smalltalk includes, in addition to a
                  compiler, an environment with several
                  self-references. A reflective system bootstrap
                  should consider all its infrastructural
                  components. In this paper, we propose a definition
                  of bootstrap for object-oriented reflective systems,
                  we describe the architecture and components it
                  should contain and we analyze the challenges it has
                  to overcome. Finally, we present a reference
                  bootstrap process for a reflective system and
                  Hazelnut, its implementation for bootstrapping the
                  Pharo Smalltalk-inspired system."
}

@book{Potiron:2013:fault-toler,
  title =	 {From fault classification to fault tolerance for
                  multi-agent systems},
  author =	 {Potiron, Katia and Seghrouchni, Amal El Fallah and
                  Taillibert, Patrick},
  volume =	 67,
  year =	 2013,
  publisher =	 {Springer},
  isbn =	 {978-1-4471-5045-9}
}

@Book{Queinnec:1996:LSP,
  author =	 {Queinnec, Christian},
  title =	 {Lisp in Small Pieces},
  year =	 1996,
  isbn =	 {0-521-56247-3},
  url =
                  {https://pages.lip6.fr/Christian.Queinnec/WWW/LiSP.html},
  publisher =	 {Cambridge University Press},
  address =	 {New York, NY, USA},
}

@article{Queinnec:2004:ContinWeb,
  author =	 {Queinnec, Christian},
  title =	 {Continuations and Web Servers},
  journal =	 {Higher Order Symbol. Comput.},
  issue_date =	 {December 2004},
  volume =	 17,
  number =	 4,
  month =	 dec,
  year =	 2004,
  issn =	 {1388-3690},
  pages =	 {277--295},
  numpages =	 19,
  url =		 {https://core.ac.uk/download/pdf/81910787.pdf},
  doi =		 {10.1007/s10990-004-4866-z},
  acmid =	 1050625,
  publisher =	 {Kluwer Academic Publishers},
  address =	 {Hingham, MA, USA},
  keywords =	 {WWW, continuations, hypertext, scheme},
}

@incollection{RAJ-2018-NoSQL,
  title =	 {Chapter One - A Detailed Analysis of \emph{NoSQL}
                  and \emph{NewSQL} Databases for Bigdata Analytics
                  and Distributed Computing},
  editor =	 "Pethuru Raj and Ganesh Chandra Deka",
  series =	 "Advances in Computers",
  publisher =	 "Elsevier",
  volume =	 109,
  pages =	 "1 - 48",
  year =	 2018,
  booktitle =	 {A Deep Dive into \emph{NoSQL} Databases: The Use
                  Cases and Applications},
  issn =	 "0065-2458",
  doi =		 "https://doi.org/10.1016/bs.adcom.2018.01.002",
  url =
                  "http://www.sciencedirect.com/science/article/pii/S0065245818300020",
  author =	 "Pethuru Raj",
  keywords =	 "Big data analytics, Hadoop, Spark, In-memory
                  computing, NoSQL databases, NewSQL databases, HBase",
  abstract =	 "In the recent past, different database management
                  systems are emerging and evolving fast in order to
                  systematically and spontaneously tackle the growing
                  varieties and vagaries of data structures, schemas,
                  sizes, speeds, and scopes. That is, all kinds of
                  data have to be carefully and consciously collected,
                  cleansed, and crunched in order to squeeze out
                  actionable and timely insights out of exponentially
                  exploding data heaps. Data is turning out be a
                  strategic asset for any growing and glowing
                  organization across the world in order to devise
                  perfect and precise strategies and roll out correct
                  activities in time with all the clarity, continuity,
                  and confidence. The noteworthy point here is that
                  you cannot throw out any data (internal as well as
                  external) as data can potentially emit viable and
                  venerable information and insights when subjected to
                  decisive and deeper investigations. Not only for
                  data transformation, ingestion, mining, processing,
                  and analytics but also for effective data
                  engineering, management, governance, representation,
                  exchange, persistence, and science, we need
                  efficient technologies, tools, and tips. As we are
                  heading toward the dreamt knowledge era, the role
                  and responsibility of new-generation database
                  systems are bound to escalate in the days
                  ahead. This chapter is primarily prepared to tell
                  all about the various NoSQL and NewSQL databases and
                  how they come handy in augmenting, accelerating, and
                  automating the highly complicated phenomenon of
                  next-generation data analytics."
}

@Book{Raymond:2001:CathBaz,
  author =	 {Raymond, Eric S.},
  title =	 {The Cathedral and the Bazaar: Musings on Linux and
                  Open Source by an Accidental Revolutionary},
  year =	 2001,
  isbn =	 0596001088,
  publisher =	 {O'Reilly \& Associates, Inc.},
  address =	 {Sebastopol, CA, USA},
}

@article{Reynolds:1993:continuations,
  author =	 {Reynolds, John C.},
  title =	 {The Discoveries of Continuations},
  journal =	 {Lisp \& Symbolic Computation},
  issue_date =	 {Nov. 1993},
  volume =	 6,
  number =	 {3-4},
  month =	 nov,
  year =	 1993,
  issn =	 {0892-4635},
  pages =	 {233--248},
  numpages =	 16,
  url =		 {http://dx.doi.org/10.1007/BF01019459},
  doi =		 {10.1007/BF01019459},
  acmid =	 198114,
  publisher =	 {Kluwer Academic Publishers},
  address =	 {Hingham, MA, USA},
  keywords =	 {continuation, continuation-passing style, semantics},
}

@InCollection{Rodriguez:2019:AgileLean,
  author =	 {Rodriguez, Pilar and Mäntylä, Mika and Oivo, Markku
                  and Lwakaratare, Lucy Ellen and Seppänen, Pertti and
                  Kuvaja, Pasi},
  title =	 {Advances in Using Agile and Lean Processes for
                  Software Development},
  booktitle =	 {Advances in Computers},
  isbn =	 {978-0-12-816070-1},
  publisher =	 {Academic Press},
  year =	 2018,
  editor =	 {Memon, Atif M.},
  volume =	 113,
  chapter =	 4,
  pages =	 {135-221},
  url =		 {https://doi.org/10.1016/bs.adcom.2018.03.014}
}

@book{Scargall:2020:programming,
  title =	 {Programming Persistent Memory: A Comprehensive Guide
                  for Developers},
  author =	 {Scargall, Steve},
  year =	 2020,
  publisher =	 {Springer Nature},
  isbn =	 {978-1-4842-4932-1}
}

@Inproceedings{Schafmeister:2015:CLASP,
  author =	 {Schafmeister, Christian E.},
  booktitle =	 {Proceedings of the 8\textsuperscript{th} European
                  Lisp Symposium on European Lisp Symposium},
  series =	 {ELS2015},
  year =	 2015,
  title =	 {{CLASP} - A {Common Lisp} that Interoperates with
                  {C++} and Uses the {LLVM} Backend}
}

@inproceedings{Schafmeister:2016:CANDO,
  author =	 {Schafmeister, Christian E.},
  title =	 {{CANDO}: A Compiled Programming Language for
                  Computer-Aided Nanomaterial Design and Optimization
                  Based on {Clasp Common Lisp}},
  booktitle =	 {Proceedings of the 9\textsuperscript{th} European
                  Lisp Symposium on European Lisp Symposium},
  series =	 {ELS2016},
  year =	 2016,
  isbn =	 {978-2-9557474-0-7},
  location =	 {Kraków, Poland},
  pages =	 {9:75--9:82},
  articleno =	 9,
  numpages =	 8,
  url =		 {http://dl.acm.org/citation.cfm?id=3005729.3005738},
  acmid =	 3005738,
  publisher =	 {European Lisp Scientific Activities Association},
  keywords =	 {C++, Common Lisp, Computational Chemistry,
                  Interoperation, LLVM},
}

@article{Schlich:2010:MCS,
  author =	 {Schlich, Bastian},
  title =	 {Model Checking of Software for Microcontrollers},
  journal =	 {ACM Trans. Embed. Comput. Syst.},
  issue_date =	 {March 2010},
  volume =	 9,
  number =	 4,
  month =	 apr,
  year =	 2010,
  issn =	 {1539-9087},
  pages =	 {36:1--36:27},
  articleno =	 36,
  numpages =	 27,
  url =		 {http://doi.acm.org/10.1145/1721695.1721702},
  doi =		 {10.1145/1721695.1721702},
  acmid =	 1721702,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {Assembly code, formal verification, microcontroller,
                  model checking, static analysis},
}

@inproceedings{Schupbach:2008:embracing,
  title =	 {Embracing diversity in the Barrelfish manycore
                  operating system},
  author =	 {Sch{\"u}pbach, Adrian and Peter, Simon and Baumann,
                  Andrew and Roscoe, Timothy and Barham, Paul and
                  Harris, Tim and Isaacs, Rebecca},
  booktitle =	 {Proceedings of the Workshop on Managed Many-Core
                  Systems},
  volume =	 27,
  year =	 2008
}

@Book{Scott:2007:PLP,
  author =	 {Scott, Michael L.},
  title =	 {Programming Language Pragmatics},
  year =	 2007,
  isbn =	 {978-0124104099},
  edition =	 {4\textsuperscript{th}},
  publisher =	 {Morgan Kaufmann Publishers Inc.},
  address =	 {San Francisco, CA, USA},
}

@inproceedings{Serebryany:2012:Asan,
  author =	 {Serebryany, Konstantin and Bruening, Derek and
                  Potapenko, Alexander and Vyukov, Dmitry},
  title =	 {AddressSanitizer: A Fast Address Sanity Checker},
  booktitle =	 {Proceedings of the 2012 \textsc{Usenix} Conference
                  on Annual Technical Conference},
  series =	 {USENIX ATC'12},
  year =	 2012,
  location =	 {Boston, MA},
  pages =	 {28--28},
  numpages =	 1,
  url =		 {http://dl.acm.org/citation.cfm?id=2342821.2342849},
  acmid =	 2342849,
  publisher =	 {USENIX Association},
  address =	 {Berkeley, CA, USA},
}

@InCollection{Siddiqui:2018:adv-soft-model-check,
  author =	 {Siddiqui, Junaid H. and Rauf, Affan and Ghafoor,
                  Maryam A.},
  title =	 {Advances in Software Model Checking},
  booktitle =	 {Advances in Computers},
  isbn =	 {978-0-12-815119-8},
  publisher =	 {Academic Press},
  year =	 2018,
  editor =	 {Memon, Atif M.},
  volume =	 108,
  chapter =	 2,
  pages =	 {59-89},
}

@inproceedings{Silva:2016:SES,
  author =	 {Silva, Nuno and Vieira, Marco},
  title =	 {Software for Embedded Systems: A Quality Assessment
                  Based on Improved ODC Taxonomy},
  booktitle =	 {Proceedings of the 31\textsuperscript{st} Annual ACM
                  Symposium on Applied Computing},
  series =	 {SAC '16},
  year =	 2016,
  isbn =	 {978-1-4503-3739-7},
  location =	 {Pisa, Italy},
  pages =	 {1780--1783},
  numpages =	 4,
  url =		 {http://doi.acm.org/10.1145/2851613.2851908},
  doi =		 {10.1145/2851613.2851908},
  acmid =	 2851908,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {ODC, classification, critical systems, defect,
                  taxonomy}
}

@PhdThesis{Starynkevitch-1990-EUM,
  author =	 {Starynkevitch, Basile},
  title =	 {Expliciter et utiliser les données et le contrôle
                  pour les connaissances par des metaconnaissances :
                  systèmes \textsc{eum1} et \textsc{eum2}},
  school =	 {Université Paris 6 - LIP6},
  year =	 1990,
  month =	 {december},
  url =		 {http://www.theses.fr/1990PA066799},
  note =	 {{\small [explicitation and use of data and control
                  for knowledge with metaknowledge : the \textsc{eum1}
                  and \textsc{eum2} systems]}}
}

@inproceedings{Starynkevitch-DSL2011,
  author =	 {{Starynkevitch}, Basile},
  title =	 {{MELT} - a Translated Domain Specific Language
                  Embedded in the {GCC} Compiler},
  booktitle =	 {DSL2011 IFIP conf.},
  year =	 2011,
  journal =	 {ArXiv e-prints},
  archivePrefix ="arXiv",
  eprint =	 {1109.0779},
  primaryClass = "cs.PL",
  keywords =	 {Computer Science - Programming Languages, Computer
                  Science - Software Engineering, D.3.4, D.1.1, D.2.4,
                  D.3.2},
  month =	 sep,
  url =		 {http://adsabs.harvard.edu/abs/2011arXiv1109.0779S},
  address =	 {Bordeaux (France)}
}

@Misc{Starynkevitch-GCCMELTweb,
  author =	 {Starynkevitch, Basile},
  title =	 {{GCC MELT} website (archive)},
  url =		 {http://starynkevitch.net/Basile/gcc-melt/},
  year =	 {2008-2016},
  note =	 {(archive of the old \texttt{gcc-melt.org} site)}
}

@InProceedings{Starynkevitch2007Multistage,
  author =	 {Starynkevitch, Basile},
  title =	 {Multi-Stage Construction of a Global Static
                  Analyzer},
  year =	 2007,
  month =	 {july},
  pages =	 {143-152},
  booktitle =	 {GCC summit},
  address =	 {Ottawa, Canada},
  url =
                  {http://starynkevitch.net/basile/gccsummit2007-starynkevitch.pdf},
  organization = {GCC}
}

@InProceedings{Starynkevitch:2009:grow,
  title =	 {A Middle End Lisp Translator for {GCC}},
  author =	 {Starynkevitch, Basile},
  year =	 2009,
  booktitle =	 {GCC Research Opportunities workshop},
  url =
                  {http://www.doc.ic.ac.uk/~phjk/GROW09/papers/01-MELT-Starynkevitch.pdf}
}

@Book{Steele:1990:CommonLisp,
  author =	 {Steele,Jr., Guy L.},
  title =	 {Common LISP: The Language},
  year =	 1990,
  edition =	 {2\textsuperscript{nd}},
  isbn =	 {1-55558-041-6},
  publisher =	 {Digital Press},
  address =	 {Newton, MA, USA},
}

@Book{Stroustrup:2014:CplusPlus,
  author =	 {Stroustrup, Bjarne},
  title =	 {Programming: Principles and Practice Using C++},
  year =	 2014,
  isbn =	 {0321992784, 9780321992789},
  edition =	 {2\textsuperscript{nd}},
  publisher =	 {Addison-Wesley Professional},
}

@article{Stroustrup:2020:thriving,
  title =	 {Thriving in a crowded and changing world: C++
                  2006--2020},
  author =	 {Stroustrup, Bjarne},
  journal =	 {Proceedings of the ACM on Programming Languages},
  volume =	 4,
  number =	 {HOPL},
  pages =	 {1--168},
  year =	 2020,
  publisher =	 {ACM New York, NY, USA},
  url =		 {https://dl.acm.org/doi/pdf/10.1145/3386320}
}

@Conference{TWO:2001:WAPATV,
  author =	 {Guilbaud, Dominique and Goubault, Eric and Pacalet,
                  Anne and Starynkévitch, Basile and Védrine, Franck},
  title =	 {A Simple Abstract Interpreter for Threat Detection
                  and Test Case Generation},
  booktitle =	 {WAPATV workshop},
  year =	 2001,
  organization = {ICSE},
  url =
                  {http://www.lix.polytechnique.fr/~goubault/papers/icse01.pdf}
}

@Book{Tanenbaum:92:OS,
  author =	 "Andrew S. Tanenbaum",
  title =	 "Modern operating systems",
  publisher =	 "Prentice Hall",
  year =	 1992,
  address =	 "Englewood Cliffs, N.J."
}

@book{Tirole:2018:eco-bien-commun,
  title =	 {Économie du bien commun},
  author =	 {Tirole, Jean},
  publisher =	 {Presses Universitaires de France},
  isbn =	 {978-2-13-080766-7},
  year =	 2018,
  note =	 {in French: \textit{economics of common goods}}
}

@article{Treur:2020:multi-level-cognitive-architecture,
  title =	 {A Multi-Level Cognitive Architecture for
                  Self-Referencing, Self-Awareness and
                  Self-Interpretation},
  journal =	 {Cognitive Systems Research},
  year =	 2020,
  issn =	 {1389-0417},
  doi =		 {https://doi.org/10.1016/j.cogsys.2020.10.019},
  url =
                  {https://www.sciencedirect.com/science/article/pii/S1389041720300930},
  author =	 {Jan Treur and Gerrit Glas},
  abstract =	 {In this paper, a multilevel cognitive architecture
                  is introduced that can be used to model mental
                  processes in clients of psychotherapeutic
                  sessions. The architecture does not only cover base
                  level mental processes but also mental processes
                  involving self-referencing, self-awareness and
                  self-interpretation. To this end, the cognitive
                  architecture was designed according to four levels,
                  where (part of) the structure of each level is
                  represented by an explicit self-model of it at the
                  next-higher level of the architecture. At that
                  next-higher level, states reify part of the
                  structure of the level below; these states have a
                  referencing relation to it. In this way the overall
                  architecture includes its own overall
                  self-model. The cognitive architecture was evaluated
                  for a case study of a realistic type of therapeutic
                  session from clinical practice.}
}

@article{Ungar:1987:Self,
  author =	 {Ungar, David and Smith, Randall B.},
  title =	 {{SELF}: The Power of Simplicity},
  journal =	 {SIGPLAN Not.},
  issue_date =	 {Dec. 1987},
  volume =	 22,
  number =	 12,
  month =	 dec,
  year =	 1987,
  issn =	 {0362-1340},
  pages =	 {227--242},
  numpages =	 16,
  url =		 {http://doi.acm.org/10.1145/38807.38828},
  doi =		 {10.1145/38807.38828},
  acmid =	 38828,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}

@InProceedings{VanDeRiet:1992:Ling-instr-know,
  author =	 {Van De Riet, R.P.},
  title =	 {Linguistic Instruments in Knowledge Engineering},
  booktitle =	 {Proc.1991 Workshop on Linguistic Instruments in
                  Knowledge Engineering},
  year =	 1992,
  publisher =	 {North Holland},
  ISBN =	 {978 0444883940},
}

@inproceedings{Vedala:2012:ADP,
  author =	 {Vedala, Radha and Kumar, Simhadri Anil},
  title =	 {Automatic Detection of Printf Format String
                  Vulnerabilities in Software Applications Using
                  Static Analysis},
  booktitle =	 {Proceedings of the CUBE International Information
                  Technology Conference},
  series =	 {CUBE '12},
  year =	 2012,
  isbn =	 {978-1-4503-1185-4},
  location =	 {Pune, India},
  pages =	 {379--384},
  numpages =	 6,
  url =		 {http://doi.acm.org/10.1145/2381716.2381787},
  doi =		 {10.1145/2381716.2381787},
  acmid =	 2381787,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {format string vulnerability, security, software
                  vulnerabilities, static analysis},
}

@inproceedings{Wagner:2008:DCD,
  author =	 {Wagner, Stefan},
  title =	 {Defect Classification and Defect Types Revisited},
  booktitle =	 {Proceedings of the 2008 Workshop on Defects in Large
                  Software Systems},
  series =	 {DEFECTS '08},
  year =	 2008,
  isbn =	 {978-1-60558-051-7},
  location =	 {Seattle, Washington},
  pages =	 {39--40},
  numpages =	 2,
  url =		 {http://doi.acm.org/10.1145/1390817.1390829},
  doi =		 {10.1145/1390817.1390829},
  acmid =	 1390829,
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {bugs, defect classification, defect taxonomy, defect
                  types, defects, faults},
}

@book{Weber:2004:SuccessOpenSource,
  author =	 {Weber, Steven},
  title =	 {The Success of Open Source},
  year =	 2004,
  isbn =	 0674012925,
  publisher =	 {Harvard University Press},
  address =	 {Cambridge, MA, USA},
}

@inproceedings{amershi:2019:guidelines-human-AI-interact,
  title =	 {Guidelines for human-AI interaction},
  author =	 {Amershi, Saleema and Weld, Dan and Vorvoreanu,
                  Mihaela and Fourney, Adam and Nushi, Besmira and
                  Collisson, Penny and Suh, Jina and Iqbal, Shamsi and
                  Bennett, Paul N and Inkpen, Kori and others},
  booktitle =	 {Proceedings of the 2019 CHI Conference on Human
                  Factors in Computing Systems},
  pages =	 3,
  year =	 2019,
  url =
                  {http://saleemaamershi.com/papers/amershi.HAI.Guidelines.CHI.2019.pdf},
  organization = {ACM}
}

@book{attiya:2004:distributed,
  title =	 {Distributed computing: fundamentals, simulations,
                  and advanced topics},
  author =	 {Attiya, Hagit and Welch, Jennifer},
  volume =	 19,
  year =	 2004,
  publisher =	 {John Wiley \& Sons}
}

@article{badue:2020:self-driving-cars,
  title =	 {Self-driving cars: A survey},
  author =	 {Badue, Claudine and Guidolini, R{\^a}nik and
                  Carneiro, Raphael Vivacqua and Azevedo, Pedro and
                  Cardoso, Vinicius Brito and Forechi, Avelino and
                  Jesus, Luan and Berriel, Rodrigo and Paix{\~a}o,
                  Thiago Meireles and Mutz, Filipe and others},
  journal =	 {Expert Systems with Applications},
  pages =	 113816,
  year =	 2020,
  publisher =	 {Elsevier}
}

@book{bakken:2014:smart-grids,
  title =	 {Smart Grids: Clouds, Communications, Open Source,
                  and Automation},
  author =	 {Bakken, David},
  year =	 2014,
  isbn =	 {978-1-4822-0611-1},
  publisher =	 {CRC Press}
}

@techreport{barrelfish:2013:overview,
  title =	 {Barrelfish Architecture Overview, Barrelfish
                  Technical Note 000},
  author =	 {Barrelfish, Team},
  year =	 2013,
  institution =	 {Technical report, ETH Zurich}
}

@book{beckert2007verification,
  title =	 {Verification of object-oriented software: The
                  {\textsc{KeY}} approach},
  author =	 {Beckert, Bernhard and H{\"a}hnle, Reiner and
                  Schmitt, Peter H},
  year =	 2007,
  publisher =	 {Springer-Verlag}
}

@phdthesis{belarbi:2004:vehicle,
  title =	 {Vehicle to infrastructure communication based
                  systems: their contribution to road traffic
                  management. Case of {AIDA}: the on-board traffic
                  information system for motorways},
  author =	 {Belarbi, Fahim},
  year =	 2004
}

@PHDTHESIS{carle-1992-meringIV,
  url =		 "http://www.theses.fr/1992PA066429",
  title =	 {\textsc{Mering iv} : un langage d'acteurs pour
                  l'intelligence artificielle distribuée integrant
                  objets et agents par réflexivité compilatoire},
  author =	 {Carle, Patrice},
  year =	 1992,
  pages =	 "1 vol. (258 p.)",
  note =	 "Thèse de doctorat dirigée par Ferber, Jacques
                  Sciences appliquées Paris 6 1992",
  note =	 {{\small [\textsc{Mering iv:} an actor language for
                  distributed artificial intelligence that integrates
                  objects and agents using a compile-based model of
                  reflection ]}},
}

@article{clarke:2016:big-data-risks,
  title =	 {Big data, big risks},
  author =	 {Clarke, Roger},
  journal =	 {Information Systems Journal},
  volume =	 26,
  number =	 1,
  pages =	 {77--90},
  year =	 2016,
  url =		 {https://doi.org/10.1111/isj.12088},
  publisher =	 {Wiley Online Library}
}

@inproceedings{david:2013:everything,
  title =	 {Everything you always wanted to know about
                  synchronization but were afraid to ask},
  author =	 {David, Tudor and Guerraoui, Rachid and Trigonakis,
                  Vasileios},
  booktitle =	 {Proceedings of the Twenty-Fourth ACM Symposium on
                  Operating Systems Principles},
  pages =	 {33--48},
  year =	 2013
}

@techreport{delons:2008:pirandello,
  title =	 {{PIRANDELLO} an integrated transport and land-use
                  model for the Paris area},
  author =	 {Delons, Jean and Coulombel, Nicolas and Leurent,
                  Fabien},
  year =	 2008
}

@article{dikaiakos:2009:cloud,
  title =	 {Cloud computing: Distributed internet computing for
                  IT and scientific research},
  author =	 {Dikaiakos, Marios D and Katsaros, Dimitrios and
                  Mehra, Pankaj and Pallis, George and Vakali, Athena},
  journal =	 {IEEE Internet computing},
  volume =	 13,
  number =	 5,
  pages =	 {10--13},
  year =	 2009,
  publisher =	 {IEEE}
}

@techreport{donzeaugouge:inria-mentor,
  TITLE =	 {{Programming environments based on structured
                  editors : the \textsc{Mentor} experience}},
  AUTHOR =	 {Donzeau-Gouge, Véronique and Huet, Gérard and Lang,
                  Bernard and Kahn, Gilles},
  URL =		 {https://hal.inria.fr/inria-00076535},
  TYPE =	 {Research Report},
  NUMBER =	 {RR-0026},
  INSTITUTION =	 {{INRIA}},
  YEAR =	 1980,
  PDF =
                  {https://hal.inria.fr/inria-00076535/file/RR-0026.pdf},
  HAL_ID =	 {inria-00076535},
  HAL_VERSION =	 {v1},
}

@article{doyle:1985:expert,
  title =	 {Expert systems and the" myth" of symbolic reasoning},
  author =	 {Doyle, Jon},
  journal =	 {IEEE Transactions on Software Engineering},
  volume =	 11,
  pages =	 {1386--1390},
  year =	 1985,
  publisher =	 {IEEE}
}

@inproceedings{dragicevic:2019:ITR,
  author =	 {Dragicevic, Pierre and Jansen, Yvonne and Sarma,
                  Abhraneel and Kay, Matthew and Chevalier, Fanny},
  title =	 {Increasing the Transparency of Research Papers with
                  Explorable Multiverse Analyses},
  booktitle =	 {Proceedings of the 2019 CHI Conference on Human
                  Factors in Computing Systems},
  series =	 {CHI 19},
  year =	 2019,
  isbn =	 {978-1-4503-5970-2},
  location =	 {Glasgow, Scotland Uk},
  pages =	 {65:1--65:15},
  articleno =	 65,
  numpages =	 15,
  url =		 {http://doi.acm.org/10.1145/3290605.3300295},
  doi =		 {10.1145/3290605.3300295},
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {explorable explanation, interactive documents,
                  multiverse analysis, statistics, transparent
                  reporting},
}

@inproceedings{echeverria:2019:collab-translucence,
  title =	 {Towards Collaboration Translucence: Giving Meaning
                  to Multimodal Group Data},
  author =	 {Echeverria, Vanessa and Martinez-Maldonado, Roberto
                  and Buckingham Shum, Simon},
  booktitle =	 {Proceedings of the 2019 CHI Conference on Human
                  Factors in Computing Systems},
  pages =	 39,
  year =	 2019,
  url =
                  {http://simon.buckinghamshum.net/wp-content/uploads/2019/02/CollabTranslucence\_CHI2019.pdf},
  organization = {ACM}
}

@inproceedings{eisl:2016:traceregalloc,
  author =	 {Eisl, Josef and Grimmer, Matthias and Simon, Doug
                  and W\"{u}rthinger, Thomas and M\"{o}ssenb\"{o}ck,
                  Hanspeter},
  title =	 {Trace-Based Register Allocation in a JIT Compiler},
  year =	 2016,
  isbn =	 9781450341356,
  publisher =	 {Association for Computing Machinery},
  address =	 {New York, NY, USA},
  url =		 {https://doi.org/10.1145/2972206.2972211},
  doi =		 {10.1145/2972206.2972211},
  booktitle =	 {Proceedings of the 13th International Conference on
                  Principles and Practices of Programming on the Java
                  Platform: Virtual Machines, Languages, and Tools},
  articleno =	 14,
  numpages =	 11,
  keywords =	 {Trace Register Allocation, Just-in-Time Compilation,
                  Trace Compilation, Virtual Machines, Register
                  Allocation, Linear Scan},
  location =	 {Lugano, Switzerland},
  series =	 {PPPJ ’16}
}

@book{flach:2012:machine-learning,
  place =	 {Cambridge},
  title =	 {Machine Learning: The Art and Science of Algorithms
                  that Make Sense of Data},
  DOI =		 {10.1017/CBO9780511973000},
  publisher =	 {Cambridge University Press},
  author =	 {Flach, Peter},
  year =	 2012
}

@PHDTHESIS{fouet-1987:gosseyn,
  url =		 "http://www.theses.fr/1987PA066378",
  title =	 {Utilisation de connaissances pour améliorer
                  l'utilisation de connaissances : la machine Gosseyn},
  author =	 "Fouet, Jean-Marc",
  year =	 1987,
  institution =	 {LIP6 and ENS Cachan},
  school =	 {Université Paris 6},
  url =		 {http://www.theses.fr/1987PA066378},
  note =	 {{\small [using knowledge to improve usage of
                  knowledge: the \textsc{Gosseyn} machine]}}
}

@TechReport{fouet-starynkevitch:describing-control:1987,
  author =	 {Fouet, Jean-Marc and Starynkevitch, Basile},
  title =	 {Describing control},
  institution =	 {CEA},
  year =	 1987,
  url =
                  {https://inis.iaea.org/collection/NCLCollectionStore/_Public/19/059/19059867.pdf},
  number =	 {FR8801379/CEA-CONF--9239},
  month =	 {august},
  annote =	 {has been submitted to 10\textsuperscript{th} IJCAI}
}

@Misc{gcc-internals,
  author =	 {{GCC Community}},
  url =		 {http://gcc.gnu.org/onlinedocs/gccint/},
  title =	 {{GCC} internals},
  year =	 2018
}

@Misc{gcc-runtime-library-exception,
  author =	 {{Free Software Foundation}},
  title =	 {{GCC} Runtime Library Exception},
  url =
                  {https://www.gnu.org/licenses/gcc-exception-3.1.en.html},
  year =	 2009
}

@phdthesis{gerber:2018:authorization,
  title =	 {Authorization, Protection, and Allocation of Memory
                  in a Large System},
  author =	 {Gerber, Simon},
  year =	 2018,
  school =	 {ETH Zurich}
}

@inproceedings{giceva:2016:customized,
  title =	 {Customized {OS} support for data-processing},
  author =	 {Giceva, Jana and Zellweger, Gerd and Alonso, Gustavo
                  and Rosco, Timothy},
  booktitle =	 {Proceedings of the 12\textsuperscript{th}
                  International Workshop on Data Management on New
                  Hardware},
  pages =	 {1--6},
  year =	 2016
}

@inproceedings{goubault:2005:practical,
  title =	 {A practical application of geometric semantics to
                  static analysis of concurrent programs},
  author =	 {Goubault, Eric and Haucourt, Emmanuel},
  booktitle =	 {International Conference on Concurrency Theory},
  pages =	 {503--517},
  year =	 2005,
  organization = {Springer}
}

@inproceedings{goubault:2011:static,
  title =	 {Static analysis of finite precision computations},
  author =	 {Goubault, Eric and Putot, Sylvie},
  booktitle =	 {International Workshop on Verification, Model
                  Checking, and Abstract Interpretation},
  pages =	 {232--247},
  year =	 2011,
  organization = {Springer}
}

@book{graeber:2018:bullshit,
  title =	 {Bullshit jobs},
  author =	 {Graeber, David and Cerutti, Albertine},
  year =	 2018,
  url =		 {https://en.wikipedia.org/wiki/Bullshit\_Jobs},
  publisher =	 {Simon \& Schuster New York, NY}
}

@incollection{gudhi:2020:PersistenceRepresentations
, author =  "Pawel Dlotko"
, title =   "Persistence representations"
, publisher =  "{GUDHI Editorial Board}"
, edition =     "{3.2.0}"
, booktitle =   "{GUDHI} User and Reference Manual"
, url = "https://gudhi.inria.fr/doc/3.2.0/group___persistence__representations.html"
, year =        2020
}

@incollection{gudhi:2020:PersistentCohomology
, author =  "Cl\'ement Maria"
, title =   "Persistent Cohomology"
, publisher =  "{GUDHI Editorial Board}"
, edition =     "{3.2.0}"
, booktitle =   "{GUDHI} User and Reference Manual"
, url = "https://gudhi.inria.fr/doc/3.2.0/group__persistent__cohomology.html"
, year =        2020
}

@incollection{gudhi:2020:RipsComplex
, author =  {Clement Maria and Pawel Dlotko and Vincent Rouvreau and Marc Glisse}
, title =   "Rips complex"
, publisher =  "{GUDHI Editorial Board}"
, edition =     "{3.2.0}"
, booktitle =   "{GUDHI} User and Reference Manual"
, url = "https://gudhi.inria.fr/doc/3.2.0/group__rips__complex.html"
, year =        2020
}

@book{gudhi:2020:urm,
  title =	 "{GUDHI} User and Reference Manual"
,
  author =	 "{The GUDHI Project}"
,
  publisher =	 "{GUDHI Editorial Board}"
,
  edition =	 "{3.2.0}"
,
  year =	 2020
,
  url =		 "https://gudhi.inria.fr/doc/3.2.0/"
}

@Book{guerraoui:2018:concurrent-systems,
  author =	 {Guerraoui, Rachid and Kuznetsov, Petr},
  title =	 {Algorithms for Concurrent Systems},
  publisher =	 {{EPFL} press},
  year =	 2018,
  isbn =	 {978-2-88915-283-4}
}

@inproceedings{gulay:2019:integ-workf,
  author =	 {Gulay, Emrecan and Lucero, Andr{\'e}s},
  title =	 {Integrated Workflows: Generating Feedback Between
                  Digital and Physical Realms},
  booktitle =	 {Proceedings of the 2019 CHI Conference on Human
                  Factors in Computing Systems},
  series =	 {CHI 19},
  year =	 2019,
  isbn =	 {978-1-4503-5970-2},
  location =	 {Glasgow, Scotland Uk},
  pages =	 {60:1--60:15},
  articleno =	 60,
  numpages =	 15,
  url =		 {http://doi.acm.org/10.1145/3290605.3300290},
  doi =		 {10.1145/3290605.3300290},
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  keywords =	 {creativity support, design methods, embodied
                  interaction, fabrication},
}

@book{gusted:t2019:modern,
  title =	 {MODERN C.},
  author =	 {Gustedt, Jens},
  year =	 2019,
  url =		 {https://modernc.gforge.inria.fr/},
  publisher =	 {Manning Publications Company}
}

@inproceedings{happel2006applications,
  title =	 {Applications of ontologies in software engineering},
  author =	 {Happel, Hans-J{\"o}rg and Seedorf, Stefan},
  booktitle =	 {Proc. of Workshop on Sematic Web Enabled Software
                  Engineering"(SWESE) on the ISWC},
  pages =	 {5--9},
  year =	 2006,
  organization = {Citeseer}
}

@article{hashem:2015:rise,
  title =	 {The rise of “big data” on cloud computing: Review
                  and open research issues},
  author =	 {Hashem, Ibrahim Abaker Targio and Yaqoob, Ibrar and
                  Anuar, Nor Badrul and Mokhtar, Salimah and Gani,
                  Abdullah and Khan, Samee Ullah},
  journal =	 {Information systems},
  volume =	 47,
  pages =	 {98--115},
  year =	 2015,
  publisher =	 {Elsevier}
}

@incollection{helbing:2019:big-data-democracy,
  title =	 {Will democracy survive big data and artificial
                  intelligence?},
  author =	 {Helbing, Dirk and Frey, Bruno S and Gigerenzer, Gerd
                  and Hafen, Ernst and Hagner, Michael and Hofstetter,
                  Yvonne and Van Den Hoven, Jeroen and Zicari, Roberto
                  V and Zwitter, Andrej},
  booktitle =	 {Towards Digital Enlightenment},
  pages =	 {73--98},
  year =	 2019,
  url =
                  {https://link.springer.com/chapter/10.1007/978-3-319-90869-4_7},
  publisher =	 {Springer}
}

@article{huws:2015:icapitalism,
  title =	 {{iCapitalism} and the {Cybertariat}: Contradictions
                  of the digital economy},
  author =	 {Huws, Ursula},
  journal =	 {Monthly review},
  volume =	 66,
  number =	 8,
  pages =	 42,
  year =	 2015,
  url =
                  {http://monthlyreview.org/2015/01/01/icapitalism-and-the-cybertariat/},
  publisher =	 {Monthly Review Press}
}

@book{jain:2011:face-recognition,
  title =	 {Handbook of face recognition},
  author =	 {Jain, Anil K and Li, Stan Z},
  year =	 2011,
  publisher =	 {Springer}
}

@book{karvinen:2014:make,
  title =	 {Make: sensors: a hands-on primer for monitoring the
                  real world with \textsc{Arduino} and
                  \textsc{Raspberry Pi}},
  author =	 {Karvinen, Tero and Karvinen, Kimmo and Valtokari,
                  Ville},
  year =	 2014,
  publisher =	 {Maker Media, Inc.}
}

@inproceedings{klimt:2004:enron,
  title =	 {The \textsc{Enron} corpus: A new dataset for email
                  classification research},
  author =	 {Klimt, Bryan and Yang, Yiming},
  booktitle =	 {European Conference on Machine Learning},
  pages =	 {217--226},
  year =	 2004,
  organization = {Springer}
}

@inproceedings{kornacker:2015:impala,
  title =	 {\textsc{Impala}: A Modern, Open-Source SQL Engine
                  for Hadoop.},
  author =	 {Kornacker, Marcel and Behm, Alexander and Bittorf,
                  Victor and Bobrovytsky, Taras and Ching, Casey and
                  Choi, Alan and Erickson, Justin and Grund, Martin
                  and Hecht, Daniel and Jacobs, Matthew and others},
  booktitle =	 {Cidr},
  volume =	 1,
  pages =	 9,
  year =	 2015
}

@inproceedings{kou:2019:practice,
  title =	 {A Practice-Led Account of the Conceptual Evolution
                  of {UX} Knowledge},
  author =	 {Kou, Yubo and Gray, Colin M},
  booktitle =	 {Proceedings of the 2019 CHI Conference on Human
                  Factors in Computing Systems},
  pages =	 49,
  year =	 2019,
  url =
                  {https://www.researchgate.net/profile/Yubo\_Kou/publication/330026000\_A\_Practice-Led\_Account\_of\_the\_Conceptual\_Evolution\_of\_UX\_Knowledge/links/5c2a7990a6fdccfc7074f0e2/A-Practice-Led-Account-of-the-Conceptual-Evolution-of-UX-Knowledge.pdf},
  organization = {ACM}
}

@article{lee:2016:analysis-cyberattack,
  title =	 {Analysis of the cyber attack on the Ukrainian power
                  grid},
  author =	 {Lee, Robert and Assante, Michael and Conway, Time},
  journal =	 {Electricity Information Sharing and Analysis Center
                  (E-ISAC)},
  volume =	 388,
  url =
                  {https://ics.sans.org/media/E-ISAC_SANS_Ukraine_DUC_5.pdf},
  year =	 2016
}

@book{mclaren:2015:sharing,
  title =	 {Sharing cities: a case for truly smart and
                  sustainable cities},
  author =	 {McLaren, Duncan and Agyeman, Julian},
  year =	 2015,
  publisher =	 {MIT press}
}

@inproceedings{nouira:1996:knowledge,
  title =	 {A knowledge based tool for the incremental
                  construction, validation and refinement of large
                  knowledge bases},
  author =	 {Nouira, Rym and Fouet, Jean-Marc},
  booktitle =	 {Workshop proceedings ECAI96},
  year =	 1996,
  url =
                  {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.50.8230&rep=rep1&type=pdf},
  organization = {Citeseer}
}

@book{oneil:2016:weapons,
  title =	 {Weapons of math destruction: How big data increases
                  inequality and threatens democracy},
  author =	 {O'Neil, Cathy},
  year =	 2016,
  publisher =	 {Broadway Books},
  url =
                  {https://en.wikipedia.org/wiki/Weapons\_of\_Math\_Destruction},
  isbn =	 9780553418811
}

@article{peleg:2000:distributed,
  title =	 {Distributed computing},
  author =	 {Peleg, David},
  journal =	 {SIAM Monographs on discrete mathematics and
                  applications},
  volume =	 5,
  pages =	 {1--1},
  year =	 2000,
  publisher =	 {Springer}
}

@book{pierce:2002:types,
  title =	 {Types and programming languages},
  author =	 {Pierce, Benjamin C.},
  year =	 2002,
  isbn =	 {0-262-16209-1},
  publisher =	 {MIT press}
}

@phdthesis{pop:ssa,
  TITLE =	 {{The SSA Representation Framework: Semantics,
                  Analyses and GCC Implementation}},
  AUTHOR =	 {Pop, Sebastian},
  URL =		 {https://pastel.archives-ouvertes.fr/pastel-00002281},
  SCHOOL =	 {{École Nationale Supérieure des Mines de Paris}},
  YEAR =	 2006,
  MONTH =	 Dec,
  KEYWORDS =	 {Program static analysis ; Static single assignment
                  language ; Ssa ; Denotational semantics ; Gcc ;
                  Abstract interpretation ; Langage d'assignation
                  statique unique ; Analyse statique de programmes ;
                  Interpr{\'e}tation abstraite ; S{\'e}mantique
                  d{\'e}notationelle},
  TYPE =	 {Thèse de Doctorat de l'École des Mines de Paris},
  PDF =
                  {https://pastel.archives-ouvertes.fr/pastel-00002281/file/thesepop381.pdf},
  HAL_ID =	 {pastel-00002281},
  HAL_VERSION =	 {v1},
}

@book{rich2014readings,
  title =	 {Readings in artificial intelligence and software
                  engineering},
  author =	 {Rich, Charles and Waters, Richard C},
  year =	 2014,
  publisher =	 {Morgan Kaufmann}
}

@inproceedings{romat:2019:activeink,
  title =	 {Activeink: (th)inking with data},
  author =	 {Romat, Hugo and Henry Riche, Nathalie and Hinckley,
                  Ken and Lee, Bongshin and Appert, Caroline and
                  Pietriga, Emmanuel and Collins, Christopher},
  booktitle =	 {Proceedings of the 2019 CHI Conference on Human
                  Factors in Computing Systems},
  pages =	 42,
  year =	 2019,
  url =
                  {https://hal.archives-ouvertes.fr/hal-02020272/file/hal.pdf},
  organization = {ACM}
}

@article{rougier:2017:ReScience,
  title =	 {Sustainable computational science: the ReScience
                  initiative},
  author =	 {Rougier, Nicolas P and Hinsen, Konrad and Alexandre,
                  Fr{\'e}d{\'e}ric and Arildsen, Thomas and Barba,
                  Lorena A and Benureau, Fabien CY and Brown, C Titus
                  and De Buyl, Pierre and Caglayan, Ozan and Davison,
                  Andrew P and others},
  journal =	 {PeerJ Computer Science},
  volume =	 3,
  pages =	 {e142},
  year =	 2017,
  url =
                  {https://www.labri.fr/perso/nrougier/papers/10.7717.peerj-cs.142.pdf},
  publisher =	 {PeerJ Inc.}
}

@article{rus2002knowledge,
  title =	 {Knowledge management in software engineering},
  author =	 {Rus, Ioana and Lindvall, Mikael and Sinha, S},
  journal =	 {IEEE software},
  volume =	 19,
  number =	 3,
  pages =	 {26--38},
  year =	 2002
}

@book{sangiorgi:2003:pi,
  title =	 {The $\pi$-calculus: a Theory of Mobile Processes},
  author =	 {Sangiorgi, Davide and Walker, David},
  year =	 2003,
  isbn =	 {0-521-7787177-9},
  publisher =	 {Cambridge university press}
}

@book{shalev:2014:understanding-machine-learning,
  title =	 {Understanding machine learning: From theory to
                  algorithms},
  author =	 {Shalev-Shwartz, Shai and Ben-David, Shai},
  year =	 2014,
  isbn =	 {978-1107-05713-5},
  publisher =	 {Cambridge university press}
}

@article{thain:2005:distributed-computing,
  title =	 {Distributed computing in practice: the
                  \textsc{Condor} experience},
  author =	 {Thain, Douglas and Tannenbaum, Todd and Livny,
                  Miron},
  journal =	 {Concurrency and computation: practice and
                  experience},
  volume =	 17,
  number =	 {2-4},
  pages =	 {323--356},
  year =	 2005,
  publisher =	 {Wiley Online Library}
}

@incollection{ueda:2007:mutual-adaptation,
  title =	 {Mutual Adaptation: A New Criterion for Designing and
                  Evaluating Human-Computer Interaction},
  author =	 {Ueda, Kazuhiro and Komatsu, Takanori},
  booktitle =	 {Conversational Informatics: An Engineering Approach},
  pages =	 {381--402},
  year =	 2007,
  publisher =	 {John Wiley \& Sons, Ltd},
  isbn =	 {978-0-470-02699-1}
}

@article{voigt:2017:eu-gdpr,
  title =	 {The \emph{EU} \textsc{general data protection
                  regulation}},
  author =	 {Voigt, Paul and Von dem Bussche, Axel},
  journal =	 {A Practical Guide, 1st Ed., Cham: Springer
                  International Publishing},
  year =	 2017,
  isbn =	 {978-3-319-57958-0},
  publisher =	 {Springer}
}

@phdthesis{waterman:2016:riscv-design,
  title =	 {Design of the {RISC-V} instruction set architecture},
  author =	 {Waterman, Andrew Shell},
  year =	 2016,
  school =	 {UC Berkeley}
}

@article{wu:2013:big-data-mining,
  title =	 {Data mining with big data},
  author =	 {Wu, Xindong and Zhu, Xingquan and Wu, Gong-Qing and
                  Ding, Wei},
  journal =	 {IEEE transactions on knowledge and data engineering},
  volume =	 26,
  number =	 1,
  pages =	 {97--107},
  year =	 2013,
  publisher =	 {IEEE}
}

@article{zhang:2019:learned,
  title =	 {"Learned" Operating Systems},
  author =	 {Zhang, Yiying and Huang, Yutong},
  journal =	 {ACM SIGOPS Operating Systems Review},
  volume =	 53,
  number =	 1,
  pages =	 {40--45},
  year =	 2019,
  publisher =	 {ACM New York, NY, USA}
}

@article{zuboff:2015:big-other,
  title =	 {Big other: surveillance capitalism and the prospects
                  of an information civilization},
  author =	 {Zuboff, Shoshana},
  journal =	 {Journal of Information Technology},
  volume =	 30,
  number =	 1,
  pages =	 {75--89},
  year =	 2015,
  url =		 {https://cryptome.org/2015/07/big-other.pdf},
  publisher =	 {Springer}
}

@Comment http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2219.htm
@Comment https://youtu.be/SI3uycKDH8Y 2018 EuroLLVM Developers’ Meeting: P. Sewell “The Cerberus Memory Object Semantics for ISO and ...”
