Add more references

1 files changed, 52 insertions, 0 deletions

diff --git a/references.bib b/references.bib
index 840a580..24b1f75 100644
--- a/references.bib
+++ b/references.bib
@@ -35,3 +35,55 @@
 	year = {1986},
 	school = {INRIA}
 }
+
+@inproceedings{loow21_lutsig,
+	author = {L\"{o}\"{o}w, Andreas},
+	title = {Lutsig: A Verified Verilog Compiler for Verified Circuit Development},
+	year = {2021},
+	isbn = {9781450382991},
+	publisher = {Association for Computing Machinery},
+	address = {New York, NY, USA},
+	url = {https://doi.org/10.1145/3437992.3439916},
+	doi = {10.1145/3437992.3439916},
+	booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
+	pages = {46–60},
+	numpages = {15},
+	location = {Virtual, Denmark},
+	series = {CPP 2021}
+}
+
+@inproceedings{yang11_findin_under_bugs_c_compil,
+	author = {Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},
+	title = {Finding and Understanding Bugs in C Compilers},
+	booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design
+                  and Implementation},
+	year = 2011,
+	pages = {283-294},
+	doi = {10.1145/1993498.1993532},
+	url = {https://doi.org/10.1145/1993498.1993532},
+	address = {New York, NY, USA},
+	isbn = 9781450306638,
+	location = {San Jose, California, USA},
+	numpages = 12,
+	publisher = {Association for Computing Machinery},
+	series = {PLDI '11}
+}
+
+@article{leroy09_formal_verif_realis_compil,
+	author = {Leroy, Xavier},
+	title = {Formal Verification of a Realistic Compiler},
+	tags = {verification},
+	journal = {Commun. ACM},
+	volume = 52,
+	number = 7,
+	pages = {107--115},
+	year = 2009,
+	doi = {10.1145/1538788.1538814},
+	acmid = 1538814,
+	address = {New York, NY, USA},
+	issn = {0001-0782},
+	issue_date = {July 2009},
+	month = jul,
+	numpages = 9,
+	publisher = {ACM}
+}