A DSL approach for object memory management of small devices.

Kevin Marquet, Gilles Grimaud

Browse the full SOSP paper archive.