Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wenbo Guo
conf.researchr.org general profile
ASE 2026 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Wenbo Guo
Affiliation:
University of California, Santa Barbara
Contributions
2026
KLEE
Author of Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery within the KLEE 2026-track
ISSTA
Author of PAGENT: Program Analysis Guided LLM Agent for Proof-of-Concept Generation within the Research papers-track
Share
x
Mon 19 Oct 04:21