Kenro

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Kenro: a virtual machine monitor mostly described in Haskell

Full text

Pdf (235 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents

Honolulu, Hawaii

POSTER SESSION: Poster papers table of contents

Pages 1940-1941

Year of Publication: 2009

ISBN:978-1-60558-166-8

Authors

Yoshihiro Oyama	The University of Electro-Communications
Yoshiki Kaneko	The University of Electro-Communications
Hideya Iwasaki	The University of Electro-Communications

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 45, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529714 What is a DOI?

ABSTRACT

We report on our experiences developing a tiny virtual machine monitor, named Kenro, mostly in Haskell as a concrete example of low-level, hardware-dependent system software. The development of Kenro was greatly helped by features of Haskell, including higher-order functions, strong static typing, and the automatic memory management. We describe the advantages and limitations of Haskell studied through our development experience.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	F. Bellard. QEMU. http://bellard.org/qemu/.
	2	Iavor S. Diatchki , Thomas Hallgren , Mark P. Jones , Rebekah Leslie , Andrew Tolmach, Writing systems software in a functional language: an experience report, Proceedings of the 4th workshop on Programming languages and operating systems, October 18-18, 2007, Stevenson, Washington [doi>10.1145/1376789.1376791]
	3	Thomas Hallgren , Mark P. Jones , Rebekah Leslie , Andrew Tolmach, A principled approach to operating system construction in Haskell, Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, September 26-28, 2005, Tallinn, Estonia