vijay03 / jsys
Repo for the Journal of Systems Research (JSYS)
☆11Updated 4 years ago
Related projects: ⓘ
- Notary: A Device for Secure Transaction Approval 📟☆28Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- AutoBib: create beautiful bib files and html publication pages automagically☆14Updated 5 months ago
- ☆13Updated 5 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- ☆34Updated 7 years ago
- ☆16Updated 5 years ago
- A standard for floating point accuracy benchmarks☆43Updated last week
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 8 years ago
- ☆14Updated this week
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆102Updated 2 years ago
- Automated multicore scalability testing tool☆87Updated 8 years ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆42Updated 2 months ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 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
- ☆31Updated 2 years ago
- ☆28Updated 5 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- Transactional Data Structure Libraries☆12Updated 6 years ago
- The Solo5 unikernel☆14Updated 5 years ago
- dthreads: Efficient Deterministic Multithreading☆49Updated 9 years ago
- An extensible compiler for cryptography.☆19Updated this week
- PC-miner tool for program chairs☆23Updated 3 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 4 years ago
- Lightweight performance and debugging tools☆17Updated 4 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- ☆30Updated 2 years ago