Explore @soarlab Open Source projects

Software Analysis Research Lab (@soarlab)

soarlab

Stars
179
Global Org. Rank 42,805 (Top 14 %)
Registered over 11 years ago
Most used languages

Python
29.4 %

C++
29.4 %

C
11.8 %

OCaml
5.9 %

TeX
5.9 %

Shell
5.9 %

Rust
5.9 %

Racket
5.9 %
Location 🇺🇸 United States
Country Total Rank 33,699
Country Ranking

OCaml
177

Racket
497

C++
2,602

TeX
2,770

Rust
6,212

maline

Android Malware Detection Framework

FPTaylor

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

gelpia

Rigorous Global Branch-and-Bound Optimizer

FPTuner

Rigorous Floating-Point Mixed-Precision Tuner

KULFI

LLVM Instruction Level Fault Injector

conferences

Conferences on Software Verification and Analysis

FPML

Exploring floating-point trade-offs in machine learning

rust-benchmarks

Rust software verification benchmarks

Gklee

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

gandalv

Multi-Language Verification Benchmarks

S3FP

Guided Random Testing for Floating-Point Error Estimation

AAQNN

Adversarial Attacks for Quantized Neural Networks

fpsyn

Synthesis of rigorous floating-point predicates

lgbtq-problem-set

An LGBTQ-Inclusive Problem Set in Discrete Mathematics

cs5959-f15-shared

Shared Repository for CS 5959: Writing Solid Code

paf

PAF: Probabilistic Analysis of Errors in Floating-Point Computations

OL1V3R

OL1V3R: solving floating-point constraints via stochastic local search

gelpia_tests

test suite for the gelpia tool

clover

Analysis of Debian with KLEE