| | How to Debug (regehr.org) |
| 3 points by mapleoin on March 1, 2013 | past |
|
| | Undefined Behavior Executed by Coq (regehr.org) |
| 1 point by emillon on Feb 26, 2013 | past |
|
| | A Quiz About Integers in C (regehr.org) |
| 4 points by kaeso on Feb 17, 2013 | past | 1 comment |
|
| | How to Fuzz an ADT Implementation (regehr.org) |
| 3 points by malloc47 on Feb 14, 2013 | past |
|
| | Use of Goto in Systems Code (regehr.org) |
| 49 points by adunk on Feb 5, 2013 | past | 55 comments |
|
| | Nobody Expects the Spanish Inquisition, or INT_MIN to be Divided by -1 (regehr.org) |
| 10 points by malloc47 on Jan 29, 2013 | past | 1 comment |
|
| | C and C++ Aren't Future Proof (regehr.org) |
| 117 points by malloc47 on Jan 20, 2013 | past | 105 comments |
|
| | Hiding Bugs from Branch Coverage (regehr.org) |
| 2 points by minimax on Jan 15, 2013 | past |
|
| | Peeking into the Trash (regehr.org) |
| 1 point by malloc47 on Jan 3, 2013 | past |
|
| | Operant Conditioning by Software Bugs (regehr.org) |
| 3 points by pascal_cuoq on Dec 31, 2012 | past |
|
| | Is the Browser the New OS? (regehr.org) |
| 1 point by malloc47 on Dec 21, 2012 | past | 1 comment |
|
| | How Does Formal Verification Affect Software Testing? (regehr.org) |
| 2 points by AndreyKarpov on Dec 19, 2012 | past |
|
| | Software Testing Using Easy Cases (regehr.org) |
| 1 point by adunk on Dec 18, 2012 | past |
|
| | Oracles for Random Testing (regehr.org) |
| 1 point by gnosis on Dec 18, 2012 | past |
|
| | Raspberry Rockets (regehr.org) |
| 3 points by wglb on Dec 12, 2012 | past |
|
| | Minimum Pubs for a PhD in CS? (regehr.org) |
| 37 points by jnazario on Dec 4, 2012 | past | 36 comments |
|
| | Gaining Confidence in Confidence Intervals (regehr.org) |
| 3 points by gnosis on Nov 29, 2012 | past |
|
| | A Few Thoughts on Scratch (regehr.org) |
| 1 point by gnosis on Nov 18, 2012 | past |
|
| | Fastest FizzBuzz (regehr.org) |
| 3 points by malloc47 on Nov 15, 2012 | past |
|
| | Writing Solid Code (regehr.org) |
| 2 points by adunk on Oct 30, 2012 | past |
|
| | What’s Operating Systems Research About? (regehr.org) |
| 1 point by fogus on Oct 22, 2012 | past |
|
| | How Did Software Get So Reliable Without Proof? (regehr.org) |
| 5 points by wglb on Oct 17, 2012 | past |
|
| | Certifying Compilers Using Random Testing (regehr.org) |
| 12 points by wglb on Sept 19, 2012 | past | 1 comment |
|
| | What’s Operating Systems Research About? (regehr.org) |
| 3 points by wglb on Sept 14, 2012 | past |
|
| | Undefined Behavior Consequences Contest Winners (regehr.org) |
| 1 point by mike_esspe on Sept 13, 2012 | past |
|
| | ARM Math Quirks on Raspberry Pi (regehr.org) |
| 3 points by wglb on Sept 13, 2012 | past |
|
| | High-Resolution Timing on the Raspberry Pi (regehr.org) |
| 2 points by wglb on Sept 10, 2012 | past |
|
| | It’s Time to Get Serious About Exploiting Undefined Behavior (regehr.org) |
| 2 points by wglb on Sept 7, 2012 | past | 1 comment |
|
| | The Citation Telephone Game (regehr.org) |
| 2 points by adunk on Sept 1, 2012 | past |
|
| | The Hidden Cost of Compiler Bugs (regehr.org) |
| 3 points by wglb on Aug 29, 2012 | past |
|
|
| More |
