kiarahmani Goto Github PK

acidrain

2AD analysis prototype and logs from sample applications

adsl

An Abstract Data Store Language Parser and Translator

bankaccount

capr2016

cassandra_replayer

clotho

Directed Test Generation for Weakly Consistent Database Systems

desqlifier

driver

em_synthesis

etcd

Distributed reliable key-value store for the most critical data of a distributed system

etcd-hs

Haskell client for etcd

gail_plunder

ignite

ignite-sql

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

ivy_pg

playground for ivy verification tool

jepsen

A framework for distributed systems verification, with fault injection

jepsen.seats

jepsen_java_tests

kiarahmani.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ltl-cegis

Introductory code for CEGIS for LTL properties applied to Robotics safety and liveness properties

minigrid

mockdb

An in-memory mock database system to generate traces. A clone from https://github.com/microsoft/weak-isolation-mock-db

motivatingexample

oltpbench

Database Benchmarking Framework

oopsla-paper

papoc-paper

pips

C++ implementation of PIPS

plgradschools

public-files