| | Translation Validation of Bounded Exhaustive Test Case (regehr.org) |
| 2 points by melqdusy on May 9, 2017 | past |
|
| | Undefined Behavior Consequences Contest Winners (regehr.org) |
| 3 points by luu on April 30, 2017 | past |
|
| | Taming Undefined Behavior in LLVM (regehr.org) |
| 121 points by ingve on April 14, 2017 | past | 62 comments |
|
| | A Guide to Undefined Behavior in C and C++ (2010) (regehr.org) |
| 1 point by liuw on April 13, 2017 | past |
|
| | Fun at the Unix Terminal (regehr.org) |
| 279 points by melqdusy on April 6, 2017 | past | 55 comments |
|
| | A Guide to Undefined Behavior in C and C++ (2010) (regehr.org) |
| 3 points by askl on March 30, 2017 | past |
|
| | Do Expressive Programming Languages Always Have Undefined Behavior? (regehr.org) |
| 3 points by ingve on March 6, 2017 | past |
|
| | Detecting Strict Aliasing Violations in the Wild (regehr.org) |
| 1 point by pjmlp on Feb 19, 2017 | past |
|
| | Undefined Behavior != Unsafe Programming (regehr.org) |
| 119 points by steveklabnik on Feb 14, 2017 | past | 70 comments |
|
| | Detecting Strict Aliasing Violations in the Wild (regehr.org) |
| 1 point by jjuhl on Feb 5, 2017 | past |
|
| | Detecting Strict Aliasing Violations in the Wild (regehr.org) |
| 1 point by pcwalton on Feb 1, 2017 | past |
|
| | A Quick Look at the ARM-Based SoftIron OverDrive 1000 (regehr.org) |
| 1 point by ingve on Jan 31, 2017 | past |
|
| | Introduction to Precision Farming (regehr.org) |
| 56 points by matt_d on Jan 20, 2017 | past | 9 comments |
|
| | Testing LLVM (regehr.org) |
| 87 points by awalGarg on Jan 13, 2017 | past | 34 comments |
|
| | A Tourist’s Guide to the LLVM Source Code (regehr.org) |
| 489 points by zdw on Jan 6, 2017 | past | 44 comments |
|
| | CompCert: Trust, but Verify (2013) (regehr.org) |
| 1 point by bootload on Nov 23, 2016 | past | 1 comment |
|
| | Principles for Undefined Behavior in Programming Language Design (regehr.org) |
| 1 point by jjuhl on Nov 13, 2016 | past |
|
| | How Getting Tenure Is Supposed to Work (regehr.org) |
| 1 point by gsylvie on Oct 28, 2016 | past |
|
| | Race Condition vs. Data Race (2011) (regehr.org) |
| 2 points by k4rtik on Oct 23, 2016 | past |
|
| | Principles for Undefined Behavior in Programming Language Design (regehr.org) |
| 3 points by b3h3moth on Oct 22, 2016 | past |
|
| | Principles for Undefined Behavior in Programming Language Design (regehr.org) |
| 1 point by primodemus on Oct 11, 2016 | past |
|
| | Controversies in CS (regehr.org) |
| 1 point by enkiv2 on Oct 11, 2016 | past |
|
| | Undefined Behavior: Not Just for Programming Languages (regehr.org) |
| 1 point by Sindisil on Oct 11, 2016 | past |
|
| | Principles for Undefined Behavior in Programming Language Design (regehr.org) |
| 2 points by ingve on Oct 10, 2016 | past |
|
| | Vigorous Public Debates in Academic Computer Science (regehr.org) |
| 81 points by mad on Oct 2, 2016 | past | 35 comments |
|
| | Advanced Compilers Weeks 3-5 (regehr.org) |
| 4 points by zmodem on Sept 30, 2016 | past |
|
| | Advanced Compilers Weeks 1 and 2 (regehr.org) |
| 3 points by ingve on Sept 6, 2016 | past |
|
| | Solutions to Integer Overflow (regehr.org) |
| 86 points by deafcalculus on Sept 3, 2016 | past | 49 comments |
|
| | Compilation and Hyperthreading (regehr.org) |
| 60 points by ingve on Aug 24, 2016 | past | 1 comment |
|
| | A Month of Invalid GCC Bug Reports, and How to Eliminate Some of Them (regehr.org) |
| 1 point by ingve on Aug 15, 2016 | past |
|
|
| More |
