lorisdanto / cse291-program-synthesis-loris
Program synthesis class taught by Loris D'Antoni
☆15Updated 2 weeks ago
Related projects: ⓘ
- Collect simple coverage information in memory.☆11Updated last year
- ☆21Updated 4 years ago
- CS 704 course website - Principles of Programming Languages☆68Updated last year
- PL/SE conference deadline countdowns☆19Updated 3 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆17Updated last month
- SLOT: SMT-LLVM Optimizing Translation☆27Updated last year
- Public-facing course info for program analysis materials.☆35Updated this week
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 4 years ago
- Teaching and Learning Software Verification via SVF☆32Updated 3 weeks ago
- A list of bugs found by SQLancer☆13Updated 7 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- ☆15Updated last year
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆45Updated 10 months ago
- ☆25Updated 3 months ago
- A SyGuS Solver☆22Updated last month
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆82Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆20Updated last year
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- A compiler from TIP to llvm bitcode☆61Updated last week
- A reading group for system verification papers☆10Updated 11 months ago
- A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆12Updated 3 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆49Updated last year
- ☆96Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆193Updated 2 years ago
- A Pointer Analysis Framework for Rust☆39Updated 3 weeks ago
- ☆44Updated 5 months ago