The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
☆54Dec 2, 2025Updated 3 months ago
Alternatives and similar repositories for contech
Users that are interested in contech are comparing it to the libraries listed below
Sorting:
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 years ago
- Multiple approaches to statistical simulation for computer architects☆15Jun 1, 2020Updated 5 years ago
- Program locality analysis tools☆18Aug 9, 2019Updated 6 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- ☆13Mar 11, 2026Updated last week
- Voting app for Docker Cloud demos☆11Mar 20, 2018Updated 8 years ago
- Toplevel expectation test☆19Jan 15, 2026Updated 2 months ago
- Interprocedural Basic Block Code Layout Optimization☆18Jan 17, 2019Updated 7 years ago
- A Lua interpreter written in python.☆13Sep 26, 2019Updated 6 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 10 years ago
- manipulate LLVM IR files☆32Jul 15, 2015Updated 10 years ago
- CS294 AI Systems Class Website☆17Apr 25, 2022Updated 3 years ago
- A quantitative analysis of the Old School Runescape hiscores, with an open-source dataset and app for visualization.☆15Jul 26, 2022Updated 3 years ago
- Cache and main memory hog programs. These are programs with specific access patterns to evict the already existing cache blocks of variou…☆21Nov 2, 2016Updated 9 years ago
- Repository for my article: Google OAuth 2.0 – Testing with Curl☆16Jun 18, 2019Updated 6 years ago
- Example of an over all attack using DLL_Wrapper.☆11Aug 22, 2017Updated 8 years ago
- Troopers Conference Supporting Materials☆12Apr 8, 2015Updated 10 years ago
- Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial☆19Apr 26, 2015Updated 10 years ago
- STAC server, built in Rust, backed by pgstac☆12Apr 29, 2024Updated last year
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 2 years ago
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆28Sep 25, 2013Updated 12 years ago
- HAMT implementation whose sub-trees can be shared over threads☆10Feb 9, 2026Updated last month
- This program implements the following graph reordering technique: Laxman Dhulipala, Igor Kabiljo, Brian Karrer, Giuseppe Ottaviano, Serg…☆10Sep 13, 2018Updated 7 years ago
- conky widget for todo list☆16Dec 18, 2023Updated 2 years ago
- TLB splitting module for the Bareflank Hypervisor.☆12Sep 23, 2018Updated 7 years ago
- LLVM Plugin to Instrument Global Memory Accesses in CUDA Kernels☆10Jun 8, 2020Updated 5 years ago
- [ISPRS 23] Deforestation Detection in the Amazon with Sentinel-1 SAR Image Time Series☆11Jan 22, 2024Updated 2 years ago
- EasierUVM from Doulos now written in Python for easier UVM with framework and template generator☆13Sep 28, 2022Updated 3 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- ☆10Oct 22, 2017Updated 8 years ago
- Ekho: Realistic and Repeatable Experimentation for Tiny Energy-Harvesting Sensors☆20Feb 7, 2019Updated 7 years ago
- Windows Kernel Mode PCRE☆10Feb 4, 2015Updated 11 years ago
- Index web site for reproduced papers☆16Mar 31, 2021Updated 4 years ago
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 7 years ago
- Asio Buffers without the Asio☆17Jan 5, 2026Updated 2 months ago