Follow
Soonho Kong
Soonho Kong
Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
The Lean theorem prover (system description)
L de Moura, S Kong, J Avigad, F Van Doorn, J von Raumer
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
6402015
dReal: An SMT Solver for Nonlinear Theories over the Reals
S Gao, S Kong, EM Clarke
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
5242013
dReach: δ-Reachability Analysis for Hybrid Systems
S Kong, S Gao, W Chen, E Clarke
3452015
Satisfiability Modulo ODEs
S Gao, S Kong, EM Clarke
Formal Methods in Computer-Aided Design (FMCAD), 2013, 105-112, 2013
1122013
Theorem proving in Lean
J Avigad, L de Moura, S Kong
Microsoft Research, https://leanprover. github. io/tutorial/tutorial. pdf, 2015
542015
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
S Kong, Y Jung, C David, BY Wang, K Yi
Asian Symposium on Programming Languages and Systems, 328-343, 2010
482010
Sreach: A probabilistic bounded delta-reachability analyzer for stochastic hybrid systems
Q Wang, P Zuliani, S Kong, S Gao, EM Clarke
International Conference on Computational Methods in Systems Biology, 15-27, 2015
32*2015
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
S Gao, S Kong, W Chen, E Clarke
arXiv preprint arXiv:1404.7171, 2014
292014
Delta-decision procedures for exists-forall problems over the reals
S Kong, A Solar-Lezama, S Gao
International Conference on Computer Aided Verification, 219-235, 2018
202018
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
Y Jung, S Kong, BY Wang, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2010
202010
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions
B Liu, S Kong, S Gao, P Zuliani, EM Clarke
Computational Methods in Systems Biology: 12th International Conference …, 2014
192014
Towards personalized prostate cancer therapy using delta-reachability analysis
B Liu, S Kong, S Gao, P Zuliani, EM Clarke
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
172015
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
S Gao, J Kapinski, J Deshmukh, N Roohi, A Solar-Lezama, N Arechiga, ...
International Conference on Computer Aided Verification, 137-154, 2019
162019
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
K Bae, PC Ölveczky, S Kong, S Gao, EM Clarke
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
152016
Compositional sequentialization of periodic programs
S Chaki, A Gurfinkel, S Kong, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2013
152013
Elaboration in dependent type theory
L de Moura, J Avigad, S Kong, C Roux
preparation, 2015
122015
A network-driven approach for genome-wide association mapping
S Lee, S Kong, EP Xing
Bioinformatics 32 (12), i164-i173, 2016
102016
Automated testing of environment-dependent programs-a case study of modeling the file system for Pex
S Kong, N Tillmann, J de Halleux
2009 Sixth International Conference on Information Technology: New …, 2009
102009
Actively adapting to driving environments based on human interactions
S Kong, J DeCastro, N Arechiga, F Permenter
US Patent 11,072,342, 2021
92021
REAS: Combining Numerical Optimization with SAT Solving
JP Inala, S Gao, S Kong, A Solar-Lezama
arXiv preprint arXiv:1802.04408, 2018
92018
The system can't perform the operation now. Try again later.
Articles 1–20