Twitter | Search | |
Xi Wang
Computer systems
2,851
Tweets
395
Following
1,100
Followers
Tweets
Xi Wang retweeted
VUSec Jan 14
Our NDSS paper, ABSynthe is now online: ABSynthe takes a target program and a microarchitecture and automatically synthesizes new side channels. With cool leakage maps!
Reply Retweet Like
Xi Wang retweeted
Ratul Mahajan 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.
Reply Retweet Like
Xi Wang retweeted
Sigma Sreedharan Nov 24
T-Mobile park lit up in magenta tonight for tonight.
Reply Retweet Like
Xi Wang Nov 24
Replying to @savenhe
yep
Reply Retweet Like
Xi Wang Nov 23
Reply Retweet Like
Xi Wang Nov 23
Tech report on building security monitors on and experience with using HiFive Unleashed via
Reply Retweet Like
Xi Wang retweeted
ACM SIGOPS Nov 22
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.
Reply Retweet Like
Xi Wang retweeted
Sam Tobin-Hochstadt Nov 18
The upcoming release of will be (mostly) available under a new, permissive license: MIT or Apache2. You can read more here: Thanks to everyone who gave permission, and thanks to Sage Gerard and Joel Dueck as well as for their help.
Reply Retweet Like
Xi Wang retweeted
Sigma Sreedharan Nov 14
Great fall weather photo-op in today. Mount Rainier wore a pretty lenticular cap and there is some virga in the air too!
Reply Retweet Like
Xi Wang retweeted
Somesh Jha 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.
Reply Retweet Like
Xi Wang retweeted
Frank McSherry 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.
Reply Retweet Like
Xi Wang retweeted
John Regehr Nov 5
the freeze instruction finally landed in LLVM! docs: lots of work left to do but this is a big step towards making LLVM have a clear and consistent undefined behavior model
Reply Retweet Like
Xi Wang retweeted
Sigma Sreedharan Nov 2
How lucky are we that this view is just out there when we run out for an errand or drive to work! watching over
Reply Retweet Like
Xi Wang retweeted
Eddie Kohler Nov 1
HARVARD COMPUTER SCIENCE BE HIRING! we love you all
Reply Retweet Like
Xi Wang Oct 29
seL4 Hall of Fame Award! ⁦
Reply Retweet Like
Xi Wang retweeted
Paul Chaignon Oct 9
And a third (proof-of-concept) BPF verifier! In this paper, 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!
Reply Retweet Like
Xi Wang Sep 4
Replying to @johnregehr
You might be interested in PeriSCOPE and follow-up work
Reply Retweet Like
Xi Wang retweeted
John Regehr Aug 19
new blog post: Write Fuzzable Code in which I express a lack of sympathy for anti-fuzzing measures
Reply Retweet Like
Xi Wang Aug 18
Replying to @moyix @johnregehr
Smells like an interesting research problem..
Reply Retweet Like
Xi Wang Aug 18
Replying to @0xDouze @moyix
It’s unlikely to be directly applicable here since this is a different problem..
Reply Retweet Like