From 25fc95d19a586f774a99630ea34e58fb76e4e629 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Tue, 22 Sep 2020 10:36:40 +0000
Subject: Update on Overleaf.

---
 conference.bib | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'conference.bib')

diff --git a/conference.bib b/conference.bib
index f4c31dc..05a4c24 100644
--- a/conference.bib
+++ b/conference.bib
@@ -57,6 +57,7 @@
   numpages =     12,
   publisher =    {ACM},
   series =       {PLDI '11},
+  doi={10.1145/1993498.1993532},
 }
 
 @inproceedings{lidbury15_many_core_compil_fuzzin,
@@ -121,7 +122,8 @@ with {LegUp} High-Level Synthesis},
   author={Regehr, John and Chen, Yang and Cuoq, Pascal and Eide, Eric and Ellison, Chucky and Yang, Xuejun},
   booktitle={Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation},
   pages={335--346},
-  year={2012}
+  year={2012},
+  doi={10.1145/2254064.2254104},
 }
 
 @inproceedings{fuzzing+chen+13+taming,
@@ -129,7 +131,8 @@ with {LegUp} High-Level Synthesis},
   author={Chen, Yang and Groce, Alex and Zhang, Chaoqiang and Wong, Weng-Keen and Fern, Xiaoli and Eide, Eric and Regehr, John},
   booktitle={Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation},
   pages={197--208},
-  year={2013}
+  year={2013},
+  doi={10.1145/2491956.2462173},
 }
 
 @article{fuzzing+liang+18+survey,
@@ -140,7 +143,8 @@ with {LegUp} High-Level Synthesis},
   number={3},
   pages={1199--1218},
   year={2018},
-  publisher={IEEE}
+  publisher={IEEE},
+  doi={10.1109/TR.2018.2834476}
 }
 
 @inproceedings{fuzz+sun+16+toward,
@@ -148,7 +152,8 @@ with {LegUp} High-Level Synthesis},
   author={Sun, Chengnian and Le, Vu and Zhang, Qirun and Su, Zhendong},
   booktitle={Proceedings of the 25th International Symposium on Software Testing and Analysis},
   pages={294--305},
-  year={2016}
+  year={2016},
+  doi={10.1145/2931037.2931074},
 }
 
 @inproceedings{fuzzing+zhang+19,
@@ -156,7 +161,8 @@ with {LegUp} High-Level Synthesis},
   author={Zhang, Chengyu and Su, Ting and Yan, Yichen and Zhang, Fuyuan and Pu, Geguang and Su, Zhendong},
   booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
   pages={763--773},
-  year={2019}
+  year={2019},
+  doi={10.1145/3338906.3338932}
 }
 
 @article{perna12_mechan_wire_wise_verif_handel_c_synth,
-- 
cgit