Toggle navigation
Sign in
Sign up
conf.researchr.org
/
George A. Constantinides
conf.researchr.org general profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2017 profile
Registered user since Tue 15 Nov 2016
Name:
George A. Constantinides
Affiliation:
Imperial College London, UK
Contributions
2023
SOAP
Author of Combining E-Graphs with Abstract Interpretation within the SOAP 2023-track
EGRAPHS
Author of Automating Constraint-Aware Datapath Optimization using E-Graphs within the EGRAPHS 2023-track
2022
EGRAPHS
Author of Abstract Interpretation on E-Graphs within the EGRAPHS 2022-track
2017
POPL
Author of Automatically Comparing Memory Consistency Models within the POPL-track
Share
x
Wed 29 Nov 10:49