From f391370cd91c5848496ae47ab246afa0a0bbd6e2 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Wed, 18 Nov 2020 21:49:59 +0000
Subject: Update on Overleaf.

---
 references.bib | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

(limited to 'references.bib')

diff --git a/references.bib b/references.bib
index 3c54005..6ea9e0b 100644
--- a/references.bib
+++ b/references.bib
@@ -49,6 +49,35 @@ year = {2020},
   pages={857-858},
   doi={10.1145/1837274.1837489}}
   
+@INPROCEEDINGS{bluespec,
+  author={Nikhil, Rishiyur S. },
+  booktitle={Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.}, 
+  title={Bluespec System Verilog: efficient, correct RTL from high level specifications}, 
+  year={2004},
+  volume={},
+  number={},
+  pages={69-70},
+  doi={10.1109/MEMCOD.2004.1459818}}
+  
+@inproceedings{spatial,
+  author    = {David Koeplinger and
+               Matthew Feldman and
+               Raghu Prabhakar and
+               Yaqi Zhang and
+               Stefan Hadjis and
+               Ruben Fiszel and
+               Tian Zhao and
+               Luigi Nardi and
+               Ardavan Pedram and
+               Christos Kozyrakis and
+               Kunle Olukotun},
+  title     = {Spatial: a language and compiler for application accelerators},
+  booktitle = {{PLDI}},
+  pages     = {296--311},
+  publisher = {{ACM}},
+  year      = {2018}
+}
+  
 @article{greaves_note,
   author    = {David J. Greaves},
   title     = {Research Note: An Open Source Bluespec Compiler},
-- 
cgit