vijay03 / jsys
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
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 8 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- A programming language to write bitsliced ciphers☆56Updated 7 months ago
- ☆30Updated 3 years ago
- ☆31Updated 3 years ago
- Parallel sections library for parallel data-structures☆14Updated last year
- rules for writing and typesetting☆24Updated 3 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- Automated multicore scalability testing tool☆88Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- AutoBib: create beautiful bib files and html publication pages automagically☆14Updated last year
- Python term rewriting☆29Updated 12 years ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆46Updated 9 months ago
- ☆10Updated 4 years ago
- Nautilus Aerokernel☆45Updated 2 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- A standard for floating point accuracy benchmarks☆49Updated last month
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆30Updated 5 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- Program Round-off Error Certifier via Static Analysis☆51Updated 7 months ago
- Java-like Language with Static Information Flow Types☆12Updated 3 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- Lightweight performance and debugging tools☆17Updated 5 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆91Updated last month