2020 Research Midair: An Intermediate Representation for Multi-purpose Program Analysis The paper about the IR developed for Equid framework. PublisherSpringer