Marius Nita

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Marius Nita, David Notkin
Using twinning to adapt programs to alternative APIs. ICSE (1) (2010)
Marius Nita, David Notkin
White-box approaches for improved testing and analysis of configurable software systems. ICSE Companion (2009)
Marius Nita, Dan Grossman
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. CC (2008)
Marius Nita, Dan Grossman, Craig Chambers
A theory of platform-dependent low-level software. POPL (2008)
Andrew P. Tolmach, Sergio Antoy, Marius Nita
Implementing functional logic languages using multiple threads and stores. ICFP (2004)