
@periodical{transactions,
 title = {ACM Transactions on Database Systems (TODS)},
 abbr = {ACM Trans. Database Syst.},
 issn = {0362-5915},
 publisher = {ACM},
 address = {New York, NY, USA},
 key = {{$\!\!$}} ,
}

@book{nodeJS,
  Author = {Pedro Teixeira},
  Title = {Professional Node.js: Building Javascript Based Scalable Software},
  Publisher = {Wrox},
  Year = {2012},
  ISBN = {1118185463}
}

@article{scheduler,
 author = {Liu, C. L. and Layland, James W.},
 title = {Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment},
 journal = {J. ACM},
 issue_date = {Jan. 1973},
 volume = {20},
 number = {1},
 month = jan,
 year = {1973},
 issn = {0004-5411},
 pages = {46--61},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/321738.321743},
 doi = {10.1145/321738.321743},
 acmid = {321743},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@book{normalDist,
  Author = {George Casella and Roger L. Berger},
  Title = {Statistical Inference},
  Publisher = {Duxbury Press},
  Year = {2001},
  ISBN = {0534243126}
}

@article{normalDist2,
 author = {Lyon, A.},
 title = {Why are Normal Distributions Normal?},
 journal = {The British Journal for the Philosophy of Science},
 year = {2014}
}

@Book{syncConstructs,
  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},
}

@book{antlr,
  Author = {Terence Parr},
  Title = {The Definitive ANTLR 4 Reference},
  Publisher = {Pragmatic Bookshelf},
  Year = {2013},
  ISBN = {1934356999}
}

@Book{graphTheory,
  Title                    = {Graph Theory},
  Annote                   = {SIGNATUR = 749.774},
  Author                   = {Reinhard Diestel},
  Keywords                 = {FUNDAMENTALS mathematics},
  Publisher                = {Springer},
  Year                     = {1997},
  Number                   = {173},
  Series                   = {Graduate Texts in Mathematics},
  Place                    = {Favoritenstrasse 9/4th Floor/1863}
}

@article{copyOnWrite,
 author = {Rodeh, Ohad},
 title = {B-trees, Shadowing, and Clones},
 journal = {Trans. Storage},
 issue_date = {February 2008},
 volume = {3},
 number = {4},
 month = feb,
 year = {2008},
 issn = {1553-3077},
 pages = {2:1--2:27},
 articleno = {2},
 numpages = {27},
 doi = {10.1145/1326542.1326544},
 acmid = {1326544},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Shadowing, b-trees, concurrency, copy-on-write, snapshots},
}

@article{booleanMinimization,
  title={A mathematical approach to the boolean minimization problem},
  author={Du{\c{s}}a, Adrian},
  journal={Quality \& Quantity},
  volume={44},
  number={1},
  pages={99},
  year={2010},
  publisher={Springer}
}

@article{symbolicExecution,
  title={Symbolic execution and program testing},
  author={King, James C},
  journal={Communications of the ACM},
  volume={19},
  number={7},
  pages={385--394},
  year={1976},
  publisher={ACM}
}

@book{llParsing,
  title={Parsing Theory: Volume II LR (k) and LL (k) Parsing},
  author={Sippu, Seppo and Soisalon-Soininen, Eljas},
  volume={20},
  year={2013},
  publisher={Springer Science \& Business Media}
}

@book{formalLanguages,
  title={Handbook of Formal Languages: Volume 3 Beyond Words},
  author={Rozenberg, Grzegorz and Salomaa, Arto},
  year={2012},
  publisher={Springer Science \& Business Media}
}

@article{complexity,
  title={An overview of computational complexity},
  author={Cook, Stephen A},
  journal={Communications of the ACM},
  volume={26},
  number={6},
  pages={400--408},
  year={1983},
  publisher={ACM}
}

@book{compilerConstruction,
  title={Compiler construction: theory and practice},
  author={Barrett, William A and Couch, John D},
  year={1979},
  publisher={Science Research Associates Chicago}
}

@inproceedings{abstraction,
  title={Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
  author={Cousot, Patrick and Cousot, Radhia},
  booktitle={Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={238--252},
  year={1977},
  organization={ACM}
}

@article{shapeAnalysis,
  title={Parametric shape analysis via 3-valued logic},
  author={Sagiv, Mooly and Reps, Thomas and Wilhelm, Reinhard},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={24},
  number={3},
  pages={217--298},
  year={2002},
  publisher={ACM}
}

@article{verification,
  title={Software verification and validation: an overview},
  author={Wallace, Dolores R. and Fujii, Roger U.},
  journal={Ieee Software},
  volume={6},
  number={3},
  pages={10--17},
  year={1989},
  publisher={IEEE}
}

@book{cppSpec,
  added-at = {2012-10-08T01:13:47.000+0200},
  address = {Geneva, Switzerland},
  author = {{ISO}},
  bibdate = {Mon Dec 19 11:12:12 2011},
  bibsource = {http://www.math.utah.edu/pub/tex/bib/isostd.bib},
  biburl = {https://www.bibsonomy.org/bibtex/24b660c16d9a5ab0ad595b1555402c797/gron},
  day = 28,
  interhash = {ff5df6d7fa67f89d7d5ea964dab3e3c9},
  intrahash = {4b660c16d9a5ab0ad595b1555402c797},
  keywords = {C++ Specification Standard},
  month = feb,
  pages = {1338 (est.)},
  publisher = {International Organization for Standardization},
  remark = {Revises ISO/IEC 14882:2003.},
  timestamp = {2012-10-08T01:13:47.000+0200},
  title = {{ISO/IEC 14882:2011 Information technology --- Programming languages --- C++}},
  url = {http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=50372},
  year = 2012
}

@inproceedings{turingCompleteness,
  title={Turing completeness in the language of genetic programming with indexed memory},
  author={Teller, Astro},
  booktitle={Evolutionary Computation, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the First IEEE Conference on},
  pages={136--141},
  year={1994},
  organization={IEEE}
}

@inproceedings{httpPerf1,
  title={Generating representative web workloads for network and server performance evaluation},
  author={Barford, Paul and Crovella, Mark},
  booktitle={ACM SIGMETRICS Performance Evaluation Review},
  volume={26},
  number={1},
  pages={151--160},
  year={1998},
  organization={ACM}
}

@article{httpPerf2,
  title={httperf—a tool for measuring web server performance},
  author={Mosberger, David and Jin, Tai},
  journal={ACM SIGMETRICS Performance Evaluation Review},
  volume={26},
  number={3},
  pages={31--37},
  year={1998},
  publisher={ACM}
}

@article{programmingParadigms,
  title={Operational versus definitional: A perspective on programming paradigms},
  author={Ambler, Allen L. and Burnett, Margaret M. and Zimmerman, Betsy A.},
  journal={Computer},
  volume={25},
  number={9},
  pages={28--43},
  year={1992},
  publisher={IEEE}
}

@book{syntaxSemantics,
  title={Programming language syntax and semantics},
  author={Watt, David Anthony},
  year={1996},
  publisher={Prentice Hall PTR}
}

@incollection{oop,
  title={Object-oriented programming},
  author={Smith, Ben},
  booktitle={Advanced ActionScript 3},
  pages={1--23},
  year={2015},
  publisher={Springer}
}

@inproceedings{polymorphism,
  title={Compiling polymorphism using intensional type analysis},
  author={Harper, Robert and Morrisett, Greg},
  booktitle={Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  pages={130--141},
  year={1995},
  organization={ACM}
}
