High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM.

Yuyou Fan John Regehr

Published in: CGO (2024)

Keyphrases

high throughput
formal methods
microarray
genome wide
systems biology
biological data

model checking
knowledge based systems
artificial intelligence
protein protein interactions
genomic data
formal specification

low latency
software engineering
mass spectrometry data
proteomic data
dna sequencing
gene expression

data sets
development lifecycle
formal specification language
mass spectrometry
modeling language
machine learning