Back to Results
First PageMeta Content



Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract
Add to Reading List

Open Document

File Size: 275,56 KB

Share Result on Facebook

Event

Product Issues / /

Facility

Bedrock library / building Jitk / /

IndustryTerm

notable applications / compiler infrastructure / power management / domain-specific tools / software-based fault isolation / user-space applications / formal techniques to building systems / in-kernel interpreter infrastructure / software systems / /

MusicAlbum

I/O / /

OperatingSystem

FreeBSD / NetBSD / BSD / Linux / Singularity / L3 / OpenBSD / /

Organization

University of Washington / MIT / /

Person

Washington Abstract / Zachary Tatlock / David Lazar / Adam Chlipala / /

/

Position

native binary code The translator / proof checker Coq code extractor / translator / BPF interpreter / JIT translator / termination BPF instructions BPF JIT translator / Coq proof assistant / JIT interpreter / Memory errors An interpreter / BPF interpreter 3 Policy / representative / Interpreter / /

Product

kernel extension / /

ProgrammingLanguage

C / Modula-3 / /

Technology

virtual machine / Linux / API / simulation / operating systems / /

SocialTag