HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
zsu
Semantic reification: how to generate UB-free code with arbitrary control flow?
17 points
zsu
2026-06-03T11:19:45Z
github.com
Property-based testing for mobile GUI apps
2 points
zsu
2025-03-04T21:17:33Z
github.com
Understanding and exploiting optimal function inlining
1 points
zsu
2022-03-18T12:13:24Z
dl.acm.org
Finding missed optimizations through the lens of dead code elimination
1 points
zsu
2022-03-18T12:11:13Z
github.com
How to make an award-winning software artifact
2 points
zsu
2021-01-08T19:31:34Z
www.sigops.org
Yin-Yang – A tool for stress-testing SMT solvers
54 points
zsu
2020-11-17T12:52:47Z
testsmt.github.io