lkuper / CMPS290S-2018-09
A graduate seminar on languages and abstractions for distributed programming
☆19Updated 2 years ago
Alternatives and similar repositories for CMPS290S-2018-09
Users that are interested in CMPS290S-2018-09 are comparing it to the libraries listed below
Sorting:
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- The TLA⁺ Proof Manager☆75Updated 3 weeks ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 9 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Command line binaries for the TLA+ language☆169Updated 2 years ago
- Jupyter notebooks☆58Updated 5 months ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated 10 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 6 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆152Updated last month
- A hip inductive theorem prover!☆89Updated 3 years ago
- Symbolic formula representation and solver interaction library☆160Updated last month
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆164Updated 3 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- Notes and handouts from OPLSS 2018☆55Updated 6 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Proposed documentation for alloytools.org☆70Updated 6 months ago