• Ownership is Theft: Experiences Building an Embedded OS in Rust. PLOS 2015

    Note: This workshop paper reported on challenges we ran into early on building Tock in Rust. After feedback from the Rust developers and the community, we were able to overcome those challanges without modifications to the language. We also learned that we understated how disruptive some of the changes we proposed would be to the language and do not believe they are worthwhile. This has been discussed extensively now in the Rust community. You should read this paper critically, not as conclusive scientific findings, but as the perspectives of the authors during a particular point in the development of Tock.

  • A networked embedded system platform for the post-mote era SenSys 2014.