| | It's time for a modern synthesis kernel (2019) (regehr.org) |
|
58 points by pbrowne011 73 days ago | past | 8 comments
|
|
| | Responsible and Effective Bugfinding (regehr.org) |
|
3 points by luu 84 days ago | past
|
|
| | It's time for a modern synthesis kernel (2019) (regehr.org) |
|
5 points by pbrowne011 86 days ago | past | 1 comment
|
|
| | The strict aliasing situation is pretty bad (2016) (regehr.org) |
|
74 points by pkkm 3 months ago | past | 58 comments
|
|
| | How Clang compiles a function (2018) (regehr.org) |
|
90 points by ibobev 5 months ago | past | 5 comments
|
|
| | Race Condition vs. Data Race (2011) (regehr.org) |
|
3 points by thunderbong 6 months ago | past
|
|
| | Explaining code using ASCII art (regehr.org) |
|
3 points by memalign 8 months ago | past
|
|
| | Dataflow Analyses and Compiler Optimizations That Use Them, for Free (regehr.org) |
|
79 points by ingve 8 months ago | past | 13 comments
|
|
| | C Compilers Disprove Fermat's Last Theorem (regehr.org) |
|
2 points by signa11 9 months ago | past
|
|
| | Operant Conditioning by Software Bugs (2012) (regehr.org) |
|
2 points by _dain_ 11 months ago | past
|
|
| | Teaching C (2016) (regehr.org) |
|
195 points by hasheddan on Jan 5, 2024 | past | 89 comments
|
|
| | A close look at a spinlock (2021) (regehr.org) |
|
87 points by signa11 on Dec 15, 2023 | past | 26 comments
|
|
| | Why Do Peephole Optimizations Work (regehr.org) |
|
35 points by matt_d on Nov 1, 2023 | past | 11 comments
|
|
| | Ways to break your systems code using volatile (2010) (regehr.org) |
|
124 points by luu on Oct 5, 2023 | past | 63 comments
|
|
| | The Problem with Friendly C (regehr.org) |
|
3 points by iso8859-1 on Aug 20, 2023 | past
|
|
| | A Guide to Undefined Behavior in C and C++ (2010) (regehr.org) |
|
111 points by tmalsburg2 on Aug 17, 2023 | past | 185 comments
|
|
| | Is That a Compiler Bug? (regehr.org) |
|
49 points by luu on June 6, 2023 | past | 11 comments
|
|
| | A Close Look at a Spinlock (2021) (regehr.org) |
|
17 points by luu on June 3, 2023 | past
|
|
| | Why take a compiler course? (2010) (regehr.org) |
|
320 points by signa11 on March 24, 2023 | past | 116 comments
|
|
| | Assertions are pessimistic, assumptions are optimistic (2014) (regehr.org) |
|
56 points by pantalaimon on March 6, 2023 | past | 9 comments
|
|
| | C Compilers Disprove Fermat’s Last Theorem (2010) (regehr.org) |
|
4 points by wilsonzlin on Feb 12, 2023 | past | 1 comment
|
|
| | Use of Assertions (2014) (regehr.org) |
|
4 points by nativecoinc on Jan 21, 2023 | past
|
|
| | C Compilers Disprove Fermat's Last [2010] (regehr.org) |
|
5 points by kazinator on Nov 14, 2022 | past
|
|
| | Teaching C (2016) (regehr.org) |
|
186 points by arkj on Sept 11, 2022 | past | 94 comments
|
|
| | Responsible and Effective Bugfinding (2020) (regehr.org) |
|
1 point by pabs3 on Aug 13, 2022 | past
|
|
| | How to Fuzz an ADT Implementation (regehr.org) |
|
1 point by cpeterso on Aug 10, 2022 | past
|
|
| | Explaining Code Using ASCII Art (regehr.org) |
|
232 points by behnamoh on June 27, 2022 | past | 80 comments
|
|
| | Formal-Methods-Based Bugfinding for LLVM’s AArch64 Back End (regehr.org) |
|
20 points by matt_d on June 6, 2022 | past | 2 comments
|
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM (regehr.org) |
|
125 points by djoldman on June 1, 2022 | past | 4 comments
|
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM (regehr.org) |
|
3 points by ingve on May 31, 2022 | past
|
|
|
|
More |
