Dr Jianyi Cheng

Assistant Professor
University of Edinburgh

jianyi.jpg

5.25, Informatics Forum,

University of Edinburgh,

Edinburgh, UK EH8 9AB

I am an Assistant Professor at the ICSA Institute of the University of Edinburgh. My research aims to automatically produce small, fast, low-energy and secure computing systems using formal methods. My research interests include high-level synthesis, formal methods, deep learning systems and hardware security. I have a wide range of research collaborators, and you can find them in my publcation list.

Prior to that, I was a Research Associate at the University of Cambridge Computer Laboratory with Prof. Timothy M. Jones. I was also a visiting researcher at Imperial College London, hosted by Dr Aaron Zhao. I completed my PhD at the CAS group of Imperial College London with Prof. George A. Constantinides and Dr John Wickerson.

Fully-funded PhD positions for 2025 Fall are available. Please check Joining us if interested in applying.

For undergraduate/master projects and summer internships, please email me your CV if interested.

Google ScholarTwitterLinkedinEmail

Selected Publications
  1. ASPLOS 2024
    SEER: Super-Optimization Explorer for High-Level Synthesis using E-Graph Rewriting
    Jianyi Cheng , Samuel Coward , Lorenzo Chelini , Rafael Barbalho , and Theo Drane
  2. TC 2023
    Balancing Static Islands in Dynamically Scheduled Circuits using Continuous Petri Nets
    Jianyi Cheng , Estibaliz Fraca , John Wickerson , and George A Constantinides
  3. FCCM 2022
    Dynamic C-Slow Pipelining for HLS
    Jianyi Cheng , John Wickerson , and George A Constantinides
  4. TC 2021
    Efficient Memory Arbitration in High-Level Synthesis from Multi-Threaded Code
    Jianyi Cheng , Shane T Fleming , Yu Ting Chen , Jason Anderson , John Wickerson , and George A Constantinides
  5. FPGA 2020
    Combining Dynamic & Static Scheduling in High-Level Synthesis
    Jianyi Cheng , Lana Josipovic , George A Constantinides , Paolo Ienne , and John Wickerson