CSGuides / grad-job-guideLinks
CS Graduate Job Guide
☆32Updated 6 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:
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆47Updated 11 months ago
- CLuster And RepAir tool for introductory programming assignments☆45Updated last year
- Collection of resources for research concerning Machine Learning and Formal Methods.☆88Updated 3 years ago
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆134Updated last year
- ☆34Updated last week
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- ☆38Updated 2 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- ☆17Updated 2 years ago
- ☆25Updated 3 years ago
- PC-miner tool for program chairs☆27Updated 2 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Generates loop invariants for program verification☆62Updated 4 years ago
- Program Synthesis☆15Updated 4 years ago
- ☆40Updated 6 years ago
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- Program synthesis class taught by Loris D'Antoni☆28Updated 5 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…☆31Updated 4 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- ☆44Updated 8 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- Program Synthesis Course☆254Updated last year
- A Java program synthesizer.☆21Updated 6 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 2 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆22Updated last year