CSGuides / grad-job-guide
CS Graduate Job Guide
☆32Updated 2 months ago
Alternatives and similar repositories for grad-job-guide:
Users that are interested in grad-job-guide are comparing it to the libraries listed below
- ☆23Updated 3 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆39Updated 7 months ago
- ☆40Updated 5 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆88Updated 4 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- ☆25Updated 3 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- CLuster And RepAir tool for introductory programming assignments☆45Updated 10 months ago
- A framework for testing compilers' type checkers☆17Updated 2 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆80Updated 3 years ago
- ☆18Updated this week
- PC-miner tool for program chairs☆24Updated last month
- The Termination Problem Database☆28Updated 2 weeks ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆53Updated 2 weeks ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆38Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Program Synthesis☆12Updated 3 years ago
- Program synthesis class taught by Loris D'Antoni☆27Updated last month
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- Interview questions for Computer Science faculty jobs☆40Updated 10 months ago
- Generates loop invariants for program verification☆59Updated 4 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆24Updated 7 months ago
- Taxonomy of Real Faults in Deep Learning Systems☆16Updated 5 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- PL conference deadline countdowns☆54Updated this week
- ☆34Updated 3 months ago
- An automated deductive program verifier based on concurrent separation logic☆13Updated this week
- Program Synthesis Course☆248Updated 10 months ago