Buchumschlag

Foundational and Compositional Verification of Layered Concurrent Objects (Artifact)

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ni, Yicheng, Wang, Yuting
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
von: Nemati, Hamed, et al.
Veröffentlicht: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
von: Wu, Jinhua, et al.
Veröffentlicht: (2025)

Robust Verification of Concurrent Stochastic Games
von: He, Angel Y., et al.
Veröffentlicht: (2026)

Verification of Correlated Equilibria in Concurrent Reachability Games
von: Rajasekaran, Senthil, et al.
Veröffentlicht: (2026)

A Note on Runtime Verification of Concurrent Systems
von: Leucker, Martin
Veröffentlicht: (2025)

History-Independent Concurrent Objects
von: Attiya, Hagit, et al.
Veröffentlicht: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
von: Nagar, Kartik, et al.
Veröffentlicht: (2020)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
von: Bortin, Maksym
Veröffentlicht: (2020)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
von: Wang, Chao, et al.
Veröffentlicht: (2026)

Concurrent Composition for Differentially Private Continual Mechanisms
von: Henzinger, Monika, et al.
Veröffentlicht: (2024)

Concurrent Training and Layer Pruning of Deep Neural Networks
von: Guenter, Valentin Frank Ingmar, et al.
Veröffentlicht: (2024)

GeoRemover: Removing Objects and Their Causal Visual Artifacts
von: Zhu, Zixin, et al.
Veröffentlicht: (2025)

Evidence Absence Is Not Evidence Insufficiency: Diagnosing NEI Construction Artifacts in Fact Verification
von: Qiu, Jingxi, et al.
Veröffentlicht: (2026)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
von: Godbole, Adwait, et al.
Veröffentlicht: (2025)

CQIL: Inference Latency Optimization with Concurrent Computation of Quasi-Independent Layers
von: Zou, Longwei, et al.
Veröffentlicht: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
von: Enea, Constantin, et al.
Veröffentlicht: (2023)

Artifact for Paper "Agora: Trust Less and Open More in Verification for Confidential Computing" in OOPSLA 2025
von: Chen, Hongbo, et al.
Veröffentlicht: (2025)

AMECOS: A Modular Event-based Framework for Concurrent Object Specification
von: Albouy, Timothé, et al.
Veröffentlicht: (2024)

Distributionally Robust Safety Verification for Markov Decision Processes
von: Mazumdar, Abhijit, et al.
Veröffentlicht: (2024)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning
von: Zhang, Thomas T., et al.
Veröffentlicht: (2025)

Artifact of GenBaB: Neural Network Verification with Branch-and-Bound for General Nonlinearities
von: Shi, Zhouxing, et al.
Veröffentlicht: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Computation and Concurrency
von: Wang, Yong
Veröffentlicht: (2024)

Foundational Verification of Smart Contracts through Verified Compilation
von: Sjöberg, Vilhelm, et al.
Veröffentlicht: (2024)

ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
von: Munir, Mustafa, et al.
Veröffentlicht: (2025)

Statistical and Algorithmic Foundations of Reinforcement Learning
von: Chi, Yuejie, et al.
Veröffentlicht: (2025)

A Comprehensive Review of 3D Object Detection in Autonomous Driving: Technological Advances and Future Directions
von: Wang, Yu, et al.
Veröffentlicht: (2024)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
von: Ma, Tong, et al.
Veröffentlicht: (2025)

Concurrent Composition for Interactive Differential Privacy with Adaptive Privacy-Loss Parameters
von: Haney, Samuel, et al.
Veröffentlicht: (2023)

ArtifactLens: Hundreds of Labels Are Enough for Artifact Detection with VLMs
von: Burgess, James, et al.
Veröffentlicht: (2026)

Hollow Metal‐Organic Framework‐Derived Layered NiS 2 /MXene Composites for High‐Performance Supercapacitors
von: Zhaobin Chen, et al.
Veröffentlicht: (2025)

IDPro: Flexible Interactive Video Object Segmentation by ID-queried Concurrent Propagation
von: Li, Kexin, et al.
Veröffentlicht: (2024)

Leveraging Image Editing Foundation Models for Data-Efficient CT Metal Artifact Reduction
von: Emirdagi, Ahmet Rasim, et al.
Veröffentlicht: (2026)

A Foundation Model for General Moving Object Segmentation in Medical Images
von: Yan, Zhongnuo, et al.
Veröffentlicht: (2023)

Data-driven Verification of DNNs for Object Recognition
von: Otte, Clemens, et al.
Veröffentlicht: (2024)

SciVer: Evaluating Foundation Models for Multimodal Scientific Claim Verification
von: Wang, Chengye, et al.
Veröffentlicht: (2025)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Artifact-Bench: Evaluating MLLMs on Detecting and Assessing the Artifacts of AI-Generated Videos
von: Tang, Yuqi, et al.
Veröffentlicht: (2026)