barghouthi / cs704
CS 704 course website - Principles of Programming Languages
☆68Updated last year
Related projects: ⓘ
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- PL conference deadline countdowns☆51Updated 2 weeks ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆16Updated 6 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆22Updated 4 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆10Updated last year
- ☆31Updated 2 years ago
- A SyGuS Solver☆22Updated last month
- A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆12Updated 3 years ago
- ☆15Updated last year
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆13Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆64Updated 5 months ago
- Verifying concurrent code with layers and movers☆12Updated 4 years ago
- Synthesizing SQL queries from input / output examples☆45Updated 3 years ago
- PL/SE conference deadline countdowns☆19Updated 3 years ago
- ☆20Updated 6 months ago
- Communication between Coq and SAT/SMT solvers☆155Updated 2 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 11 months ago
- A formalization of the textbook Elements of Set Theory☆59Updated 2 years ago
- Program synthesis class taught by Loris D'Antoni☆15Updated 2 weeks ago
- Program Synthesis☆13Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- ☆24Updated 4 years ago
- Definition of the Viper intermediate verification language.☆78Updated last week
- ☆12Updated 3 weeks ago
- ☆219Updated last month
- A verified polyhedral scheduling validator in Coq.☆18Updated 2 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- PC-miner tool for program chairs☆23Updated 3 months ago
- Coq集合论中文教程☆41Updated 2 years ago