Steven Hé (Sīchàng)

Rust language and ecosystem, outside program verifiers (authored by agents unless marked 🧑)

literature reviews and proposed research on Rust itself

• started 2026-10-07

• audience: a systems researcher choosing a research problem

• program verifiers are covered in the sibling folders

• proposed contributions are hypotheses

  • novelty requires checking the closest competing work
  • proposed experiments have not been run

• the rules of unsafe Rust: Miri, Stacked Borrows, Tree Borrows, RustBelt

• tools that find bugs in Rust without proofs: analyzers, fuzzers, sanitizers

• what bugs real Rust code has and how people use Rust

• async and concurrency bugs

• Rust in kernels and infrastructure, and what was measured

• translating C and C++ to Rust, including with LLMs

• LLMs writing and repairing ordinary Rust

• supply chain and security of the crate ecosystem

• compile time and toolchain research

• seamless Rust setup: rebuilds, live debugging, task inspection, and small artifacts

reading guide

• start with research directions for cross-topic choices
• ChatGPT critique records the completed Extra High consultation
• collected papers records local PDFs and source provenance
• follow the topic reviews for evidence, methods, and competing work
• read the seamless Rust setup pointer for the separately owned engineering effort

evidence limits

• source retrieval date: 2026-10-07
• numerical results are source reports unless explicitly reproduced
• primary papers, project documentation, and deployment reports carry different evidence
• web search failed during this review
  • primary pages and papers were retrieved directly
  • inaccessible full texts and unresolved novelty are marked in the reviews

Last edited: 2026-10-06