This artifact is a Docker image containing the snapshot of the source code, a built command-line binary, and an interactive demonstration of the type-checker developed for IFC language of the main paper. This article discusses its scope, contents and methods of use.
@Article{derakhshan_et_al:DARTS.10.2.4, author = {Derakhshan, Farzaneh and Balzer, Stephanie and Yao, Yue}, title = {{Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)}}, pages = {4:1--4:3}, journal = {Dagstuhl Artifacts Series}, ISBN = {978-3-95977-342-3}, ISSN = {2509-8195}, year = {2024}, volume = {10}, number = {2}, editor = {Derakhshan, Farzaneh and Balzer, Stephanie and Yao, Yue}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.4}, URN = {urn:nbn:de:0030-drops-209020}, doi = {10.4230/DARTS.10.2.4}, annote = {Keywords: Regrading policies, session types, progress-sensitive noninterference} }
e08e665e2106cb240317fb6524b2d398
(Get MD5 Sum)
The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Feedback for Dagstuhl Publishing