Back to Results
First PageMeta Content
Computing / Data types / Program analysis / Type theory / Pointer / Aliasing / Type safety / Escape analysis / Programming language / Static program analysis / Programming language theory / Software engineering


TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES
Add to Reading List

Document Date: 2011-04-27 02:12:51

Open Document

File Size: 805,50 KB

Share Result on Facebook

Facility

University Committee / GRADUATE STUDIES OF STANFORD UNIVERSITY / /

IndustryTerm

systems software / /

OperatingSystem

LINUX / /

Organization

University Committee on Graduate Studies / STANFORD UNIVERSITY / /

Person

Brian Hackett / Alex Aiken / Monica Lam / Dawson Engler / /

/

Position

guard / Principal Adviser / /

ProgrammingLanguage

C / /

RadioStation

Work 224 / 10.4 Escape / /

Technology

67 4.2 Algorithm / Linux / 80 Algorithm / /

SocialTag