Abstract parsing for two-staged languages with concatenation. - Soonho Kong; Wontae Choi; Kwangkeun Yi (GPCE, 2009)

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. - Soonho Kong; Nikolai Tillmann; Jonathan de Halleux (ITNG, 2009)

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. - Soonho Kong; Yungbum Jung; Cristina David; Bow-Yaw Wang; Kwangkeun Yi (APLAS, 2010)

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. - Yungbum Jung; Soonho Kong; Bow-Yaw Wang; Kwangkeun Yi (VMCAI, 2010)

dReal: An SMT Solver for Nonlinear Theories over the Reals. - Sicun Gao; Soonho Kong; Edmund M. Clarke (CADE, 2013)

Satisfiability modulo ODEs. - Sicun Gao; Soonho Kong; Edmund M. Clarke (FMCAD, 2013)

Compositional Sequentialization of Periodic Programs. - Sagar Chaki; Arie Gurfinkel; Soonho Kong; Ofer Strichman (VMCAI, 2013)

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CMSB, 2014)

Proof Generation from Delta-Decisions. - Sicun Gao; Soonho Kong; Edmund M. Clarke (SYNASC, 2014)

Revisiting the Complexity of Stability of Continuous and Hybrid Systems. - Sicun Gao; Soonho Kong; Edmund M. Clarke (CoRR, 2014)

Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. - Sicun Gao; Soonho Kong; Wei Chen; Edmund M. Clarke (CoRR, 2014)

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CoRR, 2014)

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (CoRR, 2014)

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. - Qinsi Wang; Paolo Zuliani; Soonho Kong; Sicun Gao; Edmund M. Clarke (CoRR, 2014)

The Lean Theorem Prover (System Description). - Leonardo Mendonça de Moura; Soonho Kong; Jeremy Avigad; Floris van Doorn; Jakob von Raumer (CADE, 2015)

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. - Qinsi Wang; Paolo Zuliani; Soonho Kong; Sicun Gao; Edmund M. Clarke (CMSB, 2015)

SMT Encoding of Hybrid Systems in dReal. - Kyungmin Bae; Soonho Kong; Sicun Gao (ARCH@CPSWeek, 2015)

Towards personalized prostate cancer therapy using delta-reachability analysis. - Bing Liu 013; Soonho Kong; Sicun Gao; Paolo Zuliani; Edmund M. Clarke (HSCC, 2015)

dReach: δ-Reachability Analysis for Hybrid Systems. - Soonho Kong; Sicun Gao; Wei Chen; Edmund M. Clarke (TACAS, 2015)

Elaboration in Dependent Type Theory. - Leonardo Mendonça de Moura; Jeremy Avigad; Soonho Kong; Cody Roux (CoRR, 2015)

Automatically inferring loop invariants via algorithmic learning. - Yungbum Jung; Soonho Kong; Cristina David; Bow-Yaw Wang; Kwangkeun Yi (Math. Struct. Comput. Sci., 2015)

Bifurcation Analysis of Cardiac Alternans Using delta -Decidability. - Md. Ariful Islam; Greg Byrne; Soonho Kong; Edmund M. Clarke; Rance Cleaveland; Flavio H. Fenton; Radu Grosu; Paul L. Jones; Scott A. Smolka (CMSB, 2016)

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. - Kyungmin Bae; Peter Csaba Ölveczky; Soonho Kong; Sicun Gao; Edmund M. Clarke (HSCC, 2016)

A network-driven approach for genome-wide association mapping. - Seunghak Lee; Soonho Kong; Eric P. Xing (Bioinform., 2016)

Delta-Decision Procedures for Exists-Forall Problems over the Reals. - Soonho Kong; Armando Solar-Lezama; Sicun Gao (CAV (2), 2018)

REAS: Combining Numerical Optimization with SAT Solving. - Jeevana Priya Inala; Sicun Gao; Soonho Kong; Armando Solar-Lezama (CoRR, 2018)

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. - Sicun Gao; James Kapinski; Jyotirmoy V. Deshmukh; Nima Roohi; Armando Solar-Lezama; Nikos Aréchiga; Soonho Kong (CAV (2), 2019)

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. - Calvin Huang; Soonho Kong; Sicun Gao; Damien Zufferey (NSV@CAV, 2019)

Better AI through Logical Scaffolding. - Nikos Aréchiga; Jonathan A. DeCastro; Soonho Kong; Karen Leung (CoRR, 2019)

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. - Daniel Jackson 001; Valerie Richmond; Mike Wang; Jeff Chow; Uriel Guajardo; Soonho Kong; Sergio Campos; Geoffrey Litt; Nikos Aréchiga (CoRR, 2021)

Solving String Constraints Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Rupak Majumdar; Dirk Nowotka (CAV (2), 2023)

An Efficient Delta-decision Procedure - Soonho Kong (2023)

Solving String Constraints with Concatenation Using SAT. - Kevin Lotz; Amit Goel; Bruno Dutertre; Benjamin Kiesl-Reiter; Soonho Kong; Dirk Nowotka (FMCAD, 2024)