conf.researchr.org / George A. Constantinides
Registered user since Tue 15 Nov 2016
Name:George A. Constantinides
Affiliation:Imperial College London, UK
Contributions
EGRAPHS 2022 | Author of Abstract Interpretation on E-Graphs within the EGRAPHS 2022-track |
POPL 2017 | Author of Automatically Comparing Memory Consistency Models within the POPL-track |