cadets / loom
The LOOM IR instrumentation framework
☆19Updated 4 months ago
Related projects: ⓘ
- Library wrapper and system-level tracing utilities☆44Updated 7 years ago
- ALLVM Tools☆55Updated 2 years ago
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆47Updated 5 years ago
- ☆22Updated last year
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆32Updated 5 years ago
- A C++ expression -> x86 JIT☆18Updated 7 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆30Updated 9 years ago
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆54Updated 3 years ago
- custom type systems for Clang☆96Updated 9 years ago
- ☆54Updated 9 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 4 months ago
- ☆24Updated 4 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 7 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 3 years ago
- The Mickey Mouse of dynamic linkers☆14Updated last year
- Compiler intermediate language for static analysis.☆106Updated 5 years ago
- ☆21Updated 9 years ago
- The Linux I/O profiler (ioprof) is a tool that provides significant insight into I/O workloads while remaining easy to use.☆104Updated last year
- Automated multicore scalability testing tool☆87Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆49Updated 9 years ago
- Python bindings for libgccjit.so☆48Updated 8 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 4 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Source for SibylFS model and test tools☆35Updated 3 years ago
- Lock-free multithreaded memory allocation☆104Updated 7 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆47Updated 9 years ago