|
Luke Nelson
@
lukenels_
Seattle, WA
|
|
UW CSE PhD Student. he/him.
|
|
|
13
Tweetovi
|
108
Pratim
|
88
Osobe koje vas prate
|
| Tweetovi |
| Luke Nelson proslijedio/la je tweet | ||
|
|
Xi Wang
@bipartite
|
23. stu |
|
Tech report on building security monitors on @risc_v and experience with using @SiFive HiFive Unleashed via @lukenels_
unsat.cs.washington.edu/papers/nelson-…
|
||
|
|
||
| Luke Nelson proslijedio/la je tweet | ||
|
Microsoft Research
@MSFTResearch
|
28. lis |
|
Two papers by Microsoft researchers and collaborators received Best Paper at #SOSP19!
@UChicagoCS, @GuangpuL, Shan Lu, @madanMusi, Suman Nath & @moarbugs: aka.ms/AA6f2q7
Luke Nelson, @siderealed, @guronghuieric @0xabU, Emina Torlak & @bipartite: aka.ms/AA6eoap twitter.com/ACMSIGOPS/stat…
|
||
|
|
||
| Luke Nelson proslijedio/la je tweet | ||
|
Paul Chaignon
@pchaigno
|
9. lis |
|
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! unsat.cs.washington.edu/papers/nelson-… pic.twitter.com/3M38wie0Y8
|
||
|
|
||
| Luke Nelson proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
15. ožu 2018. |
|
pretty good general advice for doing formal methods work, I think pic.twitter.com/4dmuXb7Q5l
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
25. lis 2017. |
|
Now I know why you wanted to cancel our meeting today :P
|
||
|
|
||
| Luke Nelson proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
3. lis 2017. |
|
Hyperkernel: Push-Button Verification of an OS Kernel
syslab.cs.washington.edu/papers/nelson-…
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
29. ruj 2017. |
|
What do you feed your vegan dog?
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
10. ruj 2017. |
|
Sounds like someone should switch to @gowave_g
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
1. kol 2017. |
|
Yeah but in this case the other pronunciation is so much more fun it overrides that
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
4. velj 2017. |
|
If so, that's impressive, my laptop battery struggles to last more than a couple hours
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
25. sij 2017. |
|
weird, I got the same thing but my cravings are for Parisian chipotle
|
||
|
|
||
|
Luke Nelson
@lukenels_
|
6. sij 2017. |
|
|
||
|
Luke Nelson
@lukenels_
|
18. pro 2016. |
|
I'm always jealous of people whose names end in a TLD
|
||
|
|
||