| 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 | 483 | 2015 |
| 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 | 482 | 2013 |
| dReach: δ-Reachability Analysis for Hybrid Systems S Kong, S Gao, W Chen, E Clarke | 311 | 2015 |
| Satisfiability Modulo ODEs S Gao, S Kong, EM Clarke Formal Methods in Computer-Aided Design (FMCAD), 2013, 105-112, 2013 | 112 | 2013 |
| 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 | 47 | 2010 |
| Delta-Complete Analysis for Bounded Reachability of Hybrid Systems S Gao, S Kong, W Chen, E Clarke arXiv preprint arXiv:1404.7171, 2014 | 30 | 2014 |
| Sreach: A probabilistic bounded delta-reachability analyzer for stochastic hybrid systems Q Wang, P Zuliani, S Kong, S Gao, EM Clarke Computational Methods in Systems Biology: 13th International Conference …, 2015 | 29* | 2015 |
| Theorem proving in Lean J Avigad, L de Moura, S Kong Microsoft Research, https://leanprover. github. io/tutorial/tutorial. pdf, 2015 | 29 | 2015 |
| Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction Y Jung, S Kong, BY Wang, K Yi Verification, Model Checking, and Abstract Interpretation: 11th …, 2010 | 20 | 2010 |
| 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 | 19 | 2014 |
| Theorem proving in Lean J Avigad, L De Moura, S Kong Online: https://leanprover. github. io/theorem_ proving_ in_ lean/theorem …, 2021 | 16 | 2021 |
| Delta-decision procedures for exists-forall problems over the reals S Kong, A Solar-Lezama, S Gao Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 16 | 2018 |
| 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 | 16 | 2015 |
| 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 | 13 | 2016 |
| Compositional sequentialization of periodic programs S Chaki, A Gurfinkel, S Kong, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2013 | 13 | 2013 |
| 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 | 12 | 2019 |
| Elaboration in dependent type theory L de Moura, J Avigad, S Kong, C Roux preparation, 2015 | 10 | 2015 |
| 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 | 10 | 2009 |
| A network-driven approach for genome-wide association mapping S Lee, S Kong, EP Xing Bioinformatics 32 (12), i164-i173, 2016 | 9 | 2016 |
| Proof generation from delta-decisions S Gao, S Kong, EM Clarke 2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014 | 9 | 2014 |
