<--- Back to Details
First PageDocument Content
System software / Computer architecture / Software / Kernel / Xv6 / LLVM / Linux kernel
Date: 2018-08-24 20:19:38
System software
Computer architecture
Software
Kernel
Xv6
LLVM
Linux kernel

Hyperkernel: Push-Button Verification of an OS Kernel

Add to Reading List

Source URL: unsat.cs.washington.edu

Download Document from Source Website

File Size: 1,18 MB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Software / Compiler construction / Compilers / Programming language implementation / LLVM / Cross-platform software / Intermediate representation / Computing platforms / Just-in-time compilation / Interpreter

Introduction to Peer-to-Peer System

DocID: 1xVny - View Document

Software engineering / Computer programming / Computing / Programming language implementation / Object-oriented programming languages / Functional languages / Compiler construction / High-level programming languages / LLVM / D / Garbage collection / Continuation

Compiling with Continuations and LLVM 1. Kavon Farvardin

DocID: 1xVfs - View Document

Software engineering / Computer programming / Computing / Compiler construction / Programming language implementation / Compiler optimizations / Object-oriented programming languages / C++ / Undefined behavior / LLVM / Optimizing compiler / Static single assignment form

Taming Undefined Behavior in LLVM Juneyoung Lee Yoonseung Kim Youngju Song Chung-Kil Hur Seoul National University, Korea

DocID: 1xTNy - View Document

PDF Document

DocID: 1xSCl - View Document

PDF Document

DocID: 1xSoT - View Document