SKI virtual machine for testing concurrency bugs
☆13Nov 25, 2015Updated 10 years ago
Alternatives and similar repositories for ski
Users that are interested in ski are comparing it to the libraries listed below
Sorting:
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆27May 28, 2025Updated 9 months ago
- ☆24Aug 24, 2025Updated 6 months ago
- On-demand-fork☆32Mar 28, 2023Updated 2 years ago
- NetLock: Fast, Centralized Lock Management Using Programmable Switches☆32Sep 2, 2020Updated 5 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- 2个js日历控件，简单易上手，自适应界面大小☆10Nov 6, 2017Updated 8 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- Machine learning- based solution to the problem of duplicity in the bug reports repository.☆10Dec 12, 2024Updated last year
- Boost.org logic module☆12Dec 10, 2025Updated 2 months ago
- Windows PE file debugger☆11Aug 30, 2017Updated 8 years ago
- PE32 binary + W32 payload☆11Jul 23, 2017Updated 8 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- Sources of the website.☆17Feb 5, 2024Updated 2 years ago
- Linux x86_64 inject based on inject☆10Sep 26, 2018Updated 7 years ago
- Modular Node.js Telegram bot using the official bot API☆11Jan 13, 2026Updated last month
- fuzz testing framework for Linux system calls☆12Sep 4, 2015Updated 10 years ago
- ☆12Nov 8, 2024Updated last year
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- ☆13Nov 21, 2024Updated last year
- Hardware-centric Linux kernel debloater☆15Nov 28, 2023Updated 2 years ago
- Protocol Buffers lexer & parser for PLY☆12Nov 11, 2014Updated 11 years ago
- Istio inspired 'http based onverlay network env'.☆14Jan 5, 2024Updated 2 years ago
- Java-like Language with Static Information Flow Types☆13May 5, 2025Updated 9 months ago
- python搭建代理服务器☆10Apr 18, 2018Updated 7 years ago
- A scripting language for extending C programs; recognizably Forth-like, but definitely not Forth.☆20May 7, 2020Updated 5 years ago
- A false sharing detection and repair tool☆14Jan 31, 2026Updated last month
- Use your SailfishOS smartphone to boot Linux distributions/ISO files on your PC☆12Mar 19, 2024Updated last year
- 使用WebGL和Node.js技术构建复旦三维社交网络。目前实现了校园模型demo显示，多用户在线聊天。☆12Jun 12, 2015Updated 10 years ago
- Source code for 'HTML5 Games Most Wanted' by Egor Kuryanovich, Shy Shalom, Russell Goldenberg, Mathias Paumgarten, David Strauss, Seb Lee…☆13Mar 28, 2017Updated 8 years ago
- This is an example parser written in flex and bison☆12May 7, 2012Updated 13 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11Dec 30, 2023Updated 2 years ago
- Two different WebGL picking models using color and alpha encoding☆14Jul 27, 2017Updated 8 years ago
- record daily learning☆11Aug 13, 2019Updated 6 years ago
- ☆12Apr 23, 2021Updated 4 years ago
- The newest version of PatchNet☆14Nov 25, 2022Updated 3 years ago
- ☆11Mar 9, 2022Updated 3 years ago
- A DEMO for the repository of pokemon-3ds-model-loader☆12Feb 5, 2018Updated 8 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆11Feb 9, 2021Updated 5 years ago