Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shizhuo Zhang
conf.researchr.org general profile
FSE 2024 profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
Not registered as user
Name:
Shizhuo Zhang
Affiliation:
University of Illinois Urbana-Champaign
Contributions
2025
ICSE
Author of QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning within the Research Track-track
2024
ESEC/FSE
Author of LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents within the Industry Papers-track
ICSE
Author of Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries within the Research Track-track
InteNSE
Invited Speaker of Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion within the InteNSE Workshop-track
2023
ICSE
Author of Proofster: Automated Formal Verification within the DEMO - Demonstrations-track
Share
x
Thu 22 May 18:37
