Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

zsu

41 karmajoined June 17, 2014On HN

https://people.inf.ethz.ch/suz/

Recent submissions

Semantic reification: how to generate UB-free code with arbitrary control flow?github.com/connglli
17zsu3mo1 comment
Property-based testing for mobile GUI apps github.com/ecnusse
2zsu1ydiscuss
Understanding and exploiting optimal function inlining dl.acm.org
1zsu4ydiscuss
Finding missed optimizations through the lens of dead code elimination github.com/DeadCodeProductions
1zsu4y1 comment
How to make an award-winning software artifact sigops.org
2zsu5ydiscuss
Yin-Yang – A tool for stress-testing SMT solvers testsmt.github.io
54zsu5y14 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.