Repositories list

• pretty-expressive-oopsla23-artifact

  Public
  0•0•0•0•Updated Jul 14, 2023Jul 14, 2023

• jitterbug

  Public
  Verification of BPF JIT compilers

  C

  •5•54•0•0•Updated Jul 3, 2023Jul 3, 2023

• exoverifier

  Public
  C

  •

  Apache License 2.0

  •1•16•0•0•Updated Jun 9, 2023Jun 9, 2023

• yggdrasil

  Public
  filesystemverificationyggdrasil

  Python

  •7•31•0•0•Updated Apr 15, 2022Apr 15, 2022

• serval

  Public
  Racket

  •

  MIT License

  •13•46•1•1•Updated Apr 4, 2022Apr 4, 2022

• leanette-popl22-artifact

  Public
  Racket

  •

  MIT License

  •0•9•0•0•Updated Nov 16, 2021Nov 16, 2021

• nickel

  Public
  C

  •1•1•0•1•Updated Apr 20, 2021Apr 20, 2021

• jitsynth

  Public
  Racket

  •0•17•0•0•Updated May 1, 2020May 1, 2020

• hyperkernel

  Public
  kernelverificationhyperkernel

  C

  •25•183•1•0•Updated Mar 8, 2020Mar 8, 2020

• bpf-jit-verif

  Public archive
  Racket

  •0•9•0•0•Updated Mar 2, 2020Mar 2, 2020

• symfix-vmcai20

  Public
  Racket

  •

  Other

  •1•3•0•0•Updated Dec 21, 2019Dec 21, 2019

• serval-tutorial-sosp19

  Public
  C

  •3•13•0•0•Updated Nov 11, 2019Nov 11, 2019

• serval-sosp19

  Public
  This repo contains the artifact for our SOSP'19 paper on Serval

  racketverificationriscv+ 2rosettesosp

  Racket

  •

  GNU General Public License v2.0

  •6•28•0•0•Updated Sep 11, 2019Sep 11, 2019