Soonho Kong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | Solving String Constraints with Concatenation Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka |
| 2023 | CAV | Solving String Constraints Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka |
| 2019 | CAV | Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. | Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong |
| 2019 | CAV | Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. | Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey |
| 2018 | CAV | Delta-Decision Procedures for Exists-Forall Problems over the Reals. | Soonho Kong, Armando Solar-Lezama, Sicun Gao |
| 2015 | CADE | The Lean Theorem Prover (System Description). | Leonardo Mendona de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer |
| 2015 | TACAS | dReach: δ-Reachability Analysis for Hybrid Systems. | Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke |
| 2014 | SYNASC | Proof Generation from Delta-Decisions. | Sicun Gao, Soonho Kong, Edmund M. Clarke |
| 2013 | CADE | dReal: An SMT Solver for Nonlinear Theories over the Reals. | Sicun Gao, Soonho Kong, Edmund M. Clarke |
| 2013 | FMCAD | Satisfiability modulo ODEs. | Sicun Gao, Soonho Kong, Edmund M. Clarke |
| 2013 | VMCAI | Compositional Sequentialization of Periodic Programs. | Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman |
| 2010 | APLAS | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. | Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | VMCAI | Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. | Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi |
| 2009 | GPCE | Abstract parsing for two-staged languages with concatenation. | Soonho Kong, Wontae Choi, Kwangkeun Yi |