Streamlining Analyses on the Linux Kernel with DUKS.

Rafael Passos, Arthur Pilone, David Tadokoro, Paulo Meirelles

Browse the full VISSOFT paper archive.