Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joonghoon Lee
conf.researchr.org general profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 19 Aug 2024
Name:
Joonghoon Lee
Country:
South Korea
Affiliation:
Korea University
Contributions
2026
SPLASH/ISSTA
Author of Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification within the Tool Demonstrations-track
2024
SPLASH
Author of Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification within the OOPSLA 2024-track
Share
x
Fri 9 Oct 13:31