Soonho Kong

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