wslee's starred repositories
BurstArtifactEvaluation
Artifact Evaluation for Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution
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.
cse291-program-synthesis
Program Synthesis Course