Graphs based on IR as Representation of Code: Types and Insights
Anderson Faustino.
Retrofitting Typestates into Rust
José Duarte and António Ravara.
TSDolly: A program generator for TypeScript
Gabriela Araujo Britto, Leopoldo Teixeira and Rohit Gheyi.