DuettoBackend: Introduce a framework for optimizing pointers