wslee

ProMBA

MBA deobfuscator via Program Synthesis and Term Rewriting

simba

Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

pl-wiki

BurstArtifactEvaluation

Artifact Evaluation for Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution

BugZoo

Keep your bugs contained. A platform for studying historical software bugs.

bugfixer-testbench

bug-localizer

HEAAN

infer

A static analyzer for Java, C, C++, and Objective-C

HElib

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

Cingulata

Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.

prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

cse291-program-synthesis

Program Synthesis Course

chisel

A System for Debloating C/C++ Programs