diff options
| author | n.ramanathan14 <n.ramanathan14@imperial.ac.uk> | 2020-09-13 20:14:22 +0000 |
|---|---|---|
| committer | overleaf <overleaf@localhost> | 2020-09-13 20:14:24 +0000 |
| commit | 3b690dcc08f68ec4393b9b9ca0670e5abb409b7c (patch) | |
| tree | 8310a815ce0da85a76c8fda06de076c5f6d66ca9 /conference.bib | |
| parent | 20ab193a2d80f5995c74174abeaf01d002c3fbc7 (diff) | |
| download | fccm21_esrhls-3b690dcc08f68ec4393b9b9ca0670e5abb409b7c.tar.gz fccm21_esrhls-3b690dcc08f68ec4393b9b9ca0670e5abb409b7c.zip | |
Update on Overleaf.
Diffstat (limited to 'conference.bib')
| -rw-r--r-- | conference.bib | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/conference.bib b/conference.bib index 178b5ec..78729a5 100644 --- a/conference.bib +++ b/conference.bib @@ -124,6 +124,14 @@ with {LegUp} High-Level Synthesis}, year={2012} } +@inproceedings{chen2013taming, + title={Taming compiler fuzzers}, + 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} +} + @article{perna12_mechan_wire_wise_verif_handel_c_synth, author = "Juan Perna and Jim Woodcock", title = {Mechanised Wire-Wise Verification of {Handel-C} Synthesis}, |