Travelled to:
1 × Hungary
1 × South Africa
2 × USA
Collaborated with:
D.Grossman D.Notkin C.Chambers A.P.Tolmach S.Antoy
Talks about:
multipl (2) level (2) use (2) transform (1) implement (1) platform (1) function (1) support (1) softwar (1) program (1)
Person: Marius Nita
DBLP: Nita:Marius
Contributed to:
Wrote 4 papers:
- ICSE-2010-NitaN #adaptation #api #source code #using
- Using twinning to adapt programs to alternative APIs (MN, DN), pp. 205–214.
- CC-2008-NitaG #automation #c #multi
- Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.
- POPL-2008-NitaGC #bytecode #formal method #low level #platform
- A theory of platform-dependent low-level software (MN, DG, CC), pp. 209–220.
- ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using
- Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.