Skip to content
@soarlab

Software Analysis Research Lab

Popular repositories Loading

  1. maline maline Public

    Android Malware Detection Framework

    C++ 81 31

  2. FPTaylor FPTaylor Public

    Tool for Rigorous Estimation of Round-Off Floating-Point Errors

    OCaml 27 9

  3. gelpia gelpia Public

    Rigorous Global Branch-and-Bound Optimizer

    Python 20 6

  4. FPTuner FPTuner Public

    Rigorous Floating-Point Mixed-Precision Tuner

    Python 13 7

  5. KULFI KULFI Public

    LLVM Instruction Level Fault Injector

    C++ 7 1

  6. conferences conferences Public

    Conferences on Software Verification and Analysis

    4 2

Repositories

Showing 10 of 30 repositories
  • FPTaylor Public

    Tool for Rigorous Estimation of Round-Off Floating-Point Errors

    soarlab/FPTaylor’s past year of commit activity
    OCaml 27 MIT 9 12 2 Updated Sep 1, 2024
  • gelpia Public

    Rigorous Global Branch-and-Bound Optimizer

    soarlab/gelpia’s past year of commit activity
    Python 20 MIT 6 10 1 Updated May 16, 2024
  • rust-benchmarks Public

    Rust software verification benchmarks

    soarlab/rust-benchmarks’s past year of commit activity
    Rust 3 MIT 2 1 1 Updated Apr 18, 2024
  • OL1V3R Public

    OL1V3R: solving floating-point constraints via stochastic local search

    soarlab/OL1V3R’s past year of commit activity
    Racket 1 0 0 0 Updated Aug 14, 2022
  • fpsyn Public

    Synthesis of rigorous floating-point predicates

    soarlab/fpsyn’s past year of commit activity
    C 2 MIT 1 0 0 Updated Mar 24, 2022
  • AAQNN Public

    Adversarial Attacks for Quantized Neural Networks

    soarlab/AAQNN’s past year of commit activity
    Python 2 0 3 5 Updated Jan 13, 2022
  • paf Public

    PAF: Probabilistic Analysis of Errors in Floating-Point Computations

    soarlab/paf’s past year of commit activity
    Python 1 MIT 1 12 0 Updated Dec 7, 2021
  • gelpia_tests Public

    test suite for the gelpia tool

    soarlab/gelpia_tests’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Dec 6, 2021
  • lgbtq-problem-set Public

    An LGBTQ-Inclusive Problem Set in Discrete Mathematics

    soarlab/lgbtq-problem-set’s past year of commit activity
    2 CC-BY-4.0 0 0 0 Updated Dec 2, 2021
  • rust-verification-tools Public Forked from project-oak/rust-verification-tools

    RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

    soarlab/rust-verification-tools’s past year of commit activity
    Rust 0 Apache-2.0 37 0 0 Updated Sep 9, 2021

Top languages

Loading…

Most used topics

Loading…