User contributions for Falaca
17 October 2012
- 18:2018:20, 17 October 2012 diff hist +29 OSWebSec: Exokernels →Formal proof current
- 18:1918:19, 17 October 2012 diff hist +60 OSWebSec: Exokernels →Portability
- 18:1718:17, 17 October 2012 diff hist +2,652 OSWebSec: Exokernels No edit summary
11 October 2012
- 02:3202:32, 11 October 2012 diff hist −38 File talk:ExterminateHWAbstractions.jpg Blanked the page current
- 01:4801:48, 11 October 2012 diff hist +38 N OSWebSec: Exokernels Created page with "File:ExterminateHWAbstractions.jpg"
- 01:4801:48, 11 October 2012 diff hist +38 N File talk:ExterminateHWAbstractions.jpg Created page with "File:ExterminateHWAbstractions.jpg"
- 01:4701:47, 11 October 2012 diff hist +45 N File:ExterminateHWAbstractions.jpg Key idea presented in papers by Engler et al. current
4 October 2012
- 13:5213:52, 4 October 2012 diff hist +255 MashupOS No edit summary current
- 13:4113:41, 4 October 2012 diff hist +423 MashupOS No edit summary
- 13:1613:16, 4 October 2012 diff hist +1,575 MashupOS No edit summary