This page was last updated on November 24, 2022.
Fanqi Yu
PhD student
Columbia University
Working in the areas of computer systems and formal verification.
Co-advised by Prof. Jason Nieh and Prof. Ronghui Gu.
Education
Columbia University
New York, NY, United States
Sep. 2022 - Present
PhD in Computer Science
Fudan University
Shanghai, China
Sep. 2018 - Jun. 2022
Bachelor of Computer Science
Experiences
Polyhedral Compiler
Advisors: Prof. Li Shang, Prof. Fan Yang, Prof. Robert Dick
·
Fudan U & U of Michigan
Jul. 2021 - Jun. 2022
- Study of how the polyhedral scheduler formulates programs as special integer linear programs (ILPs) in order to achieve automatic scheduling
- Analysis of how such special ILPs can be converted into standard ILPs solvable by off-the-shelf solvers
- Comparison between ILP solving algorithms used in the ISL polyhedral scheduler and off-the-shelf solvers
Trusted Execution Environment (TEE)
Advisor: Prof. Li Shang
·
Fudan University
Nov. 2020 - Apr. 2021
- TEE-empowered computer systems research, system porting and prototyping using Keystone + RISC-V
- Booting RocketChip + Linux on our Xilinx FPGA
- Porting and verification of Keystone TEE on our system, based on its support for RISC-V QEMU
"Vanilla" CPU
Jul. 2020 - Aug. 2020
- Design and implementation of dual-issue MIPS32 CPU using SystemVerilog
- Memory hierarchy design and optimization (~30x faster) with great compatibility
- FPGA-based implementation and verification
- Second Prize of the NSCSCC Contest (National CPU Design Contest, 2020)
- More…