| Open Document File Size: 275,56 KBShare 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 |