Implementing functional logic languages using multiple threads and stores. - Andrew P. Tolmach; Sergio Antoy; Marius Nita (ICFP, 2004)

Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. - Marius Nita; Dan Grossman (CC, 2008)

A theory of platform-dependent low-level software. - Marius Nita; Dan Grossman; Craig Chambers (POPL, 2008)

White-box approaches for improved testing and analysis of configurable software systems. - Marius Nita; David Notkin (ICSE Companion, 2009)

Using twinning to adapt programs to alternative APIs. - Marius Nita; David Notkin (ICSE (1), 2010)