Samuel Coward and George Constantinides are qualified to endorse.
ROVER: RTL Optimization via Verified E-Graph Rewriting
Samuel Coward: | Is registered as an author of this paper. Can endorse for cs.AR, cs.CL, cs.DS, cs.LO, cs.PL. (why?) |
George Constantinides: | Is registered as an author of this paper. Can endorse for cs.AI, cs.AR, cs.CL, cs.CV, cs.DC, cs.DS, cs.ET, cs.LG, cs.LO, cs.NE, cs.PL, cs.SE, stat.ML. (why?) |
Theo Drane is not registered as an owner of this paper. (why?)