Skip to content
@dynaroars

DynaRoars

DynaRoars Lab at George Mason University
README.md

Code repository of the Dynaroars lab at George Mason University.

Pinned Loading

  1. dig dig Public

    DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…

    Python 39 6

  2. npbench npbench Public

    a collection of benchmarks (in DIMACS format) for various NP-Complete problems

    TeX 11 1

  3. gentree gentree Public

    GenTree: Using Decision Trees to Learn Interactions for Configurable Software (ICSE 21)

    C 1 1

  4. dynaplex dynaplex Public

    A tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing prog…

    C++ 5 2

  5. dynaroars.github.io dynaroars.github.io Public

    Dynaroars Website

    HTML 65 6

Repositories

Showing 10 of 28 repositories
  • neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    dynaroars/neuralsat’s past year of commit activity
    Python 14 MIT 0 3 0 Updated Dec 19, 2024
  • dynaroars.github.io Public

    Dynaroars Website

    dynaroars/dynaroars.github.io’s past year of commit activity
    HTML 65 6 0 0 Updated Dec 13, 2024
  • dig Public

    DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

    dynaroars/dig’s past year of commit activity
    Python 39 MIT 6 5 0 Updated Sep 5, 2024
  • symbolic-execution-analysis Public
    dynaroars/symbolic-execution-analysis’s past year of commit activity
    Python 0 0 0 0 Updated May 21, 2024
  • vnncomp-benchmark-generation Public
    dynaroars/vnncomp-benchmark-generation’s past year of commit activity
    Python 0 MIT 1 0 0 Updated May 12, 2024
  • dynaplex Public

    A tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing program complexity bounds.

    dynaroars/dynaplex’s past year of commit activity
    C++ 5 MIT 2 3 0 Updated Apr 2, 2024
  • neuralbench Public

    Collections of neural networks and specifications

    dynaroars/neuralbench’s past year of commit activity
    Shell 0 0 0 0 Updated Mar 9, 2024
  • maxclique Public

    A parallel, ant-based algorithm for the Maximum Clique problem.

    dynaroars/maxclique’s past year of commit activity
    C++ 2 MIT 0 0 0 Updated Sep 3, 2023
  • coloring Public

    A fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)

    dynaroars/coloring’s past year of commit activity
    C 0 MIT 0 0 0 Updated Sep 2, 2023
  • .github Public
    dynaroars/.github’s past year of commit activity
    0 0 0 0 Updated Aug 24, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…