Repositories list

• nesd25

  Public
  CSS

  •0•0•0•0•Updated Jan 3, 2025Jan 3, 2025

• NN4SysBench

  Public
  Python

  •

  MIT License

  •0•2•0•0•Updated Oct 29, 2024Oct 29, 2024

• khoury-srg.github.io

  Public
  SRG webpage: https://srg.khoury.northeastern.edu

  SCSS

  •

  Other

  •0•0•0•0•Updated Sep 20, 2024Sep 20, 2024

• VNNComp24_NN4Sys

  Public
  Python

  •0•0•0•0•Updated May 20, 2024May 20, 2024

• DropoutAttack

  Public
  Python

  •1•0•0•0•Updated May 18, 2024May 18, 2024

• linux-nn

  Public
  Linux kernel source tree

  C

  •

  Other

  •55k•0•0•0•Updated Apr 16, 2024Apr 16, 2024

• Viper

  Public
  C++

  •1•3•1•0•Updated Mar 9, 2024Mar 9, 2024

• Northeastern-Systems-Day-2024

  Public
  3•0•0•0•Updated Jan 23, 2024Jan 23, 2024

• ViperBench

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Dec 10, 2023Dec 10, 2023

• Northeastern-Systems-Day-2023

  Public
  3•0•0•0•Updated Nov 21, 2023Nov 21, 2023

• pre-osdi-atc-2023

  Public
  0•0•0•0•Updated Jul 8, 2023Jul 8, 2023

• VNNComp23_NN4Sys

  Public
  Python

  •0•3•1•0•Updated Jun 17, 2023Jun 17, 2023

• Ouroboros

  Public
  Jupyter Notebook

  •

  MIT License

  •1•0•1•0•Updated Apr 26, 2023Apr 26, 2023

• AuditCloud

  Public
  HTML

  •0•0•0•0•Updated Jan 8, 2023Jan 8, 2023

• NeuralVerification.jl

  Public
  Methods to soundly verify deep neural networks

  Julia

  •

  MIT License

  •50•0•0•0•Updated Oct 25, 2022Oct 25, 2022

• VNNComp22_NN4Sys

  Public
  Python

  •1•0•0•0•Updated Jun 18, 2022Jun 18, 2022