Toggle navigation
Sign in
Sign up
conf.researchr.org
/
George A. Constantinides
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2017 profile
Registered user since Tue 15 Nov 2016
Name:
George A. Constantinides
Affiliation:
Imperial College London, UK
Contributions
2024
FUZZING
Author of Automated Feature Testing of Verilog Parsers using Fuzzing within the FUZZING 2024-track
EGRAPHS
Author of Powered by Less: Low Power Circuit Synthesis within the EGRAPHS 2024-track
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
Thu 21 Nov 16:06