Challenges
Need to integrate compiler optimizations for C and type-safe OO languages
- Pointer arithmetic implies more alias analysis
- Taking address of local variables implies more alias analysis
- Struct operations need to be optimized
GC:
- Support for interior pointers
- Support for pinning
Need to optimize box/unbox operations
Support user-controlled data layout