Back to Results
First PageMeta Content
Virtual machines / Programming language implementation / Linux / Linux kernel / Kernel / Just-in-time compilation / Interpreter / Proof-carrying code / JIT spraying / System software / Software / Computer architecture


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

Document Date: 2015-01-09 21:48:48

Open Document

File Size: 275,57 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