An curated list of papers on program synthesis.
☆70Aug 11, 2019Updated 6 years ago
Alternatives and similar repositories for awesome-program-synthesis
Users that are interested in awesome-program-synthesis are comparing it to the libraries listed below
Sorting:
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated last year
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- some my implementation of content in PPA☆18Nov 3, 2020Updated 5 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Aug 19, 2020Updated 5 years ago
- ☆25Jan 10, 2020Updated 6 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Apr 4, 2021Updated 4 years ago
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated last week
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- CTF challenge and Writeup☆13Apr 11, 2019Updated 6 years ago
- IT jobs in South Korea☆10Jul 5, 2016Updated 9 years ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- ☆16Nov 24, 2023Updated 2 years ago
- Mimojas Firmware Toolkit for unpacking and analysis firmware images☆14May 23, 2020Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 10 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 5 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- ☆14May 28, 2024Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 3 years ago
- ☆18Aug 7, 2020Updated 5 years ago
- ☆12Jun 14, 2023Updated 2 years ago
- ☆16Jul 24, 2024Updated last year
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago