pldi

There are 0 repository under pldi topic.

probsys / sppl
Probabilistic programming system for fast and exact symbolic inference
pldi probabilistic-inference probabilistic-programming programming-languages sum-product-networks
Language:Python 74
ctuning / ck-clsmith
Collective Knowledge extension to crowdsource bug detection in OpenCL compilers using CLSmith tool from Imperial College London
artifact-evaluation ck-format clsmith collaborative-bug-detection collaborative-compiler-fuzzing collective-knowledge crowd crowd-debugging crowdsource-bug-detection opencl opencl-bugs opencl-compilers pldi pldi-artifact
Language:C 26
fbenz / FpDebug
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
valgrind floating-point mpfr pldi-artifact pldi
Language:Shell 21
kaist-cp / view-hw
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
theorem proof coq-formalization x86 armv8 persistency pldi semantics
Language:Coq 3
sdasgup3 / PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
llvm-ir mcsema symbolic-execution-engine symbolic-summaries verification-queries virtualbox x86-64 language-semantics reverse-engineering translation-validation validation compiler-optimization graph-matching formal-semantics verification-conditions detecting-bugs pldi evaluation reproducing-bugs