pldi-artifact

There are 0 repository under pldi-artifact topic.

• ctuning / ck-clsmith

  Collective Knowledge extension to crowdsource bug detection in OpenCL compilers using CLSmith tool from Imperial College London

  collective-knowledgeclsmithopencl-bugsopenclcrowd-debuggingcrowdsource-bug-detectioncollaborative-bug-detectionartifact-evaluationcollaborative-compiler-fuzzingopencl-compilerspldi-artifactpldick-formatcrowd
  Language:C 26

• fbenz / FpDebug

  Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems

  floating-pointmpfrpldipldi-artifactvalgrind
  Language:Shell 21
• sisyphus

  verse-lab / sisyphus

  Mostly Automated Proof Repair for Verified Libraries

  coqcurry-howard-isomorphismformal-verificationhigher-order-functionsinvariant-inferenceocamlpldi-artifactproof-repairseparation-logic
  Language:OCaml 1