Travelled to:1 × Germany
1 × Italy
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:S.Gao E.M.Clarke K.Yi A.Solar-Lezama W.Choi W.Chen S.Chaki A.Gurfinkel O.Strichman Y.Jung B.Wang L.M.d.Moura J.Avigad F.v.Doorn J.v.Raumer J.Kapinski J.V.Deshmukh N.Roohi N.Aréchiga
Talks about:procedur (2) abstract (2) system (2) decis (2) real (2) nonlinear (1) algorithm (1) sequenti (1) reachabl (1) concaten (1)
Person: Soonho Kong
DBLP: Kong:Soonho
Contributed to:
2015
20152013
20132010
2009
20182019Wrote 8 papers:
- CADE-2015-MouraKADR #agile #proving #theorem proving
- The Lean Theorem Prover (LMdM, SK, JA, FvD, JvR), pp. 378–388.
- TACAS-2015-KongGCC #analysis #hybrid #named
- dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
- CADE-2013-GaoKC #named #smt
- dReal: An SMT Solver for Nonlinear Theories over the Reals (SG, SK, EMC), pp. 208–214.
- VMCAI-2013-ChakiGKS #composition #source code
- Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.
- VMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
- GPCE-2009-KongCY #parsing
- Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
- CAV-2018-KongSG #problem
- Delta-Decision Procedures for Exists-Forall Problems over the Reals (SK, ASL, SG), pp. 219–235.
- CAV-2019-GaoKDRSAK #induction #proving
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems (SG, JK, JVD, NR, ASL, NA, SK), pp. 137–154.