diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-13 17:06:33 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-13 17:06:33 +0000 |
| commit | ce185dfe9a62e196cdc05a25f7ebeb905422517a (patch) | |
| tree | c134151d49a1a369262c10045b045b38768c35ef /references.bib | |
| parent | 9efde6351aeb4a22969e712a8bb1c36ed5c3d344 (diff) | |
| download | oopsla21_fvhls-ce185dfe9a62e196cdc05a25f7ebeb905422517a.tar.gz oopsla21_fvhls-ce185dfe9a62e196cdc05a25f7ebeb905422517a.zip | |
Add more tension to introduction
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 27cc88f..6e2babd 100644 --- a/references.bib +++ b/references.bib @@ -484,3 +484,22 @@ publisher = {Association for Computing Machinery}, series = {PLDI 2020}, } + +@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, + keywords = {random program generation, random testing, automated testing, compiler testing, + compiler defect}, + location = {San Jose, California, USA}, + numpages = 12, + publisher = {Association for Computing Machinery}, + series = {PLDI '11} +} |