Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
The Concept of a Supercompiler
https://dl.acm.org/doi/pdf/10.1145/5956.5957
🤨2👍1
🤨2👍1
Continuing WebAssembly with Effect Handlers
https://arxiv.org/abs/2308.08347
👍3🤮2
A Guide to Undefined Behavior in C and C++
https://blog.regehr.org/archives/213
C and C++ Prioritize Performance over Correctness
https://research.swtch.com/ub
1712.01044.pdf
1.6 MB
Reclaiming Memory for Lock-Free Data Structures:
There has to be a Better Way
👍1
Positive Supercompilation for a Higher Order Call-by-value Language
https://arxiv.org/pdf/1005.5278.pdf
👍1
Souper: a superoptimizer for LLVM IR. It uses an SMT solver to help identify missing peephole optimizations in LLVM's midend optimizers.
https://github.com/google/souper
👍1