LCTES 2012 | Languages, Compilers, Tools and Theory for Embedded Systems — 12–13 June, Beijing