PLDI 2005: Chicago, IL, USA

Bug detection and verification

Function interfaces

Types

Optimization

Register allocation

Instrumentation and testing

Network processing

Threads

The transactional manifesto

Domain-specific tools