soarlab/conferences

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Created over 6 years ago
Updated over 3 years ago

soarlab/conferences

soarlab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Conferences on Software Verification and Analysis

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

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