#
pldi
Here are 8 public repositories matching this topic...
Probabilistic programming system for fast and exact symbolic inference
-
Updated
Apr 12, 2026 - Python
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
-
Updated
Jan 29, 2023 - Shell
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
let a million languages bloom
-
Updated
Apr 20, 2025 - TypeScript
assignments and material for programming languages course (T2-25-26-CSE 754)
-
Updated
May 5, 2026 - OCaml
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
Add this topic to your repo
To associate your repository with the pldi topic, visit your repo's landing page and select "manage topics."