BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kong:Soonho

Contributed to:

CADE 20152015
TACAS 20152015
CADE 20132013
VMCAI 20132013
VMCAI 20102010
GPCE 20092009
CAV (2) 20182018
CAV (2) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.