Search: unsat.cs.washington.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Tell HN: Learn about the state-of-the-art in Program Synthesis

24 points

7 years ago

2.

Hyperkernel – A push-button approach to building provably correct OS kernels (unsat.cs.washington.edu)

168 points

8 years ago

3.

Finding Code That Explodes Under Symbolic Evaluation [pdf] (unsat.cs.washington.edu)

6 points

8 years ago

4.

Specification and verification in the field: Applying formal methods to BPF JITs [pdf] (unsat.cs.washington.edu)

3 points

6 years ago

5.

Yxv6: Push-Button Verification of File Systems (2016) (unsat.cs.washington.edu)

2 points

7 years ago

6.

Framework for Design and Verification of Information Flow Control Systems [pdf] (unsat.cs.washington.edu)

2 points

8 years ago