Search results

Track: Concurrency verification papers

Status: Open.

#451 In asterinas/vostd;

· rikosellic opened on May 13, 2026

Explore verification for rcu

Status: Open.

Feature

#448 In asterinas/vostd;

· hiroki-chen opened on May 13, 2026

Drop and type_invariant

Status: Open.

#347 In asterinas/vostd;

· rikosellic opened on Mar 12, 2026

VMIO trait implementation for other components

Status: Open.

#344 In asterinas/vostd;

· hiroki-chen opened on Mar 10, 2026

The limitation of Verus concurrency theory

Status: Open.

#342 In asterinas/vostd;

· rikosellic opened on Mar 10, 2026

Permissions with statics

Status: Open.

#338 In asterinas/vostd;

· hiroki-chen opened on Mar 6, 2026

Associated const

verus-toolchainNonbreaking change of toolchain, like using new features or version updateNonbreaking change of toolchain, like using new features or version update

Status: Open.

Feature

#317 In asterinas/vostd;

· rikosellic opened on Feb 24, 2026