Open Rust-related systems research problems suitable for PhD?

• tock

  32 4,971 9.9 Rust

  A secure embedded operating system for microcontrollers

  

Novel feature: Extend an existing Rust OS project, like Tock, in some meaningful and quantifiable way.

• Rudra

  11 1,297 5.5 Rust

  Rust Memory Safety & Undefined Behavior Detection

  

In my opinion, much of Rust-specific PhD research likely to be publishable and/or high impact either falls into verification (e.g Prusti, Cruesot) or bug-finding (e.g. Rudra, SyRust). Ralf Jung and his collaborators have done exceptional work in the verification space.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• nebulet

  4 2,174 0.7 Rust

  Discontinued (Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

  

This has been tried, though I'm not aware of any under active development currently: https://github.com/nebulet/nebulet

• noria

  26 4,925 0.0 Rust

  Fast web applications through dynamic, partially-stateful dataflow

  

Suggest a related project