arrow
Back
G

George A. Constantinides

imperial college london

38H-index
544Paper Count
6.2KCitation Count
Published Papers 40
Publication Date
Approximate Logic Synthesis Via Iterative SMT-Based Subcircuit Rewriting
err2025-12-01
err0
PREAI
errMorteza Rezaalipour; Marco Biasion; Francesco Costa; Cristian Tirelli; Lorenzo Ferretti; Rodrigo Otoni; George A. Constantinides; Laura Pozzi
errShare
errSave
Bit-Serial Acceleration of LLM Inference With Mixture-of-Datatype Quantization
err2025-11-05
err0
PREAI
errYuzong Chen; Chi-Chih Chang; Xilai Dai; Ahmed F. AbouElhamayed; Marta Andronic; George A. Constantinides; Mohamed S. Abdelfattah
errShare
errSave
errShare
errSave
Balancing Static Islands in Dynamically Scheduled Circuits Using Continuous Petri Nets
err2023-11-01
err3
errOAAI
errCheng, Jianyi; Fraca, Estibaliz; Wickerson, John; Constantinides, George A.
errShare
errSave
Parallelising Control Flow in Dynamic-scheduling High-level Synthesis
err2023-09-01
err1
errOAAI
errCheng, Jianyi; Josipovic, Lana; Wickerson, John; Constantinides, George A.
errShare
errSave
Logic Shrinkage: Learned Connectivity Sparsification for LUT-Based Neural Networks
err2023-09-01
err0
PREAI
errWang, Erwei; Auffret, Marie; Stavrou, Georgios-Ilias; Cheung, Peter Y. K.; Constantinides, George A.; Abdelfattah, Mohamed S.; Davis, James J.
errShare
errSave
Horizon-Independent Preconditioner Design for Linear Predictive Control
err2023-01-01
err1
errOAAI
errMcInerney, Ian; Kerrigan, Eric C.; Constantinides, George A.
errShare
errSave
Nonideality-Aware Training for Accurate and Robust Low-Power Memristive Neural Networks
err2022-05-04
err18
errOAAI
errJoksas, Dovydas; Wang, Erwei; Barmpatsalos, Nikolaos; Ng, Wing H.; Kenyon, Anthony J.; Constantinides, George A.; Mehonic, Adnan
errShare
errSave
Efficient Memory Arbitration in High-Level Synthesis From Multi-Threaded Code
err2022-04-01
err4
errOAAI
errCheng, Jianyi; Fleming, Shane T.; Chen, Yu Ting; Anderson, Jason; Wickerson, John; Constantinides, George A.
errShare
errSave
Digit Stability Inference for Iterative Methods Using Redundant Number Representation
err2021-07-01
err1
errOAAI
errLi, He; McInerney, Ian; Davis, James J.; Constantinides, George A.
errShare
errSave
Approximate Logic Synthesis: A Survey
err2020-12-01
err53
errOAAI
errScarabottolo, Ilaria; Ansaloni, Giovanni; Constantinides, George A.; Pozzi, Laura; Reda, Sherief
errShare
errSave
LUTNet: Learning FPGA Configurations for Highly Efficient Neural Network Inference
err2020-12-01
err34
errOAAI
errWang, Erwei; Davis, James J.; Cheung, Peter Y. K.; Constantinides, George A.
errShare
errSave
Deep Neural Network Approximation for Custom Hardware: Where We've Been, Where We're Going
err2019-05-30
err130
errOAAI
errWang, Erwei; Davis, James J.; Zhao, Ruizhe; Ng, Ho-Cheung; Niu, Xinyu; Luk, Wayne; Cheung, Peter Y. K.; Constantinides, George A.
errShare
errSave
Nonlinear predictive control on a heterogeneous computing platform
err2018-09-01
err4
errOAAI
errKhusainov, Bulat; Kerrigan, Eric; Suardi, Andrea; Constantinides, George
errShare
errSave
Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware
err2018-07-01
err3
errOAAI
errRamanathan, Nadesh; Wickerson, John; Constantinides, George A.
errShare
errSave
KAPow: High-Accuracy, Low-Overhead Online Per-Module Power Estimation for FPGA Designs
err2018-01-09
err12
errOAAI
errDavis, James J.; Hung, Eddie; Levine, Joshua M.; Stott, Edward A.; Cheung, Peter Y. K.; Constantinides, George A.
errShare
errSave
Explicit MPC: Hard constraint satisfaction under low precision arithmetic
err2016-02-01
err12
errOAAI
errSuardi, Andrea; Longo, Stefano; Kerrigan, Eric C.; Constantinides, George A.
errShare
errSave
Separation Logic for High-Level Synthesis
err2015-12-17
err6
errOAAI
errWinterstein, Felix J.; Bayliss, Samuel R.; Constantinides, George A.
errShare
errSave
errShare
errSave