Tweets

You blocked @bipartite

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @bipartite

  1. Retweeted
    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!

    Undo
  2. Retweeted
    5 Dec 2019

    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.

    Undo
  3. Retweeted
    24 Nov 2019

    T-Mobile park lit up in magenta tonight for tonight.

    Show this thread
    Undo
  4. 23 Nov 2019
    Undo
  5. 23 Nov 2019

    Tech report on building security monitors on and experience with using HiFive Unleashed via

    Undo
  6. Retweeted
    22 Nov 2019

    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.

    Undo
  7. Retweeted
    18 Nov 2019

    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.

    Undo
  8. Retweeted
    14 Nov 2019

    Great fall weather photo-op in today. Mount Rainier wore a pretty lenticular cap and there is some virga in the air too!

    Show this thread
    Undo
  9. Retweeted
    10 Nov 2019

    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.

    Undo
  10. Retweeted
    7 Nov 2019

    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.

    Undo
  11. Retweeted
    5 Nov 2019

    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

    Show this thread
    Undo
  12. Retweeted
    2 Nov 2019

    How lucky are we that this view is just out there when we run out for an errand or drive to work! watching over

    Show this thread
    Undo
  13. Retweeted
    1 Nov 2019

    HARVARD COMPUTER SCIENCE BE HIRING! we love you all

    Undo
  14. 29 Oct 2019

    seL4 Hall of Fame Award! ⁦

    Undo
  15. Retweeted
    9 Oct 2019

    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!

    Screenshot of the paper "Scaling symbolic evaluation for automated verification of systems code with Serval" by Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, and Xi Wang.
    Show this thread
    Undo
  16. Retweeted
    19 Aug 2019

    new blog post: Write Fuzzable Code in which I express a lack of sympathy for anti-fuzzing measures

    Show this thread
    Undo
  17. Retweeted
    17 Aug 2019

    That mighty mountain towering over

    Undo
  18. Retweeted
    9 Aug 2019

    GDPR compliance is expensive and tricky to retrofit onto existing datacenter systems. Can we design systems that are GDPR-compliant "by construction"? Find out more in our upcoming Poly'19 workshop paper at (w/ +others): -- thoughts welcome!

    Undo
  19. Retweeted
    7 Aug 2019
    Show this thread
    Undo
  20. Retweeted
    6 Aug 2019

    The Mighty Mount Rainier looked Majestic tonight! I ❤️

    Show this thread
    Undo

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.

    You may also like

    ·