Tweets
- Tweets, current page.
- Tweets & replies
You blocked @lukenels_
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @lukenels_
-
Luke Nelson Retweeted
Tech report on building security monitors on
@risc_v and experience with using@SiFive HiFive Unleashed via@lukenels_ https://unsat.cs.washington.edu/papers/nelson-hifive-tr.pdf …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Luke Nelson Retweeted
Two papers by Microsoft researchers and collaborators received Best Paper at
#SOSP19!@UChicagoCS,@GuangpuL, Shan Lu, @madanMusi, Suman Nath &@moarbugs: https://aka.ms/AA6f2q7 Luke Nelson,@siderealed,@guronghuieric@0xabU, Emina Torlak &@bipartite: https://aka.ms/AA6eoap https://twitter.com/ACMSIGOPS/status/1188812263525933057 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Luke Nelson Retweeted
And a third (proof-of-concept) BPF verifier! In this paper,
@lukenels_ et al. explain how they automatically transform a BPF interpreter into a BPF verifier using symbolic execution. They then use it to find 15 bugs in Linux's JIT compilers! https://unsat.cs.washington.edu/papers/nelson-serval.pdf …pic.twitter.com/3M38wie0Y8
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Luke Nelson Retweeted
pretty good general advice for doing formal methods work, I thinkpic.twitter.com/4dmuXb7Q5l
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Luke Nelson Retweeted
Hyperkernel: Push-Button Verification of an OS Kernel https://syslab.cs.washington.edu/papers/nelson-hyperkernel.pdf …
Thanks. 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.