Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
☆48Mar 21, 2016Updated 9 years ago
Alternatives and similar repositories for Helium
Users that are interested in Helium are comparing it to the libraries listed below
Sorting:
- ☆10Jan 28, 2013Updated 13 years ago
- CNNs in Halide☆23Oct 22, 2015Updated 10 years ago
- ☆10Aug 4, 2020Updated 5 years ago
- A Halide backend for ONNX☆12Nov 5, 2019Updated 6 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 9 years ago
- gnu gcov like tool☆12Jun 18, 2015Updated 10 years ago
- Instrumented ARM kernel☆15Oct 16, 2022Updated 3 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Nov 30, 2016Updated 9 years ago
- ☆21Mar 17, 2015Updated 10 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- This is an implementation of Michael Zollhöfer's 'Reconstruction of Personalized Avatars' work, recreating an input face from a Kinect sc…☆14Apr 9, 2017Updated 8 years ago
- Domain-specific language for IIR filters☆16Sep 28, 2016Updated 9 years ago
- A solver for GCHQ's christmas card puzzle☆12Dec 14, 2015Updated 10 years ago
- One million push connections on one server☆21Sep 29, 2021Updated 4 years ago
- Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation☆21Feb 6, 2014Updated 12 years ago
- Another bittorrent distribution system, forked from russss/Herd☆22Dec 10, 2014Updated 11 years ago
- CoREBench: Errors in Find, Grep, Make☆13Dec 10, 2015Updated 10 years ago
- A Halide journey taken for pleasure, this repo will hopefully serve a collection of Halide imaging functions that are useful to the commu…☆15Aug 5, 2015Updated 10 years ago
- flexible-gemm conv of deepcore☆17Dec 2, 2019Updated 6 years ago
- Artifact repository for paper Automatic Generation of High-Performance Quantized Machine Learning Kernels☆17Oct 13, 2020Updated 5 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Jul 30, 2016Updated 9 years ago
- An Operating Function☆331Aug 29, 2014Updated 11 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Aug 15, 2016Updated 9 years ago
- The Thallo DSL for Nonlinear Least Squares Optimization☆19Aug 13, 2021Updated 4 years ago
- x64 Windows Software Fault Injection Tool☆17Dec 2, 2017Updated 8 years ago
- A tool to get the arxiv papers☆20Apr 3, 2017Updated 8 years ago
- Kosmos Distributed Filesystem☆29May 3, 2012Updated 13 years ago
- VUDDY & hmark for IoTcube☆22Apr 28, 2023Updated 2 years ago
- Functions Catalog☆28Jul 10, 2019Updated 6 years ago
- Arnold source code☆47Nov 27, 2018Updated 7 years ago
- Multimodal Decomposable Model for Human Pose Estimation☆28May 22, 2013Updated 12 years ago
- REIL translation library☆36May 6, 2016Updated 9 years ago
- The Silence of Intelligence — A comprehensive analysis of Anthropic CEO Dario Amodei's philosophy on Scaling Laws, AI safety, and the fut…☆18Mar 1, 2026Updated last week
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Sep 7, 2022Updated 3 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- The Task-Aware MPI (TAMPI) library extends the functionality of standard MPI libraries by providing new mechanisms for improving the inte…☆25Jun 6, 2025Updated 9 months ago
- python-based build system used for building XED☆33Nov 24, 2025Updated 3 months ago
- Case Studies for Halide performance against C++ and OpenCL☆36Oct 9, 2013Updated 12 years ago