VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics
This talk introduces a new program analysis, variable semantic analysis, reified as a DSL, Varsem. The speaker, Yin Liu, is a fifth year PhD candidate at the Software Innovations Lab at Virginia Tech.
VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics
Paper DOI: https://doi.org/10.1145/3425898.3426962 preprint url: http://people.cs.vt.edu/tilevich/pape...
Presented at GPCE 2020 - 19th International Conference on Generative Programming: Concepts & Experiences, part of SPLASH 2020
By Yin Liu, Eli Tilevich