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 |