Registered user since Tue 15 Nov 2016
Name:George A. Constantinides
Country:United Kingdom
Affiliation:Imperial College London, UK
Contributions
SOAP 2023 | Combining E-Graphs with Abstract Interpretation | ||||||||||||||||||||||||||||||||||||||||
EGRAPHS 2023 | Automating Constraint-Aware Datapath Optimization using E-Graphs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2023-profile
View general profile
View general profile