fredfeng / CS162
Programming languages
☆26Updated 6 months ago
Related projects: ⓘ
- Program Synthesis☆13Updated 3 years ago
- ☆15Updated last year
- PL conference deadline countdowns☆51Updated 2 weeks ago
- ☆28Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- A SyGuS Solver☆22Updated last month
- Public-facing course info for program analysis materials.☆35Updated this week
- Term project for TaPL. A mini coq-like proof assistant.☆16Updated 6 years ago
- IC3PO: IC3 for Proving Protocol Properties☆25Updated last week
- ☆20Updated 6 months ago
- ☆12Updated 3 weeks ago
- ☆15Updated this week
- CS 704 course website - Principles of Programming Languages☆68Updated last year
- A compiler from TIP to llvm bitcode☆61Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆19Updated 2 years ago
- Software Foundations☆108Updated 4 months ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆11Updated 3 years ago
- P523 Code☆27Updated 9 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated last month
- A framework for testing compilers' type checkers☆49Updated last month
- A verified polyhedral scheduling validator in Coq.☆18Updated 2 months ago
- 十分钟魔法练习 in OCaml☆32Updated 2 years ago
- The Eldarica model checker☆80Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆22Updated 4 months ago
- ☆44Updated 2 years ago
- A Verified Compiler for Gallina, Written in Gallina☆135Updated last month
- Verifying concurrent code with layers and movers☆12Updated 4 years ago
- ☆31Updated 2 years ago