Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Soonho Kong
conf.researchr.org general profile
PLDI 2025 profile
POPL 2026 profile
Registered user since Wed 18 Jun 2025
Name:
Soonho Kong
Affiliation:
Amazon Web Services
Contributions
2026
Dafny
Author of ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis within the Dafny 2026-track
2025
PLDI
Speaker of AI + Lean: NeuroSymbolic AI within the PLDI Events-track
Share
x
Mon 12 Jan 21:29
