I think Mozilla's Servo (rust based) should help there, since rust offers a more refined memory model.