Document Open Access Logo

Foundational and Compositional Verification of Layered Concurrent Objects (Artifact)

Authors Yicheng Ni , Yuting Wang

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.16.pdf
  • Filesize: 0.61 MB
  • 11 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Parallel computing models
  • Theory of computation → Program verification
  • Theory of computation → Operational semantics
Keywords
  • Formal Verification
  • Concurrency
  • Formalization
  • Rocq

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This document provides artifact description for the ECOOP 2026 paper "Foundational and Compositional Verification of Layered Concurrent Objects".

Cite As Get BibTex

Yicheng Ni and Yuting Wang. Foundational and Compositional Verification of Layered Concurrent Objects (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 16:1-16:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.16

Author Details

Yicheng Ni
  • Shanghai Jiao Tong University, School of Computer Science, China
Yuting Wang
  • Shanghai Jiao Tong University, School of Computer Science, China

Funding

This work was supported by the National Natural Science Foundation of China (NSFC) under Grant No. 62372290, W2421088 and 62002217.

Related Article

  • Yicheng Ni and Yuting Wang, "Foundational and Compositional Verification of Layered Concurrent Objects", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 21:1-21:31, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.21
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact