Soonho Kong

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 11

Top Topics

Reachability Analysis

Bounded Model Checking

Top Venues

Publications

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow, Uriel Guajardo, Soonho Kong, Sergio Campos, Geoffrey Litt, Nikos Aréchiga
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. CoRR (2021)
Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV (2019)
Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) (2019)
Nikos Aréchiga, Jonathan DeCastro, Soonho Kong, Karen Leung
Better AI through Logical Scaffolding. CoRR (2019)
Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
REAS: Combining Numerical Optimization with SAT Solving. CoRR (2018)
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR (2018)
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) (2018)
Seunghak Lee, Soonho Kong, Eric P. Xing
A network-driven approach for genome-wide association mapping. Bioinform. 32 (12) (2016)
Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB (2016)
Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC (2016)
Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. 25 (4) (2015)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC (2015)
Kyungmin Bae, Soonho Kong, Sicun Gao
SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek (2015)
Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
The Lean Theorem Prover (System Description). CADE (2015)
Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux
Elaboration in Dependent Type Theory. CoRR (2015)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB (2015)
Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke
dReach: δ-Reachability Analysis for Hybrid Systems. TACAS (2015)
Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. CoRR (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Revisiting the Complexity of Stability of Continuous and Hybrid Systems. CoRR (2014)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Proof Generation from Delta-Decisions. SYNASC (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Proof Generation from Delta-Decisions. CoRR (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
dReal: An SMT Solver for Nonlinear Theories over the Reals. CADE (2013)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Satisfiability modulo ODEs. FMCAD (2013)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Satisfiability Modulo ODEs. CoRR (2013)
Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman
Compositional Sequentialization of Periodic Programs. VMCAI (2013)
Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS (2010)
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI (2010)
Soonho Kong, Nikolai Tillmann, Jonathan de Halleux
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG (2009)
Soonho Kong, Wontae Choi, Kwangkeun Yi
Abstract parsing for two-staged languages with concatenation. GPCE (2009)