HN Explorer

zsu

↗ HN profile [ 110 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Semantic reification: how to generate UB-free code with arbitrary control flow? (github.com)
    17 points 2
  2. Property-based testing for mobile GUI apps (github.com)
    2 points 0
  3. Understanding and exploiting optimal function inlining (dl.acm.org)
    1 points 0
  4. Finding missed optimizations through the lens of dead code elimination (github.com)
    1 points 1
  5. How to make an award-winning software artifact (sigops.org)
    2 points 0
  6. Yin-Yang – A tool for stress-testing SMT solvers (testsmt.github.io)
    54 points 14