Browsing by Author "Tannenbaum, Todd"
Now showing items 2-2 of 2
-
Murphy: An Environment for Advance Identification of Run-time Failures
Miller, Zach; Tannenbaum, Todd; Liblit, Ben (2012-04-27)Applications do not typically view the kernel as a source of bad input. However, the kernel can behave in unusual (yet permissible) ways for which applications are badly unprepared. We present Murphy, a language-agnostic ...