KIT-OSGroup

Pinned Repositories

effi-slides
Slides for the lecture Efficient Programming in C, C++ and Rust
01
efficient-pm
Analyzing and Improving CPU and Energy Efficiency of PM File Systems
Language:C00
linux
Linux kernel source tree
Language:C0 0 00
panda
Platform for Architecture-Neutral Dynamic Analysis
Language:C00
permanent
Persistent Memory and NVMe Non-Deterministic Tester
Language:Rust00
powenetics-v2
A Rust library and CLI application for Powenetics v2 power measurement devices.
Language:Rust2 7 00
sdios
Teaching OS for System Design and Implementation Course at KIT
Language:C3 8 01
thesis-template
Thesis template for OS Group
Language:TeX10 6 05
vinter
Automatic Non-Volatile Memory Crash Consistency Testing for Full Systems
Language:Python6 7 00
Vinter-FPT
Fast crash consistency testing for logic bugs in file systems
Language:Rust00

KIT-OSGroup's Repositories

KIT-OSGroup/thesis-template
Thesis template for OS Group
Language:TeX10 6 05
KIT-OSGroup/vinter
Automatic Non-Volatile Memory Crash Consistency Testing for Full Systems
Language:Python6 7 00
KIT-OSGroup/sdios
Teaching OS for System Design and Implementation Course at KIT
Language:C3 8 01
KIT-OSGroup/powenetics-v2
A Rust library and CLI application for Powenetics v2 power measurement devices.
Language:Rust2 7 00
KIT-OSGroup/effi-slides
Slides for the lecture Efficient Programming in C, C++ and Rust
01
KIT-OSGroup/efficient-pm
Analyzing and Improving CPU and Energy Efficiency of PM File Systems
Language:C00
KIT-OSGroup/linux
Linux kernel source tree
Language:C0 0 00
KIT-OSGroup/panda
Platform for Architecture-Neutral Dynamic Analysis
Language:C00
KIT-OSGroup/permanent
Persistent Memory and NVMe Non-Deterministic Tester
Language:Rust00
KIT-OSGroup/Vinter-FPT
Fast crash consistency testing for logic bugs in file systems
Language:Rust00