Author Publications

2012

Baaij, Christiaan and Kuper, Jan and Schubert, Lutz (2012) SoOSiM: Operating System and Programming Language Exploration. In: 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012), 10 Jul 2012, Pisa, Italy.

Wester, R. and Baaij, C.P.R. and Kuper, J. (2012) A two step hardware design method using CλaSH. In: 22nd International Conference on Field Programmable Logic and Applications, FPL 2012, 29-31 August 2012, Oslo, Norway.

2011

Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2011) Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: 14th EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland.

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (2011) Architecture Specifications in CλaSH. In: System Specification and Design Languages. Lecture Notes in Electrical Engineering, 106 . Springer Verlag, New York, pp. 191-206. ISBN 9781461414261

2010

Baaij, Christiaan and Kooijman, Matthijs and Kuper, Jan and Boeijink, Arjan and Gerards, Marco (2010) CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: 13th Euromicro Conference on Digital System Design, DSD 2010, 1-3 September 2010, Lille, France.

Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2010) Hiding State in CλaSH Hardware Descriptions. In: 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, 1-3 Sept 2010, Alphen aan den Rijn, the Netherlands.

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (2010) Exercises in architecture specification using CλaSH. In: Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England.

Niedermeier, Anja and Wester, Rinse and Baaij, Christiaan and Kuper, Jan and Smit, Gerard (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: PROGRESS 2010 Workshop on PROGram for Research on Embedded Systems and Software, 18-19 November, 2010, Veldhoven, the Netherlands.

Niedermeier, Anja and Wester, Rinse and Rovers, Kenneth and Baaij, Christiaan and Kuper, Jan and Smit, Gerard (2010) Designing a dataflow processor using CλaSH. In: 28th Norchip Conference, NORCHIP 2010, 15-16 November 2010, Tampere, Finland.

Smit, Gerard J.M. and Kuper, Jan and Baaij, Christiaan P.R. (2010) A mathematical approach towards hardware design. In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 July 2010, Dagstuhl, Germany.