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