diff --git a/content/publications/index.md b/content/publications/index.md index 7d982a8..5ed0e69 100644 --- a/content/publications/index.md +++ b/content/publications/index.md @@ -4,19 +4,25 @@ title: Academic publications disable_comments: true --- -# 2021 +# Adding a publication + +If you want to add a publication to this list, you can [edit this file on Github](https://github.com/clash-lang/clash-lang.org/tree/master/content/publications/index.md) and open a pull request. + +# Publications by year + +## 2021 * Klute, L.R.W. (2021) Space-time Trade-off in Clash: Improving Smart Machines. MSc thesis, University of Twente, The Netherlands, July 2021. * Strijker, H.W. (2021) Ethernet implementation in Clash. MSc thesis, University of Twente, The Netherlands, January 2021. -# 2020 +## 2020 * Westerveld, J.P. van (2020) FPGA partial reconfiguration and automatic variant generation as a side-channel attack countermeasure with functional HDL Clash. MSc thesis, University of Twente, The Netherlands, December 2020. * Bremmer, D.J. (2020) Mapping dataflow over multiple FPGAs in Clash. MSc thesis, University of Twente, The Netherlands, November 2020. -# 2019 +## 2019 * Lebbing, P. (2019) Modelling and Realizing the Tunnelling Ball Device in UniTi and CλaSH. MSc thesis, University of Twente, The Netherlands, June 2019. @@ -24,7 +30,7 @@ disable_comments: true * Wijlens, B. (2019) Building a framework in Clash to create deterministic sensor and actuator interfaces for FPGAs. MSc thesis, University of Twente, The Netherlands, 2019. -# 2017 +## 2017 * Wentink, D.J.M. (2017) Signal Recovery using CλaSH. MSc thesis, University of Twente, Enschede, The Netherlands, December 2017. @@ -34,7 +40,7 @@ disable_comments: true * Kuipers, F.P. (2017) FPGA design support using CλaSH and LUNA. MSc thesis, University of Twente, Enschede, The Netherlands, May 2017. -# 2016 +## 2016 * Appel, R.N. and Folmer, H.H. (2016) Analysis, optimization, and design of a SLAM solution for an implementation on reconfigurable hardware (FPGA) using CλaSH. MSc thesis, University of Twente, Enschede, The Netherlands, December 2016. @@ -42,7 +48,7 @@ disable_comments: true * Verheij, J.G.J. (2016) Co-simulation between CλaSH and traditional HDLs. MSc thesis, University of Twente, Enschede, The Netherlands, August 2016. -# 2015 +## 2015 * Raa, I. te (2015) Recursive functional hardware descriptions using CλaSH. MSc thesis, University of Twente, Enschede, The Netherlands, November 2015. * Wester, R. (2015) A transformation-based approach to hardware design using higher-order functions. PhD thesis, University of Twente, Enschede, The Netherlands, July 2015. @@ -57,7 +63,7 @@ disable_comments: true * Wester, R. and Kuper, J. (2014) Design space exploration of a particle filter using higher-order functions. In: Reconfigurable Computing: Architectures, Tools, and Applications. Lecture Notes in Computer Science 8405. Springer Verlag, London, pp. 219-226. ISSN 0302-9743 ISBN 978-3-319-05959-4. -# 2014 +## 2014 * Bos, J.C.H. (2014) Synthesizable Specification of a VLIW Processor in the Functional Hardware Description Language CλaSH. MSc thesis, University of Twente, Enschede, The Netherlands, September 2014. * Niedermeier, A. (2014) A Fine-Grained Parallel Dataflow-Inspired Architecture for Streaming Applications. PhD thesis, University of Twente, Enschede, The Netherlands, August 2014. @@ -72,15 +78,15 @@ disable_comments: true * Baaij, C.P.R. and Kuper, J. (2014) Using Rewriting to Synthesize Functional Languages to Digital Circuits. In: Jay McCarthy, editor, Trends in Functional Programming (TFP), Provo, UT, USA, May 14-16, 2013. Volume 8322 of Lecture Notes in Computer Science (LNCS). pages 17–33. Springer-Verlag. ISBN 978-3-642-45340-3. -# 2012 +## 2012 * Wester, R. and Baaij, C.P.R. and Kuper, J. (2012) A two step hardware design method using CλaSH. In: Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), Aug 29-31, 2012, Oslo, Norway. pages 181-188. IEEE Computer Society. ISBN 978-1-4673-2257-7. * Wester, R. and Sarakiotis, D. and Kooistra, E. and J. Kuper. (2012) Specifications of APERTIF Polyphase Filter Bank in CλaSH. In: Communicating Process Architectures (CPA), pages 53-64, United Kingdom, August 2012. Open Channel Publishing. ISBN 978-0-9565409-5-9. -# 2011 +## 2011 * Gerards, M.E.T. and Baaij, C.P.R. and Kuper, J. and Kooijman, M. (2011) Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: Proceedings of the 14th Conference on Digital System Design (DSD), Oulu, Finland. pages 495-502, 31 Aug - 2 September, 2011. IEEE Computer Society. ISBN 978-0-7695-4494-6. -# 2010 +## 2010 * Niedermeier, A. and Wester, R. and Rovers, K.C. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M. (2010) Designing a dataflow processor using CλaSH. In: 28th Norchip Conference, 15-16 November 2010, Tampere, Finland. 69. IEEE Circuits and Systems Society. ISBN 978-1-4244-8971-8. * Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T. (2010) Exercises in architecture specification using CλaSH. In: Proceedings of Forum on Specification and Design Languages (FDL), 2010, Southampton, England, Sept 13-16. pages 178-183. Electronic Chips & Systems design Initiative (ECSI). ISSN 1636-9874. @@ -89,7 +95,7 @@ disable_comments: true * Smit, G.J.M. and Kuper, J. and Baaij, C.P.R (2010) A mathematical approach towards hardware design. In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 July 2010, Dagstuhl, Germany. -# 2009 +## 2009 * Baaij, C.P.R. (2009) CλasH : from Haskell to hardware. MSc thesis, University of Twente, Enschede, The Netherlands, December 2009. * Kooijman, M. (2009) Haskell as a higher order structural hardware description language. MSc thesis, University of Twente, Enschede, The Netherlands, December 2009.