PLDI 2003: San Diego, California, USA

Embedded systems

Power-aware compilation

Code optimization I

Program analysis

Error detection and debugging I

Error detection and debugging II

Validation

Code optimization II

Code optimization III

Type systems