Hacker News
Linking pages
- GitHub - google/souper: A superoptimizer for LLVM IR https://github.com/google/souper 89 comments
- Mining JIT traces for missing optimizations with Z3 | PyPy https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html 42 comments
- Compiling With Constraints | Hey There Buddo! https://www.philipzucker.com/compile_constraints/ 36 comments
- Giving Mono Souper Powers | Mono https://www.mono-project.com/news/2018/12/06/souper/ 29 comments
- Program Synthesis is Possible in Rust http://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html 8 comments
- Finding Simple Rewrite Rules for the JIT with Z3 | PyPy https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments
- GitHub - NeuralCoder3/transpilation: A summary of ideas about transpilation -- work in progress https://github.com/NeuralCoder3/transpilation 1 comment
- Synthesizing Loop-Free Programs with Rust and Z3 https://fitzgeraldnick.com/2020/01/13/synthesizing-loop-free-programs.html 0 comments
Would you like to stay up to date with C & C++? Checkout C & C++
Weekly.
Related searches:
Search whole site: site:arxiv.org
Search title: [1711.04422] Souper: A Synthesizing Superoptimizer
See how to search.