DynaRoars

DynaRoars's repositories

phd-cs-us

This handbook helps demystify the PhD admission process in Computer Science in US universities.

Language:TeX93 2 12

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.

Language:PythonMIT40 3 45

neuralsat

DPLL(T)-based Verification tool for DNNs

Language:PythonMIT14 4 5

npbench

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

Language:TeX12 10

dynaplex

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.

Language:C++MIT5 5 3

COOL-Language-Support

Language:Python3 2 2

maxclique

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

Language:C++MIT2 10

numinv

Language:Roff2 10

ceti

CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.

Language:SWIG1 10

gentree

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

Language:CMIT1 2 1

igen

a dynamic analysis tool to find interactions among configuration options in highly-configurable software.

Language:Python1 3 4

neuralsat-solver

A DPLL(T) Framework for Verifying Deep Neural Networks

Language:PythonBSD-3-Clause1 20

gentree_docker

Language:Python020

.github

010

ceti2

Language:OCaml010

coloring

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

Language:CMIT010