| | Design and Evolution of C-Reduce (Part 1) (regehr.org) |
| 1 point by User23 on July 23, 2019 | past |
|
| | Design and Evolution of C-Reduce (regehr.org) |
| 2 points by phab on July 22, 2019 | past |
|
| | Race Condition vs. Data Race (2011) (regehr.org) |
| 133 points by bshanks on July 22, 2019 | past | 44 comments |
|
| | How to Debug (2010) (regehr.org) |
| 97 points by wheresvic1 on July 10, 2019 | past | 28 comments |
|
| | Race Condition vs. Data Race (2011) (regehr.org) |
| 1 point by bshanks on July 10, 2019 | past |
|
| | Design and Evolution of C-Reduce (Part 1) (regehr.org) |
| 2 points by g0xA52A2A on July 10, 2019 | past |
|
| | How to Debug (regehr.org) |
| 7 points by wheresvic1 on July 7, 2019 | past |
|
| | Race Condition vs. Data Race (regehr.org) |
| 1 point by wheresvic1 on July 3, 2019 | past |
|
| | It’s Time for a Modern Synthesis Kernel (regehr.org) |
| 170 points by ingve on July 2, 2019 | past | 43 comments |
|
| | Race Condition vs. Data Race (2011) (regehr.org) |
| 1 point by ingve on June 17, 2019 | past |
|
| | Ways to break your systems code using volatile (2010) (regehr.org) |
| 132 points by leafario2 on May 26, 2019 | past | 73 comments |
|
| | Floating the Dirty Devil River (regehr.org) |
| 2 points by weinzierl on May 1, 2019 | past |
|
| | We Need Hardware Traps for Integer Overflow (2014) (regehr.org) |
| 3 points by lelf on April 27, 2019 | past |
|
| | Verifying Popcount (regehr.org) |
| 1 point by signa11 on April 26, 2019 | past |
|
| | Verifying Popcount (regehr.org) |
| 1 point by weinzierl on April 25, 2019 | past |
|
| | Verifying Popcount (regehr.org) |
| 1 point by ingve on April 24, 2019 | past |
|
| | Explaining Code Using ASCII Art (regehr.org) |
| 209 points by dmit on Feb 18, 2019 | past | 47 comments |
|
| | Synthesizing Constants (regehr.org) |
| 55 points by ingve on Nov 7, 2018 | past | 1 comment |
|
| | A Guide to Undefined Behavior in C and C++ (2010) (regehr.org) |
| 74 points by pmoriarty on Nov 3, 2018 | past | 103 comments |
|
| | Teaching C (2016) (regehr.org) |
| 263 points by ingve on Oct 30, 2018 | past | 211 comments |
|
| | Teaching C – Embedded in Academia (regehr.org) |
| 2 points by sjmulder on Oct 29, 2018 | past |
|
| | What’s the difference between an integer and a pointer? (regehr.org) |
| 170 points by luu on Sept 21, 2018 | past | 82 comments |
|
| | What’s the difference between an integer and a pointer? (regehr.org) |
| 2 points by ingve on Sept 18, 2018 | past |
|
| | Future directions for optimizing compilers (regehr.org) |
| 2 points by fanf2 on Sept 10, 2018 | past |
|
| | How LLVM Optimizes a Function (regehr.org) |
| 268 points by chmaynard on Sept 4, 2018 | past | 18 comments |
|
| | Use of Assertions (regehr.org) |
| 2 points by signa11 on Aug 31, 2018 | past |
|
| | Type Punning, Strict Aliasing, and Optimization (2013) (regehr.org) |
| 1 point by ainar-g on Aug 6, 2018 | past |
|
| | SQLite with a Fine-Toothed Comb (2016) (regehr.org) |
| 109 points by jxub on July 11, 2018 | past | 31 comments |
|
| | The Strict Aliasing Situation Is Pretty Bad (2016) (regehr.org) |
| 1 point by ainar-g on June 30, 2018 | past |
|
| | How Clang Compiles a Function (regehr.org) |
| 184 points by stablemap on June 27, 2018 | past | 16 comments |
|
|
| More |
