Skip to content

README: update with DCOSS paper info #18

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
anlavandier merged 1 commit into from
Jul 1, 2026
Merged

README: update with DCOSS paper info #18

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 8 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Tiny Rust Embedded Virtual Machines (trevm)
# Tiny Rust Embedded Virtual Machines (treVM)
This repository showcases small Rust embedded virtual machines, encapsuled and bolted on Ariel OS. Open source examples of code are given which you can run on a variety of Cortex-M and RISC-V boards (see below).

## WebAssembly
Expand Down Expand Up @@ -41,4 +41,10 @@ The various parameters used for initial compilation and precompilation have been
- [Async Bindings for RNG, Timer, Log](./examples/async-bindings): This example shows how Ariel OS can asynchronously run wasm components that yield regularly and that call asynchronous host functions. *Recommended boards for this example*: nrf52840dk, rpi-pico2-w
- [UDP Bindings](./examples/udp-bindings): This example showcases how a wasm capsule can receive and send UDP packets by using the approriate functions. *Recommended boards for this example*: nrf52840dk, rpi-pico2-w, espressif-esp32-c6-devkitc-1
- [CoAP Server Bindings](./examples/coap-server-bindings): This example shows how to run a coap-server through a wasm capsule by deferring the processing of selects message to the wasm capsule. *Recommended boards for this example*: nrf52840dk, rpi-pico2-w, espressif-esp32-c6-devkitc-1
- [GPIO through Wasm](./examples/gpio/): This example showcases a simple blinky running through a wasm capsule. *Recommanded boards for this example*: nrf52840dk, nrf9160dk
- [GPIO through Wasm](./examples/gpio/): This example showcases a simple blinky running through a wasm capsule. *Recommended boards for this example*: nrf52840dk, nrf9160dk

## Further Reading & Reference
To cite this work and/or to read more about treVM, the reference article is indicated below.

A. Lavandier, B. Buil, C. Gaber, E. Baccelli, [treVM: Tiny Rust Embedded Virtual Machines with
WASM on Variable Resource-Constrained Hardware](https://arxiv.org/pdf/2604.27570), IEEE DCOSS-IoT, 2026.