CSGuides / grad-job-guide
CS Graduate Job Guide
☆33Updated last week
Related projects ⓘ
Alternatives and complementary repositories for grad-job-guide
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆33Updated 5 months ago
- Code2Inv: Learning Loop Invariants for Program Verification☆85Updated 3 years ago
- ☆23Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- A SyGuS Solver☆22Updated 3 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆76Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆35Updated 2 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- ☆40Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Program Synthesis Course☆247Updated 8 months ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- Dynamic analysis framework for Python☆58Updated last week
- A framework for testing compilers' type checkers☆17Updated last week
- ☆19Updated 7 months ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆29Updated 4 years ago
- Program Synthesis☆12Updated 3 years ago
- ☆12Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- A powerful relational representation of source code☆29Updated last year
- The Termination Problem Database☆27Updated 5 months ago
- ☆34Updated last month
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- CLuster And RepAir tool for introductory programming assignments☆45Updated 8 months ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- ☆17Updated last month
- ☆13Updated 3 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago