| | Automated Reasoning About LLVM Optimizations and Undefined Behavior (regehr.org) |
| 17 points by luu on Nov 12, 2014 | past | 1 comment |
|
| | Race Condition vs. Data Race (2011) (regehr.org) |
| 6 points by luu on Oct 18, 2014 | past |
|
| | Fun with Shellshock (regehr.org) |
| 144 points by luu on Oct 12, 2014 | past | 21 comments |
|
| | Proposal for a Friendly Dialect of C (regehr.org) |
| 218 points by 0x09 on Aug 27, 2014 | past | 118 comments |
|
| | Non-Transparent Memory Safety (regehr.org) |
| 70 points by luu on Aug 9, 2014 | past | 8 comments |
|
| | C Compilers Disprove Fermat’s Last Theorem (regehr.org) |
| 2 points by AndreyKarpov on Aug 8, 2014 | past | 2 comments |
|
| | ALIVe: Automatic LLVM InstCombine Verifier (regehr.org) |
| 1 point by amboar on July 24, 2014 | past |
|
| | Why Take an Embedded Systems Course? (regehr.org) |
| 1 point by luu on June 23, 2014 | past |
|
| | Finding Compiler Bugs by Removing Dead Code (regehr.org) |
| 141 points by tgma on June 21, 2014 | past | 19 comments |
|
| | We Need Hardware Traps for Integer Overflow |
| 126 points by mmastrac on June 4, 2014 | past | 109 comments |
|
| | We Need Hardware Traps for Integer Overflow |
| 3 points by mmastrac on May 29, 2014 | past |
|
| | We Need Hardware Traps for Integer Overflow (regehr.org) |
| 11 points by anon1385 on May 28, 2014 | past |
|
| | Early Superoptimizer Results (regehr.org) |
| 97 points by comex on May 15, 2014 | past | 16 comments |
|
| | Hints for Computer System Design (regehr.org) |
| 4 points by scott_s on May 6, 2014 | past | 1 comment |
|
| | How Should You Write a Fast Integer Overflow Check? (regehr.org) |
| 93 points by cremno on April 29, 2014 | past | 47 comments |
|
| | Testing with Small Capacities (regehr.org) |
| 1 point by hachiya on April 28, 2014 | past |
|
| | Find the Integer Bug (regehr.org) |
| 1 point by pdq on April 21, 2014 | past |
|
| | A New Development for Coverity and Heartbleed (regehr.org) |
| 125 points by neuroo on April 12, 2014 | past | 46 comments |
|
| | Heartbleed and Static Analysis (regehr.org) |
| 134 points by pascal_cuoq on April 11, 2014 | past | 36 comments |
|
| | Xv6 (regehr.org) |
| 222 points by edwintorok on April 9, 2014 | past | 36 comments |
|
| | Automatically Entering the Grand C++ Error Explosion Competition (regehr.org) |
| 2 points by wglb on April 5, 2014 | past |
|
| | Finding and Understanding Bugs in C Compilers (regehr.org) |
| 1 point by scott_s on April 3, 2014 | past | 1 comment |
|
| | Automated Reasoning About LLVM Optimizations and Undefined Behavior (regehr.org) |
| 2 points by wglb on April 3, 2014 | past |
|
| | Automated Reasoning About LLVM Optimizations and Undefined Behavior (regehr.org) |
| 6 points by nkurz on March 28, 2014 | past |
|
| | Embedded in Academia: Let’s Work on an LLVM Superoptimizer (regehr.org) |
| 5 points by amboar on March 3, 2014 | past |
|
| | Paranoid Programming (regehr.org) |
| 2 points by signa11 on Feb 24, 2014 | past |
|
| | Scary Compiler Code Motion (regehr.org) |
| 5 points by AndreyKarpov on Feb 17, 2014 | past |
|
| | Use of Assertions (regehr.org) |
| 8 points by signa11 on Feb 17, 2014 | past | 2 comments |
|
| | Assertions Are Pessimistic, Assumptions Are Optimistic (regehr.org) |
| 1 point by wglb on Feb 12, 2014 | past |
|
| | How to Fuzz an ADT Implementation (regehr.org) |
| 2 points by ColinWright on Feb 8, 2014 | past |
|
|
| More |
