A principled approach to operating system construction in Haskell (2005)

Cached

Download Links

by Thomas Hallgren , Mark P Jones , Rebekah Leslie , Andrew Tolmach
Venue:In ICFP ’05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming
Citations:37 - 3 self

Documents Related by Co-Citation

65 An Overview of the Singularity Project – Galen Hunt, James R Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian D Zill - 2005
21 Running the manual: An approach to high-assurance microkernel development – Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty - 2006
56 Specification and verification of the UCLA Unix security kernel – B J Walker, R A Kemmerer, G J Popek - 1980
58 Kit: A Study in Operating System Verification – William R. Bevier - 1989
26 OS verification — now – Harvey Tuch, Gerwin Klein, Gernot Heiser - 2005
112 Language support for fast and reliable messagebased communication in Singularity OS – Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, Steven Levi - 2006
420 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
340 On µ-kernel construction – Jochen Liedtke - 1995
23 The vfiasco approach for a verified operating system – M Hohmuth, H Tews
10 The logic of demand in Haskell – W L Harrison, R B Kieburtz
16 Axiomatic constructor classes in Isabelle/HOLCF – Brian Huffman, John Matthews, Peter White - 2005
25 A Customizable Substrate for Concurrent Languages – Suresh Jagannathan, Jim Philbin - 1992
71 GUM: a portable parallel implementation of Haskell – P.W. Trinder, K. Hammond, J.S. Mattson Jr., A.S. Partridge, S.L. Peyton Jones - 1996
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
380 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
6 Design and Implementation of an Operating System – Guangrui Fu - 1999
170 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
620 Compiling with Continuations – Andrew W Appel - 1992
1305 Monads for functional programming – Philip Wadler - 1995