diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-09-22 10:36:40 +0000 |
|---|---|---|
| committer | overleaf <overleaf@localhost> | 2020-10-24 15:09:08 +0000 |
| commit | 25fc95d19a586f774a99630ea34e58fb76e4e629 (patch) | |
| tree | 5809da7bc117d8bfd2049b3bca90aa610589c5d5 /conference.bib | |
| parent | dfac4f477dfa32611be640c2fef65646e717a6f0 (diff) | |
| download | fccm21_esrhls-25fc95d19a586f774a99630ea34e58fb76e4e629.tar.gz fccm21_esrhls-25fc95d19a586f774a99630ea34e58fb76e4e629.zip | |
Update on Overleaf.
Diffstat (limited to 'conference.bib')
| -rw-r--r-- | conference.bib | 16 |
1 files changed, 11 insertions, 5 deletions
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, |