Soonho Kong

According to our database, Soonho Kong authored at least 33 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Solving String Constraints with Concatenation Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

An Efficient Delta-decision Procedure

Soonho Kong

PhD thesis, 2023

Solving String Constraints Using SAT.

Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles.

Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow, Uriel Guajardo, Soonho Kong, Sergio Campos, Geoffrey Litt, Nikos Aréchiga

CoRR, 2021

2019

Better AI through Logical Scaffolding.

Nikos Aréchiga, Jonathan A. DeCastro, Soonho Kong, Karen Leung

CoRR, 2019

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.

Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

REAS: Combining Numerical Optimization with SAT Solving.

Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama

CoRR, 2018

Delta-Decision Procedures for Exists-Forall Problems over the Reals.

Soonho Kong, Armando Solar-Lezama, Sicun Gao

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

A network-driven approach for genome-wide association mapping.

Seunghak Lee, Soonho Kong, Eric P. Xing

Bioinform., 2016

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.

Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

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

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Automatically inferring loop invariants via algorithmic learning.

Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Math. Struct. Comput. Sci., 2015

Elaboration in Dependent Type Theory.

Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux

CoRR, 2015

dReach: δ-Reachability Analysis for Hybrid Systems.

Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Towards personalized prostate cancer therapy using delta-reachability analysis.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

SMT Encoding of Hybrid Systems in dReal.

Kyungmin Bae, Soonho Kong, Sicun Gao

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.

Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2015

The Lean Theorem Prover (System Description).

Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

Proceedings of the Automated Deduction - CADE-25, 2015

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

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

CoRR, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, 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

Revisiting the Complexity of Stability of Continuous and Hybrid Systems.

Sicun Gao, Soonho Kong, Edmund M. Clarke

CoRR, 2014

Proof Generation from Delta-Decisions.

Sicun Gao, Soonho Kong, Edmund M. Clarke

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.

Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Compositional Sequentialization of Periodic Programs.

Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman

Proceedings of the Verification, 2013

Satisfiability modulo ODEs.

Sicun Gao, Soonho Kong, Edmund M. Clarke

Proceedings of the Formal Methods in Computer-Aided Design, 2013

dReal: An SMT Solver for Nonlinear Theories over the Reals.

Sicun Gao, Soonho Kong, Edmund M. Clarke

Proceedings of the Automated Deduction - CADE-24, 2013

2010

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction.

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Verification, 2010

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.

Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.

Soonho Kong, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Abstract parsing for two-staged languages with concatenation.

Soonho Kong, Wontae Choi, Kwangkeun Yi

Proceedings of the Generative Programming and Component Engineering, 2009