Tweets

You blocked @lukenels_

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

  1. Retweeted
    23 Nov 2019

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

    Undo
  2. Retweeted

    Two papers by Microsoft researchers and collaborators received Best Paper at ! , , Shan Lu, @madanMusi, Suman Nath & : Luke Nelson, , , Emina Torlak & :

    Undo
  3. 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
  4. Retweeted
    15 Mar 2018

    pretty good general advice for doing formal methods work, I think

    Undo
  5. Retweeted
    3 Oct 2017

    Hyperkernel: Push-Button Verification of an OS Kernel

    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

    ·