• Sign in
  • Sign up
conf.researchr.org / Soonho Kong
  • PLDI 2025 profile
  • POPL 2026 profile
Soonho Kong

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
xMon 12 Jan 21:29
using conf.researchr.org (v1.72.1)
Support page
Sign Up