A principled approach to operating system construction in Haskell

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 116-128

  Hallgren, Thomas ^a   Jones, Mark P ^a   Leslie, Rebekah ^b   Tolmach, Andrew ^b  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b Portland State University   (United States)

Author keywords

Hardware interface; Haskell; Monads; Operating systems; Programming logic; Verification

Indexed keywords

GLASGOW HASKELL COMPILERS; HARDWARE FEATURES; HARDWARE INTERFACES; HASKELL; MEMORY MANAGEMENT HARDWARE; MONADS; PROCESS EXECUTION; PROGRAMMING LOGIC;

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FUNCTIONAL PROGRAMMING; VERIFICATION;

HARDWARE;

EID: 33750416062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086380     Document Type: Conference Paper

References (28)

1. F. Bellard. QEMU. http://fabrice.bellard.free.fr/qemu/.
2. E. Biagioni, R. Harper, and P. Lee. A Network Protocol Stack in Standard ML. Higher Order Symbol. Comput., 14(4):309-356, 2001.
3. L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3: Language definition. http://www. research.compaq.com/SRC/ m3defn/html/complete.html.
4. S. Carlier and J. Bobbio. hOp. http://www.macs.hw.ac.uk/~sebc/hOp/, 2004.
5. A. Cheadle, T. Field, S. Marlow, S. Peyton Jones, and L. While. Exploring the Barrier to Entry: Incremental Generational Garbage Collection for Haskell. In Int. Symp. on Memory Management, pages 163-174, 2004.
6. J. Cupitt. A brief walk thourgh KAOS. Techical Report 58, Computing Laboratory, Univ. of Kent at Canterbury, February 1989.
7. Cyclone. http://www.research.att.com/projects/cyclone/.
8. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Proc. OASIS ASPLOS Workshop, 2004.
9. G. Fu. Design and implementation of an operating system in Standard ML. Master's thesis, University of Hawaii, August 1999.
10. Glasgow haskell compiler. http://www.haskell.org/ghc.
11. Grub. http://www.gnu.org/software/grub/.
12. T. Hallgren. The House web page. http://www.cse.ogi.edu/~hallgren/House/, 2004.
13. Intel Corp. IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide, 2004.
14. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y.Wang. Cyclone: A Safe Dialect of C. In USENIX Annual Technical Conference, pages 275-288, June 2002.
15. M. P. Jones. Functional programming with overloading and higherorder polymorphism. In Advanced Functional Programming, 1st Int. Spring School on Advanced Functional Programming Techniques- Tutorial Text, pages 97-136, London, UK, 1995. Springer-Verlag.
16. M. P. Jones. Bare Metal: A Programatica model of hardware. In High Confidence Software and Systems Conference, Baltimore, MD, March 2005.
17. K. Karlsson. Nebula: A functional operating system. Technical report, Programing Methodology Group, University of Göteborg and Chalmers University of Technology, 1981.
18. R. B. Kieburtz. P-logic: Property verification for Haskell programs. ftp://ftp.cse.ogi.edu/pub/pacsoft/papers/Plogic.pdf, August 2002.
19. S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In POPL '95: Proc. 22nd ACM Symp. on Principles of programming languages, pages 333-343, 1995.
20. R. Noble. Lazy Functional Components for Graphical User Interface. PhD thesis, University of York, November 1995.
21. The OSKit Project. http://www.cs.utah.edu/flux/oskit/.
22. The Programatica Project home page. www.cse.ogi.edu/PacSoft/ projects/programatica/, 2002.
23. The SPIN project. http://www.cs.washington.edu/research/projects/spin/ www/, 1997.
24. W. Stoye. Message-based functional operating systems. Science of Computer Programming, 6:291-311, 1986.
25. L. Team. L4 eXperimental Kernel Reference Manual, January 2005.
26. Video Electronics Standards Association. VESA BIOS EXTENSION (VBE) - Core Functions Standard, Version: 3.0, September 1998. www.vesa.org.
27. M. Wallace. Functional Programming and Embedded Systems. PhD thesis, Dept of Computer Science, Univ. of York, UK, January 1995.
28. M. Wallace and C. Runciman. Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. In FPCA '95: Proc. 7th Int. Conf. on Functional Programming Languages and Computer Architecture, pages 249-258, 1995.