PurduePL / purduepl.github.ioLinks
A blog of Programming Languages Group @Purdue
☆11Updated 3 weeks ago
Alternatives and similar repositories for purduepl.github.io
Users that are interested in purduepl.github.io are comparing it to the libraries listed below
Sorting:
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- ☆54Updated 3 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆46Updated 10 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆127Updated this week
- Cerberus C semantics☆80Updated 3 weeks ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- PL conference deadline countdowns☆65Updated last week
- Most influential papers in programming languages☆58Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆86Updated this week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆47Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- ☆70Updated 5 months ago
- An experimental optimizing compiler for Bril using egglog☆83Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 5 months ago
- The Gillian Platform main repository☆95Updated last month
- Refreshing automation for inductive equational proofs using e-graphs☆24Updated last year
- Program synthesis class taught by Loris D'Antoni☆40Updated 4 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆55Updated last month
- An ICE-based predicate synthesizer for Horn clauses.☆53Updated 3 months ago
- ☆15Updated last year
- Definition of the Viper intermediate verification language.☆93Updated this week
- An automated deductive program verifier based on concurrent separation logic☆27Updated last week
- 十分钟魔法练习 in OCaml☆36Updated 3 years ago
- ☆20Updated last month
- Rewrite Rule Inference Using Equality Saturation☆150Updated 8 months ago
- Program Synthesis☆15Updated 4 years ago
- ☆38Updated 2 weeks ago