CIS Seminar: ” E=Graphs for Next-Gen Programming Language Tools”
/
Wu and Chen Auditorium (Room 101), Levine Hall
3330 Walnut Street, Philadelphia, PA, United States
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, a ubiquitous approach to manipulating programs, only works with one version of a program at a time. As a result, the system builder must carefully […]

