Software Open Access

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

Sammler, Michael; Spies, Simon; Song, Youngju; D'Osualdo, Emanuele; Krebbers, Robbert; Garg, Deepak; Dreyer, Derek

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 (3.1 GB)
Name Size
artifact.ova
md5:e006492d375468c1b8d9937dc4abafb9 		3.1 GB Download
dimsum_artifact.tgz
md5:8b17c133452f74c0227d1ecd78dc8214 		1.7 MB Download
README.md
md5:2a33aa4aad879196badcc9d86464ea93 		12.4 kB Download
70
2
views
downloads
All versions This version
Views 7070
Downloads 22
Data volume 3.5 MB3.5 MB
Unique views 6161
Unique downloads 22
More info on how stats are collected.
Indexed in
Publication date:
November 9, 2022
DOI:
10.5281/zenodo.7306313

Zenodo DOI Badge

DOI 

10.5281/zenodo.7306313

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7306313.svg)](https://doi.org/10.5281/zenodo.7306313)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7306313.svg
   :target: https://doi.org/10.5281/zenodo.7306313

HTML 

<a href="https://doi.org/10.5281/zenodo.7306313"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7306313.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7306313.svg

Target URL 

https://doi.org/10.5281/zenodo.7306313

Meeting:
50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'23), Boston, USA, 15-21 January 2023
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.7306313 Nov 9, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7306312. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export