CSGuides / grad-job-guideLinks
CS Graduate Job Guide
☆32Updated 7 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
Sorting:
- ☆25Updated 3 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆48Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆96Updated 4 years ago
- ☆18Updated 8 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- CLuster And RepAir tool for introductory programming assignments☆46Updated last year
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆36Updated last year
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Program synthesis class taught by Loris D'Antoni☆29Updated 6 months ago
- Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808☆85Updated 2 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆38Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- Loop invariant generation with LLMs☆23Updated 3 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- ☆40Updated 6 years ago
- ☆22Updated last year
- Deadline countdowns for academic conferences in Software Engineering☆45Updated last week
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆137Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated last month
- ☆13Updated 4 years ago
- homepage for proFL☆23Updated 4 years ago
- ☆20Updated 3 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆22Updated last year
- General-purpose program synthesiser☆45Updated 8 months ago
- ☆44Updated 8 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Program Synthesis☆15Updated 4 years ago
- ☆14Updated last year
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year