8. EMSOFT 2008: Atlanta, GA, USA

Abstraction and verification

Flash memory

Modeling, interfaces, and simulation

Power

Scheduling

Static techniques

Testing

Virtual machines, compilers, memory management