Aurélien Coet: An annotation system for specifying aliasing invariants on object fields. Programming 2020: 221-222