diff options
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}, +} |