zsu's submissions | Hacker News

1.		Semantic reification: how to generate UB-free code with arbitrary control flow? (github.com/connglli)
		17 points by zsu 2 days ago \| past \| 1 comment
2.		Property-based testing for mobile GUI apps (github.com/ecnusse)
		2 points by zsu on March 4, 2025 \| past
3.		Understanding and exploiting optimal function inlining (acm.org)
		1 point by zsu on March 18, 2022 \| past
4.		Finding missed optimizations through the lens of dead code elimination (github.com/deadcodeproductions)
		1 point by zsu on March 18, 2022 \| past \| 1 comment
5.		How to make an award-winning software artifact (sigops.org)
		2 points by zsu on Jan 8, 2021 \| past
6.		Yin-Yang – A tool for stress-testing SMT solvers (testsmt.github.io)
		54 points by zsu on Nov 17, 2020 \| past \| 14 comments