Artifact for PLDI 2025 Paper #316 LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols

Qiu, Longfei; Xiao, Jingqi; Shin, Ji Yong; Shao, Zhong

doi:10.5281/zenodo.15223659

Published April 15, 2025 | Version v3

Software Open

Artifact for PLDI 2025 Paper #316 LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols

1. Yale University
2. Northeastern University

This is artifact for PLDI 2025 paper #316 "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols." See README.md inside package for details.

Files

Files (3.6 MB)

Name	Size	Download all
lido_dag_artifact_202504.tar.gz md5:723ce2153b1de3e334657eae93d417bf	3.6 MB	Download

Additional details

Programming language: Coq , OCaml

253

Views

Downloads

Show more details

	All versions	This version
Views	253	133
Downloads	69	35
Data volume	249.0 MB	126.4 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025) , Seoul, South Korea, 16-20 June 2025

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more

Technical metadata

Created: April 15, 2025
Modified: April 15, 2025

Artifact for PLDI 2025 Paper #316 LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols

Authors/Creators

Description

Files

Files (3.6 MB)

Additional details

Software