Repositories list

• PAFL_Artifact

  Public
  C++

  •0•0•0•0•Updated Jan 4, 2025Jan 4, 2025

• erc-group2-framework

  Public
  Python

  •1•1•1•0•Updated Dec 30, 2024Dec 30, 2024

• kupl.github.io

  Public
  HTML

  •3•1•0•0•Updated Dec 19, 2024Dec 19, 2024

• qupsy

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Dec 6, 2024Dec 6, 2024

• starlab-benchmarks

  Public
  Repository for Software STARLAB benchmarks

  Java

  •

  Other

  •2•5•5•0•Updated Nov 21, 2024Nov 21, 2024

• kaprese

  Public
  Python

  •

  MIT License

  •0•15•6•0•Updated Nov 20, 2024Nov 20, 2024

• Verismart-verification-public

  Public
  Solidity

  •0•0•0•0•Updated Oct 14, 2024Oct 14, 2024

• PyinderArtifact

  Public
  Artifact for Pyinder accepted in ASE 2024

  Python

  •

  MIT License

  •0•2•0•0•Updated Sep 10, 2024Sep 10, 2024

• NPETestArtifact

  Public
  Java

  •

  Other

  •0•1•0•0•Updated Sep 10, 2024Sep 10, 2024

• FpaaTestArtifact

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Aug 31, 2024Aug 31, 2024

• Pyinder

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

• CutFuzz

  Public
  Python

  •

  MIT License

  •0•1•0•0•Updated May 30, 2024May 30, 2024

• PL4XGL

  Public
  Python

  •0•4•0•0•Updated May 2, 2024May 2, 2024

• SAVER_public

  Public
  C

  •

  Other

  •4•3•1•0•Updated Mar 31, 2024Mar 31, 2024

• PyTER

  Public
  Python

  •

  Other

  •5•12•1•0•Updated Jan 30, 2024Jan 30, 2024

• PyinderData

  Public
  Python

  •0•0•0•0•Updated Dec 16, 2023Dec 16, 2023

• kaprese-engines

  Public
  Python

  •

  MIT License

  •0•1•1•0•Updated Nov 24, 2023Nov 24, 2023

• qsyn

  Public
  Artifact for paper Modular Component-based Quantum Circuit Synthesis

  Python

  •

  MIT License

  •0•2•0•0•Updated Nov 8, 2023Nov 8, 2023

• npex

  Public
  Java

  •

  MIT License

  •2•15•4•0•Updated Oct 11, 2023Oct 11, 2023

• SeamFuzz-public

  Public
  Public repository for SeamFuzz

  C

  •

  Other

  •1•1•1•0•Updated Oct 10, 2023Oct 10, 2023

• SmartFix-Artifact

  Public
  Solidity

  •

  Other

  •3•11•0•0•Updated Oct 10, 2023Oct 10, 2023

• PointerAnalysis_GNN

  Public
  Java

  •0•0•0•0•Updated Jul 20, 2023Jul 20, 2023

• Graphick

  Public
  Shell

  •

  MIT License

  •2•8•0•0•Updated Apr 26, 2023Apr 26, 2023

• Data-Driven-Pointsto-Analysis

  Public
  Data-Driven Context-Sensitivity for Points-to Analysis

  Shell

  •0•2•0•0•Updated Apr 26, 2023Apr 26, 2023

• revise-22f

  Public archive
  ocaml

  OCaml

  •

  MIT License

  •0•0•0•0•Updated Apr 13, 2023Apr 13, 2023

• revise-lang

  Public
  OCaml

  •

  MIT License

  •0•0•0•0•Updated Apr 13, 2023Apr 13, 2023

• adapt

  Public
  ADAPT is the open source white-box testing framework for deep neural networks

  testingwhite-box-testingadapt+ 1deep-neural-network

  Jupyter Notebook

  •

  MIT License

  •5•21•0•0•Updated Mar 15, 2023Mar 15, 2023

• MicSE-Public

  Public
  A Tool for Verifying and Refuting Smart Contract of Tezos

  OCaml

  •

  MIT License

  •0•0•0•0•Updated Mar 14, 2023Mar 14, 2023

• LearnML

  Public
  A framework for generating personalized feedbacks on functional programming assignments

  OCaml

  •

  MIT License

  •1•8•0•0•Updated Mar 6, 2023Mar 6, 2023

• Diver-Artifact

  Public
  Python

  •

  MIT License

  •0•7•0•0•Updated Feb 11, 2023Feb 11, 2023