CIS Seminar: ” E=Graphs for Next-Gen Programming Language Tools”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia

Building a state-of-the-art program optimizer, synthesizer, or verifier is still a gargantuan task for even programming language (PL) experts. Much of this challenge stems from the fact that term rewriting, […]