zsu | Dark Hacker News

1.	Semantic reification: how to generate UB-free code with arbitrary control flow?(github.com) 17 points by zsu 9 days ago \| 1 comment
2.	Property-based testing for mobile GUI apps(github.com) 2 points by zsu 1 year ago \| 0 comments
3.	Understanding and exploiting optimal function inlining(dl.acm.org) 1 points by zsu 4 years ago \| 0 comments
4.	Finding missed optimizations through the lens of dead code elimination(github.com) 1 points by zsu 4 years ago \| 1 comment
5.	How to make an award-winning software artifact(sigops.org) 2 points by zsu 5 years ago \| 0 comments
6.	Yin-Yang – A tool for stress-testing SMT solvers(testsmt.github.io) 54 points by zsu 5 years ago \| 14 comments