| | Isolation with a Very Small TCB (regehr.org) |
| 39 points by wglb on Aug 5, 2011 | past | 7 comments |
|
| | Proposal for Automated Compiler Bug Reports (regehr.org) |
| 2 points by wglb on Aug 3, 2011 | past |
|
| | Should Software Evolve? (regehr.org) |
| 1 point by rcfox on July 25, 2011 | past |
|
| | Does a Simulation Really Need to Be Run? (regehr.org) |
| 1 point by shawndumas on July 19, 2011 | past |
|
| | The first split vote about C compiler random test (regehr.org) |
| 54 points by gossips on July 14, 2011 | past | 26 comments |
|
| | What’s Fun About Teaching (regehr.org) |
| 2 points by gnosis on June 28, 2011 | past |
|
| | Does a Simulation Really Need to Be Run? (regehr.org) |
| 5 points by rcfox on June 22, 2011 | past |
|
| | Do Small-RAM Devices Have a Future? (regehr.org) |
| 4 points by nkurz on June 13, 2011 | past | 1 comment |
|
| | Embrace WTF (regehr.org) |
| 1 point by davidtgoldblatt on June 8, 2011 | past |
|
| | CS Books Read by a Prof at Univ of Utah (regehr.org) |
| 2 points by krat0sprakhar on June 8, 2011 | past |
|
| | An Executable Semantics for C is Useful (regehr.org) |
| 27 points by evangineer on June 4, 2011 | past | 4 comments |
|
| | Are there subsets of C that avoid compiler bugs? (regehr.org) |
| 38 points by gnosis on June 4, 2011 | past | 21 comments |
|
| | Iterating Over The Full Range (regehr.org) |
| 3 points by wglb on May 20, 2011 | past |
|
| | A Guide to Undefined Behavior in C and C++, Part 1 (regehr.org) |
| 37 points by larelli on May 13, 2011 | past | 2 comments |
|
| | What I Want From a Bibliography System (regehr.org) |
| 1 point by gnosis on May 11, 2011 | past |
|
| | Generalizing and criticizing delta debugging (regehr.org) |
| 4 points by mquander on May 2, 2011 | past |
|
| | An Executable Semantics For C Is Useful (regehr.org) |
| 6 points by gnosis on April 27, 2011 | past |
|
| | Uninitialized Variables (regehr.org) |
| 2 points by kinetik on April 25, 2011 | past |
|
| | Value Loss Coverage (regehr.org) |
| 1 point by wglb on April 20, 2011 | past |
|
| | Visualizing buggy saturated subtraction functions (regehr.org) |
| 1 point by vilhelm_s on April 5, 2011 | past | 1 comment |
|
| | Software Bugs and Scientific Progress (regehr.org) |
| 2 points by mbateman on March 30, 2011 | past |
|
| | The Simplest Queue? (regehr.org) |
| 2 points by rcfox on March 11, 2011 | past |
|
| | The Little C Function From Hell (regehr.org) |
| 3 points by rcfox on March 3, 2011 | past |
|
| | The Day I Learned To Love Perl (regehr.org) |
| 3 points by primodemus on Feb 21, 2011 | past | 1 comment |
|
| | The Piano Test for Program Verification (regehr.org) |
| 7 points by primodemus on Feb 21, 2011 | past |
|
| | Undefined Integer Behaviors in Student Code (Part 1) (regehr.org) |
| 2 points by gnosis on Feb 18, 2011 | past |
|
| | Should Software Evolve? (regehr.org) |
| 4 points by rcfox on Feb 16, 2011 | past |
|
| | Random Testing Gets No Respect (regehr.org) |
| 3 points by gnosis on Feb 12, 2011 | past |
|
| | Probabilities in Random Testing (regehr.org) |
| 2 points by gnosis on Feb 11, 2011 | past |
|
| | Who Verifies the Verifiers? (regehr.org) |
| 12 points by jbapple on Feb 1, 2011 | past |
|
|
| More |
