Scholar
Zhoulai Fu
Google Scholar ID: 1syaDm8AAAAJ
State University of New York (SUNY), Korea
Citations & Impact
Citations
247
H-index
8
i10-index
8
Publications
20
Co-authors
5
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Served on program committees for POPL 2026, FSE 2024, and PLDI 2023
- Principal Investigator for DARPA E-BOSS Program (SUNY Korea side)
- Sole Principal Investigator of research grant from National Research Foundation of Korea (NRF)
- Paper 'On Extending Incorrectness Logic with Backwards Reasoning' accepted to POPL’25
- Paper 'Formally Verified Lifting of C-compiled x86-64 Binaries' accepted to PLDI’22, in collaboration with Open University of the Netherlands and Virginia Tech
