Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jiachen Lu
conf.researchr.org general profile
FSE 2026 profile
Not registered as user
Name:
Jiachen Lu
Affiliation:
The State Key Laboratory of Blockchain and Data Security, Zhejiang University
Contributions
2026
ESEC/FSE
Author of Compiler Optimization-Based SMT Simplifications: An In-Depth Study within the Journal-First Paper-track
Share
x
Wed 24 Jun 18:23