| | How to debug (regehr.org) |
| 4 points by cirwin on Aug 22, 2012 | past |
|
| | It’s Time to Get Serious About Exploiting Undefined Behavior (regehr.org) |
| 1 point by wglb on Aug 3, 2012 | past |
|
| | It’s Time to Get Serious About Exploiting Undefined Behavior (regehr.org) |
| 3 points by daniel02216 on July 26, 2012 | past |
|
| | Undefined behavior contest winners (regehr.org) |
| 4 points by sbi on July 24, 2012 | past |
|
| | Parallelizing Delta Debugging (regehr.org) |
| 1 point by wglb on July 13, 2012 | past |
|
| | Contest: Craziest Compiler Output due to Undefined Behavior (regehr.org) |
| 3 points by wglb on July 12, 2012 | past |
|
| | When is Undefined Behavior OK? (regehr.org) |
| 3 points by wayoutmind on July 9, 2012 | past |
|
| | The PhD Grind, and Why Research Isn’t Like Sex (regehr.org) |
| 8 points by myle on June 30, 2012 | past |
|
| | Burning in a Module with Random Unit Testing (regehr.org) |
| 1 point by wglb on June 29, 2012 | past |
|
| | The Central Limit Theorem Makes Random Testing Hard (regehr.org) |
| 56 points by sharkbot on June 19, 2012 | past | 15 comments |
|
| | The Little C Function From Hell (regehr.org) |
| 273 points by gus_massa on June 19, 2012 | past | 113 comments |
|
| | Jsfunfuzz has found 1500+ javascript bugs in Firefox (regehr.org) |
| 2 points by bazzargh on June 19, 2012 | past | 2 comments |
|
| | Street Fighting Computer Science (regehr.org) |
| 2 points by wglb on June 13, 2012 | past |
|
| | C Integer Quiz Rationale (regehr.org) |
| 1 point by wglb on June 6, 2012 | past |
|
| | Academic Bug-Finding Projects in the Long Run (regehr.org) |
| 2 points by vgnet on June 4, 2012 | past |
|
| | A Quiz About Integers in C (regehr.org) |
| 197 points by ch0wn on June 3, 2012 | past | 66 comments |
|
| | Why Isn’t C Memory Safe Yet? (regehr.org) |
| 4 points by gnosis on May 27, 2012 | past | 7 comments |
|
| | Recording a Class at Udacity (regehr.org) |
| 3 points by Symmetry on May 23, 2012 | past |
|
| | The Last Mile for a Verification Problem (regehr.org) |
| 1 point by wglb on May 22, 2012 | past |
|
| | The Piano Test for Program Verification (regehr.org) |
| 1 point by momeara on May 21, 2012 | past |
|
| | When Will Software Verification Matter? (regehr.org) |
| 1 point by wglb on May 20, 2012 | past |
|
| | When to teach C++? (regehr.org) |
| 1 point by wslh on April 25, 2012 | past |
|
| | Perverse incentives in academia (regehr.org) |
| 2 points by wslh on April 25, 2012 | past |
|
| | Computer Science Fiction (regehr.org) |
| 1 point by wslh on April 25, 2012 | past |
|
| | Does Portable Byte-Order Code Optimize? (regehr.org) |
| 2 points by Symmetry on April 4, 2012 | past |
|
| | 57 Small Programs that Crash Compilers (regehr.org) |
| 125 points by hedgehog on April 3, 2012 | past | 13 comments |
|
| | New Paper on Test-Case Reduction (regehr.org) |
| 2 points by wglb on April 3, 2012 | past |
|
| | Integer Overflow Paper (regehr.org) |
| 2 points by wglb on March 29, 2012 | past |
|
| | How Many C Programs Are There? (regehr.org) |
| 34 points by primodemus on Feb 21, 2012 | past | 17 comments |
|
| | Randomly Testing a Static Analyzer (regehr.org) |
| 1 point by wglb on Feb 3, 2012 | past |
|
|
| More |
