- 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
- Automatic Program Parallelization
- Memory Management
|