Would like share some cool results. Using a new automated verification tool called Serval we found 15 previously unknown bugs in Linux kernel's bpf jit compilers (9 in riscv and 6 in x86).
-
-
We will release the source code asap - stay tuned. Meanwhile, if you missed Emina's tutorial at CAV'19 last week, attend her keynote at ICFP'19 in August.
@lukenels_ will give a talk at SOSP'19 - feel free to find us if you're at these events.Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.