|
56
|
An overview of the Singularity project
– G C Hunt, J R Larus, M Abadi, M Aiken, P Barham, M Fahndrich, C Hawblitzel, O Hodson, S Levi, N Murphy, B Steensgaard, D Tarditi, T Wobber, B Zill
- 2005
|
|
55
|
Kit: A Study in Operating System Verification
– William R. Bevier
- 1989
|
|
49
|
Specification and verification of the UCLA Unix security kernel
– B J Walker, R A Kemmerer, G J Popek
- 1980
|
|
184
|
Concurrent Haskell
– Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne
- 1996
|
|
229
|
LLVM: A compilation framework for lifelong program analysis & transformation
– Chris Lattner, Vikram Adve
- 2004
|
|
19
|
Running the manual: An approach to high-assurance microkernel development
– Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
- 2006
|
|
20
|
The VFiasco approach for a verified operating system
– M Hohmuth, H Tews
- 2005
|
|
25
|
OS verification — now
– Harvey Tuch, Gerwin Klein, Gernot Heiser
- 2005
|
|
10
|
Axiomatic constructor classes in Isabelle/HOLCF
– Brian Huffman, John Matthews, Peter White
- 2005
|
|
10
|
The logic of demand in Haskell
– W L Harrison, R B Kieburtz
|
|
25
|
A Customizable Substrate for Concurrent Languages
– Suresh Jagannathan, Jim Philbin
- 1992
|
|
68
|
GUM: a portable parallel implementation of Haskell
– P.W. Trinder, K. Hammond, J.S. Mattson Jr., A.S. Partridge, S.L. Peyton Jones
- 1996
|
|
26
|
Manticore: a heterogeneous parallel language
– M Fluet, M Rainey, J Reppy, A Shaw, Y Xiao
- 2007
|
|
84
|
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
|
|
315
|
Composable memory transactions
– Tim Harris, Simon Marlow, Simon Peyton, Jones Maurice Herlihy
- 2005
|
|
309
|
On µ-kernel construction
– Jochen Liedtke
- 1995
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
3
|
Linux kernel multiple local vulnerabilities
– G Guninski
- 2005
|
|
4
|
Linux kernel setsockopt MCAST MSFILTER integer overflow vulnerability
– P Starzetz, W Purczynski
- 2004
|
