Show newer

Compiling C to Safe : "we present a formal translation of a subset of C, dubbed Mini-C, to safe Rust"

arxiv.org/abs/2412.15042

Earlier this year: My student Rushabh Gala completed his project for Google Summer of Code, on creating Safer Apps for Apache RTOS ... Let's walk through Rushabh’s contributions, and understand how we’re evolving Rust Apps for NuttX

lupyuen.codeberg.page/articles

Show thread
Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.