Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
REMS
[go: Go Back, main page]
Apps
OS API and Wire interfaces

Task 4b: System APIs and Protocols
TLS: nqsbTLS
TCP: Huginn-TCP
POSIX filesystem test oracle: SibylFS
POSIX filesystem logic

OS
Programming Language

Task 3: Systems Programming Languages
Sequential C (de facto/ISO/CHERI): Cerberus
Concurrent C: C/C++11 and new models
C runtime typechecking: libcrunch
ELF linking: linksem
Verified ML implementation: CakeML

Compiler
Architecture

Task 2: Architectural Multiprocessor Semantics
Sail ISA models: ARM, Power, MIPS, CHERI
L3 ISA models: ARM, MIPS, x86, CHERI, RISC-V
ARM and Power Concurrency
CHERI ISA

Hardware

Task 1: Semantic tools
Lem , L3 ISA DSL , Sail ISA DSL

Task 4a: Concurrency Reasoning