ByNobleID
    DIANA (panel session): an intermediate representation language for Ada | NobleID