- Program Analysis, in particular I am working on analysis methods for the
following memory properties:
- Shape analysis
- Region analysis
- Identifying memory carried dependencies
- Static estimation of object lifetimes
- Optimizations for instruction and thread level parallelism
- Memory Management
|