Tweetovi

Blokirali ste korisnika/cu @bipartite

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bipartite

  1. proslijedio/la je Tweet
    14. sij

    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!

    Poništi
  2. proslijedio/la je Tweet
    5. pro 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.

    Poništi
  3. proslijedio/la je Tweet
    24. stu 2019.

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

    Prikaži ovu nit
    Poništi
  4. 23. stu 2019.
    Poništi
  5. 23. stu 2019.

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

    Poništi
  6. proslijedio/la je Tweet
    22. stu 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.

    Poništi
  7. proslijedio/la je Tweet
    18. stu 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.

    Poništi
  8. proslijedio/la je Tweet
    14. stu 2019.

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

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    10. stu 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.

    Poništi
  10. proslijedio/la je Tweet
    7. stu 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.

    Poništi
  11. proslijedio/la je Tweet
    5. stu 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

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    2. stu 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

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    1. stu 2019.

    HARVARD COMPUTER SCIENCE BE HIRING! we love you all

    Poništi
  14. 29. lis 2019.

    seL4 Hall of Fame Award! ⁦

    Poništi
  15. proslijedio/la je Tweet
    9. lis 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.
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    19. kol 2019.

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

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    17. kol 2019.

    That mighty mountain towering over

    Poništi
  18. proslijedio/la je Tweet
    9. kol 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!

    Poništi
  19. proslijedio/la je Tweet
    7. kol 2019.
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    6. kol 2019.

    The Mighty Mount Rainier looked Majestic tonight! I ❤️

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·