X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=clash.bib;h=d9c222526d62f7b865bacaa9a76c194a3800acf0;hp=012a67a13dc909f2a3267a6d1fdea72f20177991;hb=873181fb5443e30352ce819956fdac9a45e28faa;hpb=629ef68304bc567e89c7617e9c20c5f1053e8ec6

diff --git a/clash.bib b/clash.bib
index 012a67a..d9c2225 100644
--- a/clash.bib
+++ b/clash.bib
@@ -92,6 +92,30 @@
   timestamp = {2010.02.26}
 }
 
+@UNPUBLISHED{kansaslava,
+  author = {Andy Gill and T. Bull and Garrin Kimmell and Erik Perrins and Ed
+	Komp and B. Werling},
+  title = {Introducing Kansas Lava},
+  note = {Submitted to The International Symposia on Implementation and Application
+	of Functional Languages (IFL){\textquoteright}09},
+  month = {November},
+  year = {2009},
+  abstract = {Kansas Lava is a domain specific language for hardware description.
+	Though there have been a number of previous implementations of Lava,
+	we have found the design space rich, with unexplored choices. We
+	use a direct (Chalmers style) specification of circuits, and make
+	significant use of Haskell overloading of standard classes, leading
+	to concise circuit descriptions. Kansas Lava supports both simulation
+	(inside GHCi), and execution via VHDL, by having a dual shallow and
+	deep embedding inside our Signal type. We also have a lightweight
+	sized-type mechanism, allowing for MATLAB style matrix based specifications
+	to be directly expressed in Kansas Lava.},
+  journal = {Submitted to IFL{\textquoteright}09},
+  owner = {baaijcpr},
+  timestamp = {2010.03.11},
+  url = {http://ittc.ku.edu/~andygill/papers/kansas-lava-ifl09.pdf}
+}
+
 @ARTICLE{reFLect,
   author = {Grundy,Jim and Melham,Tom and O'Leary,John},
   title = {{A reflective functional language for hardware design and theorem
@@ -273,6 +297,19 @@
   timestamp = {2010.01.25}
 }
 
+@INCOLLECTION{Bluespec,
+  author = {Rishiyur S. Nikhil},
+  title = {{Bluespec: A General-Purpose Approach to High-Level Synthesis Based
+	on Parallel Atomic Transactions}},
+  booktitle = {{High-Level Synthesis - From Algorithm to Digital Circuit}},
+  publisher = {Springer Netherlands},
+  year = {2008},
+  editor = {{Philippe Coussy and Adam Morawiec}},
+  pages = {129--146},
+  owner = {baaijcpr},
+  timestamp = {2010.03.09}
+}
+
 @INPROCEEDINGS{Hydra,
   author = {John O'Donnell},
   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
@@ -404,6 +441,12 @@
   timestamp = {2010.01.29}
 }
 
+@MISC{blindreview,
+  title = {Hidden for blind review},
+  owner = {baaijcpr},
+  timestamp = {2010.03.12}
+}
+
 @STANDARD{VHDL2008,
   title = {{VHDL Language Reference Manual}},
   organization = {IEEE},