anthezium / CS510-Advanced-Topics-in-ConcurrencyLinks
CS510 Advanced Topics in Concurrency Project
☆15Updated 5 years ago
Alternatives and similar repositories for CS510-Advanced-Topics-in-Concurrency
Users that are interested in CS510-Advanced-Topics-in-Concurrency are comparing it to the libraries listed below
Sorting:
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 5 years ago
- Helper code for dm-log-writes target.☆13Updated last year
- ☆27Updated 5 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- Source for SibylFS model and test tools☆35Updated 4 years ago
- ☆14Updated last year
- racket llvm C-API bindings☆18Updated 2 months ago
- A formal specification of snapshot isolation.☆19Updated 2 months ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 5 years ago
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆74Updated 3 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 2 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆25Updated last year
- Parallel ML compiler☆73Updated 5 years ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 4 years ago
- A collection of software performance content, blogs, books, and lists.☆120Updated last year
- The command-line frontend to transactional consistency checkers for black-box databases☆29Updated last month
- Generic model checker for concurrent C programs (mirror repository)☆155Updated last month
- An advanced benchmarking tool☆186Updated 2 months ago
- simple snapshot-style integration testing for commands☆72Updated 4 months ago
- ☆29Updated 6 years ago
- ☆48Updated 5 years ago
- Awesome links and information about memory allocation☆181Updated 6 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- a small C++ lattice library☆15Updated 5 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago