vijay03 / jsysLinks
Repo for the Journal of Systems Research (JSYS)
☆11Updated 5 years ago
Alternatives and similar repositories for jsys
Users that are interested in jsys are comparing it to the libraries listed below
Sorting:
- Automated multicore scalability testing tool☆88Updated 9 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 10 years ago
- High fidelity benchmark runner☆90Updated 4 years ago
- Library of crypto primitives for embedded systems☆25Updated 11 years ago
- ☆13Updated 7 years ago
- A programming language to write bitsliced ciphers☆58Updated last year
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- ☆90Updated 3 years ago
- AutoBib: create beautiful bib files and html publication pages automagically☆14Updated 7 months ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆91Updated 4 months ago
- ☆28Updated 6 years ago
- reverse engineering branch predictors☆18Updated 9 years ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- A standard for floating point accuracy benchmarks☆55Updated last month
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- rules for writing and typesetting☆25Updated 4 years ago
- Revectorization passes integrated into the LLVM compiler infrastructure☆29Updated 6 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- Python term rewriting☆30Updated 12 years ago
- A small DFA for under 16 states☆53Updated 7 years ago
- simple snapshot-style integration testing for commands☆75Updated 6 months ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated last year
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Make nice plots with matplotlib.☆11Updated 6 years ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- Eris distributed transactions☆52Updated 7 years ago
- RLU resizable hash-table☆17Updated 10 years ago
- A compiler for secure multiparty computation☆50Updated 9 years ago