Search
 
   

37 results for "domain:blog.regehr.org"

  1. 8
    Planning for Disaster practices blog.regehr.org
    pushcx avatar via pushcx 2 years ago | cached | no comments
  2. 3
    Testcase Reduction for Non-Preprocessed C and C++ c testing blog.regehr.org
    fitzgen avatar via fitzgen 2 years ago | cached | no comments
  3. 7
    Compilers and Termination Revisited c compilers math blog.regehr.org
    pushcx avatar via pushcx 2 years ago | cached | 3 comments
  4. 6
    A Few Synthesizing Superoptimizer Results compilers blog.regehr.org
    sanxiyn avatar via sanxiyn 3 years ago | cached | no comments
  5. 14
    Operant Conditioning by Software Bugs practices blog.regehr.org
    pushcx avatar via pushcx 3 years ago | cached | no comments
  6. 6
    Static Analysis Benchmarks compsci programming blog.regehr.org
    BruceM avatar via BruceM 3 years ago | cached | 1 comment
  7. 7
    ALIVe: Automatic LLVM InstCombine Verifier compsci programming blog.regehr.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  8. 6
    Finding Compiler Bugs by Removing Dead Code c compilers compsci blog.regehr.org
    tedu avatar via tedu 4 years ago | cached | no comments
  9. 1
    A Guide to Better Scripty Code for Academics programming blog.regehr.org
    zhemao avatar via zhemao 4 years ago | cached | no comments
  10. 10
    We Need Hardware Traps for Integer Overflow programming blog.regehr.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  11. 6
    Heartbleed and Static Analysis c security blog.regehr.org
    jkkm avatar via jkkm 4 years ago | cached | 1 comment
  12. 24
    Xv6 programming unix blog.regehr.org
    apg avatar via apg 4 years ago | cached | no comments
  13. 9
    Automated Reasoning About LLVM Optimizations and Undefined Behavior compsci programming blog.regehr.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  14. 24
    Let’s Work on an LLVM Superoptimizer c compsci blog.regehr.org
    tedu avatar via tedu 4 years ago | cached | no comments
  15. 10
    Assertions Are Pessimistic, Assumptions Are Optimistic c programming blog.regehr.org
    tedu avatar via tedu 4 years ago | cached | 1 comment
  16. 7
    Are Compilers Getting More or Less Reliable? compilers compsci blog.regehr.org
    jcs avatar via jcs 4 years ago | cached | no comments
  17. 4
    Finding Undefined Behavior Bugs by Finding Dead Code programming blog.regehr.org
    jcs avatar via jcs 5 years ago | cached | no comments
Page: 1 2