Contacts

Christiaan Baaij

Position:Postdoc
Email:This email address is being protected from spambots. You need JavaScript enabled to view it.
Web:
 
Address:Zilverling 5096
P.O. Box 217
7500 AE Enschede
The Netherlands
Telephone:+31 53 489 4812
Fax:+31 53 489 4590
Secretary:+31 53 489 3770

Publications:

2015

Baaij, C.P.R. (2015) Digital circuit in CλaSH: functional specifications and type-directed synthesis. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-335 ISBN 978-90-365-3803-9

2014

Baaij, C.P.R. and Kuper, J. (2014) Using rewriting to synthesize functional languages to digital circuits. In: 14th International Symposium Trends in Functional Programming, TFP 2013, 14-16 May 2013, Provo, UT, USA. pp. 17-33. Lecture notes in computer science 8322. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-45339-7

2013

Uchevler, B.N. and Svarstad, K. and Kuper, J. and Baaij, C.P.R. (2013) System-level modelling of dynamic reconfigurable designs using functional programming abstractions. In: 14th International Symposium on Quality Electronic Design (ISQED), 4-6 Mar 2013, Santa Clara, CA, USA. pp. 379-385. IEEE. ISSN 1948-3287 ISBN 978-1-4673-4951-2

2012

Baaij, C.P.R. and Kuper, J. and Schubert, L. (2012) SoOSiM: Operating System and Programming Language Exploration. In: Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012), 10 Jul 2012, Pisa, Italy. pp. 63-68. Giuseppe Lipari. ISBN not assigned
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 Aug 2012, Oslo, Norway. pp. 181-188. IEEE Computer Society. ISBN 978-1-4673-2257-7

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 EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland. pp. 495-502. IEEE Computer Society. ISBN 978-0-7695-4494-6
Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T. (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 978-1-4614-1426-1

2010

Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Boeijink, W.A. and Gerards, M.E.T. (2010) CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, 1-3 Sep 2010, Lille, France. pp. 714-721. IEEE Computer Society. ISBN 978-0-7695-4171-6
Gerards, M.E.T. and Baaij, C.P.R. and Kuper, J. and Kooijman, M. (2010) Hiding State in CλaSH Hardware Descriptions. In: Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), 01-03 Sept 2010, Alphen aan den Rijn, the Netherlands. pp. 107-119. Utrecht University. ISSN 0924-3275
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, 13-16 September 2010, Southampton, England. pp. 178-183. ECSI Electronic Chips & Systems design Initiative. ISSN 1636-9874
Niedermeier, A. and Wester, R. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M. (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: Proceedings of the Workshop on PROGram for Research on Embedded Systems and Software (PROGRESS 2010), 18-19 Nov 2010, Veldhoven, The Netherlands. pp. 216-221. Technology Foundation STW. ISBN 978-90-73461-67-3
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, NORCHIP 2010, 15-16 November 2010, Tampere, Finland. 69. IEEE Circuits and Systems Society. ISBN 978-1-4244-8971-8
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 Jul 2010, Dagstuhl, Germany. 11. Dagstuhl Seminar Proceedings 10281. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI). ISSN 1862-4405

2009

Baaij, C.P.R. (2009) CλasH: From Haskell To Hardware. Master's thesis, University of Twente.
Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Gerards, M.E.T. and Molenkamp, E. (2009) Tool Demonstration: CLasH - From Haskell to Hardware. In: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Edinburgh, Scotland. pp. 3-3. ACM. ISBN 978-1-60558-508-6

Free Joomla Templates designed by Web Hosting Top