| | Translation Validation of Bounded Exhaustive Test Cases (regehr.org) |
|
1 point by jjuhl on May 20, 2017 | past
|
| | Translation Validation of Bounded Exhaustive Test Cases (regehr.org) |
|
2 points by wglb on May 16, 2017 | past
|
| | Translation Validation of Bounded Exhaustive Test Cases (regehr.org) |
|
1 point by caf on May 10, 2017 | past
|
| | 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
|
|
|
More |