Add references

2 files changed, 153 insertions, 0 deletions

diff --git a/report/auto/references.el b/report/auto/references.el
new file mode 100644
index 0000000..a16e920
--- /dev/null
+++ b/report/auto/references.el
@@ -0,0 +1,15 @@
+(TeX-add-style-hook
+ "references"
+ (lambda ()
+   (LaTeX-add-bibitems
+    "10.1007/3-540-60117-1_16"
+    "Chen:2013:TCF:2499370.2462173"
+    "Lidbury:2015:MCF:2813885.2737986"
+    "Godefroid:2008:GWF:1379022.1375607"
+    "Le:2015:FDC:2858965.2814319"
+    "Yang:2011:FUB:1993316.1993532"
+    "Miller:1990:ESR:96267.96279"
+    "laeufer2018rfuzz"
+    "braibant2013formal"))
+ :bibtex)
+
diff --git a/report/references.bib b/report/references.bib
new file mode 100644
index 0000000..ef6785d
--- /dev/null
+++ b/report/references.bib
@@ -0,0 +1,138 @@
+@InProceedings{10.1007/3-540-60117-1_16,
+author="Gibbons, Jeremy",
+editor="M{\"o}ller, Bernhard",
+title="An initial-algebra approach to directed acyclic graphs",
+booktitle="Mathematics of Program Construction",
+year="1995",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="282--303",
+abstract="The initial-algebra approach to modelling datatypes consists of giving constructors for building larger objects of that type from smaller ones, and laws identifying different ways of constructing the same object. The recursive decomposition of objects of the datatype leads directly to a recursive pattern of computation on those objects, which is very helpful for both functional and parallel programming.",
+isbn="978-3-540-49445-4"
+}
+@article{Chen:2013:TCF:2499370.2462173,
+ author = {Chen, Yang and Groce, Alex and Zhang, Chaoqiang and Wong, Weng-Keen and Fern, Xiaoli and Eide, Eric and Regehr, John},
+ title = {Taming Compiler Fuzzers},
+ journal = {SIGPLAN Not.},
+ issue_date = {June 2013},
+ volume = {48},
+ number = {6},
+ month = jun,
+ year = {2013},
+ issn = {0362-1340},
+ pages = {197--208},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/2499370.2462173},
+ doi = {10.1145/2499370.2462173},
+ acmid = {2462173},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {automated testing, bug reporting, compiler defect, compiler testing, fuzz testing, random testing, test-case reduction},
+}
+@article{Lidbury:2015:MCF:2813885.2737986,
+ author = {Lidbury, Christopher and Lascu, Andrei and Chong, Nathan and Donaldson, Alastair F.},
+ title = {Many-core Compiler Fuzzing},
+ journal = {SIGPLAN Not.},
+ issue_date = {June 2015},
+ volume = {50},
+ number = {6},
+ month = jun,
+ year = {2015},
+ issn = {0362-1340},
+ pages = {65--76},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/2813885.2737986},
+ doi = {10.1145/2813885.2737986},
+ acmid = {2737986},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {Compilers, GPUs, OpenCL, concurrency, metamor- phic testing, random testing},
+}
+@article{Godefroid:2008:GWF:1379022.1375607,
+ author = {Godefroid, Patrice and Kiezun, Adam and Levin, Michael Y.},
+ title = {Grammar-based Whitebox Fuzzing},
+ journal = {SIGPLAN Not.},
+ issue_date = {June 2008},
+ volume = {43},
+ number = {6},
+ month = jun,
+ year = {2008},
+ issn = {0362-1340},
+ pages = {206--215},
+ numpages = {10},
+ url = {http://doi.acm.org/10.1145/1379022.1375607},
+ doi = {10.1145/1379022.1375607},
+ acmid = {1375607},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {automatic test generation, grammars, program verification, software testing},
+}
+@article{Le:2015:FDC:2858965.2814319,
+ author = {Le, Vu and Sun, Chengnian and Su, Zhendong},
+ title = {Finding Deep Compiler Bugs via Guided Stochastic Program Mutation},
+ journal = {SIGPLAN Not.},
+ issue_date = {October 2015},
+ volume = {50},
+ number = {10},
+ month = oct,
+ year = {2015},
+ issn = {0362-1340},
+ pages = {386--399},
+ numpages = {14},
+ url = {http://doi.acm.org/10.1145/2858965.2814319},
+ doi = {10.1145/2858965.2814319},
+ acmid = {2814319},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {Compiler testing, Markov Chain Monte Carlo, automated testing, equivalent program variants},
+}
+@article{Yang:2011:FUB:1993316.1993532,
+ author = {Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},
+ title = {Finding and Understanding Bugs in C Compilers},
+ journal = {SIGPLAN Not.},
+ issue_date = {June 2011},
+ volume = {46},
+ number = {6},
+ month = jun,
+ year = {2011},
+ issn = {0362-1340},
+ pages = {283--294},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/1993316.1993532},
+ doi = {10.1145/1993316.1993532},
+ acmid = {1993532},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {automated testing, compiler defect, compiler testing, random program generation, random testing},
+}
+@article{Miller:1990:ESR:96267.96279,
+ author = {Miller, Barton P. and Fredriksen, Louis and So, Bryan},
+ title = {An Empirical Study of the Reliability of UNIX Utilities},
+ journal = {Commun. ACM},
+ issue_date = {Dec. 1990},
+ volume = {33},
+ number = {12},
+ month = dec,
+ year = {1990},
+ issn = {0001-0782},
+ pages = {32--44},
+ numpages = {13},
+ url = {http://doi.acm.org/10.1145/96267.96279},
+ doi = {10.1145/96267.96279},
+ acmid = {96279},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+@article{laeufer2018rfuzz,
+  title={RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs},
+  author={Laeufer, Kevin and Koenig, Jack and Kim, Donggyu and Bachrach, Jonathan and Sen, Koushik},
+  year={2018}
+}
+@inproceedings{braibant2013formal,
+  title={Formal verification of hardware synthesis},
+  author={Braibant, Thomas and Chlipala, Adam},
+  booktitle={International Conference on Computer Aided Verification},
+  pages={213--228},
+  year={2013},
+  organization={Springer}
+}