HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Tell HN: Learn about the state-of-the-art in Program Synthesis
7 comments
7 years ago
saurabh20n
24 points
2.
▲
Hyperkernel – A push-button approach to building provably correct OS kernels
unsat.cs.washington.edu
45 comments
8 years ago
lainon
168 points
3.
▲
Finding Code That Explodes Under Symbolic Evaluation [pdf]
unsat.cs.washington.edu
discuss
8 years ago
lainon
6 points
4.
▲
Specification and verification in the field: Applying formal methods to BPF JITs [pdf]
unsat.cs.washington.edu
discuss
6 years ago
matt_d
3 points
5.
▲
Yxv6: Push-Button Verification of File Systems (2016)
unsat.cs.washington.edu
discuss
7 years ago
MrXOR
2 points
6.
▲
Framework for Design and Verification of Information Flow Control Systems [pdf]
unsat.cs.washington.edu
discuss
8 years ago
ingve
2 points