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