Yin Liu, Eli Tilevich. VarSem: declarative expression and automated inference of variable usage semantics. In Martin Erwig, Jeff Gray, editors, GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020. pages 84-97, ACM, 2020. [doi]
Abstract is missing.