Data · dataset · 2026
Artifact for "Verifying Fault Robustness by Type Checking: A Verified Information-Flow Approach" (VMCAI 2027, paper #3141)
Listed in ZivaHub and Deakin Research Online and DMU Figshare — shown once because both records carry DOI 10.6084/m9.figshare.34037049.v1
<p>Artifact for the VMCAI 2027 paper <em>Verifying Fault Robustness by Type Checking: A Verified Information-Flow Approach</em>.
Description
Poison is a core imperative language whose type system tracks faulty (sentinel) values through data and control flow by information flow. The artifact contains the Ott specification, a Lean 4 executable typechecker and interpreter, the mechanised proof that type checking enforces fault robustness (no sorry, standard axioms only), and 111 example programs used as a test suite.</p><p>The archive contains a Docker image (linux/amd64, project prebuilt and tested), the sources, a README with instructions, and logs.
Requirements: x86-64, 16 GB RAM, 4+ cores recommended, about 13 GB disk for the loaded image; no network needed after loading.</p>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.34037049.v1 ↗
DOI / persistent id · from zivahub uct ac za
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from zivahub uct ac za
Topics
- From keywords
- Computer Science & AI · Computer Science & AI · Computer Science & AI · Earth & Environmental Science · Earth & Environmental Science · Earth & Environmental Science · Formal methods for software · Formal methods for software · Formal methods for software · Humanities · Humanities · Humanities · Programming languages · Programming languages · Programming languages
- Inferred from text
- Image 75%
Provenance · 3 source records, 21 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| ZivaHub | oai:figshare.com:article/34037049 | 5 d ago | JSON v1 |
| Deakin Research Online | oai:figshare.com:article/34037049 | 5 d ago | JSON v1 |
| DMU Figshare | oai:figshare.com:article/34037049 | 5 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].anzsrc:field:461203 | mapping · dro deakin edu au | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461203 | mapping · figshare dmu ac uk | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461203 | mapping · zivahub uct ac za | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461204 | mapping · dro deakin edu au | vocabulary-mapper@1.0.0 | keywords['Programming languages'] |
| concepts[field].anzsrc:field:461204 | mapping · zivahub uct ac za | vocabulary-mapper@1.0.0 | keywords['Programming languages'] |
| concepts[field].anzsrc:field:461204 | mapping · figshare dmu ac uk | vocabulary-mapper@1.0.0 | keywords['Programming languages'] |
| concepts[field].local:field:computer-science-ai | mapping · figshare dmu ac uk | connector:figshare_dmu_ac_uk@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · dro deakin edu au | connector:dro_deakin_edu_au@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · dro deakin edu au | connector:dro_deakin_edu_au@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare dmu ac uk | connector:figshare_dmu_ac_uk@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:humanities | mapping · dro deakin edu au | connector:dro_deakin_edu_au@1.0.0 | |
| concepts[field].local:field:humanities | mapping · figshare dmu ac uk | connector:figshare_dmu_ac_uk@1.0.0 | |
| concepts[field].local:field:humanities | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[modality].local:modality:image | enrichment · zivahub uct ac za | keyword-concept-rules@1.0.0 | title+description (75%) |
| description | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/description |
| license | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/rights |
| publication_date | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| title | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/title |