Probabilistic programming system for fast and exact symbolic inference
-
Updated
Jul 10, 2024 - Python
#
pldi
Here are 6 public repositories matching this topic...
Collective Knowledge extension to crowdsource bug detection in OpenCL compilers using CLSmith tool from Imperial College London
opencl
crowd
collective-knowledge
artifact-evaluation
clsmith
opencl-bugs
crowd-debugging
crowdsource-bug-detection
collaborative-bug-detection
collaborative-compiler-fuzzing
opencl-compilers
pldi-artifact
pldi
ck-format
-
Updated
Jan 16, 2019 - C
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
-
Updated
Jan 29, 2023 - Shell
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
-
Updated
Apr 14, 2021 - Coq
Artifact Evaluation, PLDI'20
validation
virtualbox
x86-64
reverse-engineering
evaluation
formal-semantics
symbolic-execution-engine
compiler-optimization
graph-matching
llvm-ir
pldi
verification-conditions
language-semantics
translation-validation
mcsema
symbolic-summaries
verification-queries
detecting-bugs
reproducing-bugs
-
Updated
Apr 18, 2020
Improve this page
Add a description, image, and links to the pldi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pldi topic, visit your repo's landing page and select "manage topics."