Service Incident: New DOI registrations are working again. Re-registration of failed DOI registrations (~500) are still affected by the service incident at DataCite (our DOI registration agency).
Published November 9, 2022 | Version v1
Software Open

Artifact and Appendix of "DimSum: A Decentralized Approach to Multi-language Semantics and Verification"

Description

This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Semantics and Verification". It contains the Coq development and the appendix for the paper.

Files

README.md

Files (3.1 GB)

Name Size Download all
md5:e006492d375468c1b8d9937dc4abafb9
3.1 GB Download
md5:8b17c133452f74c0227d1ecd78dc8214
1.7 MB Download
md5:2a33aa4aad879196badcc9d86464ea93
12.4 kB Preview Download