| Tweets |
| Xi Wang retweeted | ||
|
VUSec
@vu5ec
|
Jan 14 |
|
Our NDSS paper, ABSynthe is now online:
download.vusec.net/papers/absynth…
ABSynthe takes a target program and a microarchitecture and automatically synthesizes new side channels. With cool leakage maps!
@bjg @c_giuffrida @kavehrazavi @mik__ @herbertbos
|
||
|
|
||
| Xi Wang retweeted | ||
|
Ratul Mahajan
@ratulm
|
Dec 5 |
|
New paper: Putting network verification to good use
Ryan and I argue that making network verification broadly accessible requires capabilities like those in software testing--easy expression of tests and meaningful feedback on the test suite itself.
ratul.org/papers/hotnets…
|
||
|
|
||
| Xi Wang retweeted | ||
|
Sigma Sreedharan
@sigmas
|
Nov 24 |
|
T-Mobile park lit up in magenta tonight for #EnchantChristmas tonight. #TMobile pic.twitter.com/Av3Xqb1viU
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Nov 24 |
|
yep
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Nov 23 |
|
Mango mango pic.twitter.com/YavAufneOF
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Nov 23 |
|
Tech report on building security monitors on @risc_v and experience with using @SiFive HiFive Unleashed via @lukenels_
unsat.cs.washington.edu/papers/nelson-…
|
||
|
|
||
| Xi Wang retweeted | ||
|
ACM SIGOPS
@ACMSIGOPS
|
Nov 22 |
|
#Announcement
The steering committee has selected Koblenz, Germany to host SOSP 2021, with the local organizing team being Antoine Kaufmann, Keon Jang, Peter Druschel, and Jonathan Mace.
@SOSP_2019 #SOSP21 #Koblenz #Germany #Deutschland
|
||
|
|
||
| Xi Wang retweeted | ||
|
Sam Tobin-Hochstadt
@samth
|
Nov 18 |
|
The upcoming release of @racketlang will be (mostly) available under a new, permissive license: MIT or Apache2. You can read more here: blog.racket-lang.org/2019/11/comple…
Thanks to everyone who gave permission, and thanks to Sage Gerard and Joel Dueck as well as @conservancy for their help.
|
||
|
|
||
| Xi Wang retweeted | ||
|
Sigma Sreedharan
@sigmas
|
Nov 14 |
|
Great fall weather photo-op in #Seattle today. Mount Rainier wore a pretty lenticular cap and there is some virga in the air too! pic.twitter.com/4qmlOouHnk
|
||
|
|
||
| Xi Wang retweeted | ||
|
Somesh Jha
@jhasomesh
|
Nov 10 |
|
Several positions open. My personal opinion: I have been very happy in this department for > n years, and I love the collaborative and friendly atmosphere.
cs.wisc.edu/people/faculty…
|
||
|
|
||
| Xi Wang retweeted | ||
|
Frank McSherry
@frankmcsherry
|
Nov 7 |
|
I didn't see much tweeting about this, but delighted to hear that DryadLINQ received a SIGOPS Hall of Fame award at SOSP 2019. Absolutely foundational work that certainly changed how I approach data-intensive computation.
sosp19.rcs.uwaterloo.ca/awards.html
|
||
|
|
||
| Xi Wang retweeted | ||
|
John Regehr
@johnregehr
|
Nov 5 |
|
the freeze instruction finally landed in LLVM!
github.com/llvm/llvm-proj…
docs:
github.com/llvm/llvm-proj…
lots of work left to do but this is a big step towards making LLVM have a clear and consistent undefined behavior model
|
||
|
|
||
| Xi Wang retweeted | ||
|
Sigma Sreedharan
@sigmas
|
Nov 2 |
|
How lucky are we that this view is just out there when we run out for an errand or drive to work! #MountRainier watching over #seattle pic.twitter.com/8LgiC3VYeH
|
||
|
|
||
| Xi Wang retweeted | ||
|
Eddie Kohler
@xexd
|
Nov 1 |
|
HARVARD COMPUTER SCIENCE BE HIRING! academicpositions.harvard.edu/postings/9135 we love you all
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Oct 29 |
|
seL4 Hall of Fame Award! @GernotHeiser pic.twitter.com/7aX3uJn6BS
|
||
|
|
||
| Xi Wang retweeted | ||
|
Paul Chaignon
@pchaigno
|
Oct 9 |
|
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
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Sep 4 |
|
You might be interested in PeriSCOPE usenix.org/system/files/c… and follow-up work microsoft.com/en-us/research…
|
||
|
|
||
| Xi Wang retweeted | ||
|
John Regehr
@johnregehr
|
Aug 19 |
|
new blog post: Write Fuzzable Code
blog.regehr.org/archives/1687
in which I express a lack of sympathy for anti-fuzzing measures
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Aug 18 |
|
Smells like an interesting research problem..
|
||
|
|
||
|
|
Xi Wang
@bipartite
|
Aug 18 |
|
It’s unlikely to be directly applicable here since this is a different problem..
|
||
|
|
||