diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 09:23:24 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 09:23:24 +0000 |
commit | facb9cd3cc3af18ac9061dab5af59fa1858cae28 (patch) | |
tree | 63f338668d9458cac5a4d40980bee8c72a0edf6c /references.bib | |
parent | 293dc6742022713d5275e9edbb876c168d272039 (diff) | |
download | latte21_hlstpc-facb9cd3cc3af18ac9061dab5af59fa1858cae28.tar.gz latte21_hlstpc-facb9cd3cc3af18ac9061dab5af59fa1858cae28.zip |
Add more changes
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 9b5fd27..9ece4da 100644 --- a/references.bib +++ b/references.bib @@ -260,3 +260,30 @@ publisher = {Association for Computing Machinery}, series = {PLDI 2020} } + +@article{choi17_kami, + author = {Choi, Joonwon and Vijayaraghavan, Muralidaran and Sherman, Benjamin and Chlipala, Adam and Arvind}, + title = {Kami: a Platform for High-Level Parametric Hardware Specification and Its Modular Verification}, + tags = {verification}, + journal = {Proc. ACM Program. Lang.}, + volume = 1, + number = {ICFP}, + pages = {24:1--24:30}, + year = 2017, + doi = {10.1145/3110268}, + url = {https://doi.org/10.1145/3110268}, + acmid = 3110268, + address = {New York, NY, USA}, + articleno = 24, + issn = {2475-1421}, + issue_date = {September 2017}, + month = aug, + numpages = 30, + publisher = {ACM} +} + +@misc{singh_silver_oak, +title = {{Silver Oak}}, +author = {Satnam Singh}, +url = {https://github.com/project-oak/silveroak}, +} |