• Satisfiability Modulo ODEs Sicun Gao, Soonho Kong, and Edmund Clarke FMCAD 2013: Formal Methods in Computer-Aided Design, Portland, Oregon, October 20 - 23, 2013 [PDF]

  • dReal: An SMT Solver for Nonlinear Theories of Reals (Tool Paper) Sicun Gao, Soonho Kong, and Edmund Clarke. CADE 2013: 24th International Conference on Automated Deduction , Lake Placid, New York, June 9 - 14, 2013. [PDF/Slides/Tool]

  • Compositional Sequentialization of Periodic Programs. Sagar Chaki, Arie Gurfinkel, Soonho Kong and Ofer Strichman. VMCAI 2013: 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Rome, Jan 20 - 22, 2013. [PDF/BibTeX/Slides/Tool]


  • Automatically Inferring Loop Invariants via Algorithmic Learning. Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, and Kwangkeun Yi. Invited Paper, submitted to Mathematical Structures in Computer Science [PDF]


  • Automatically Inferring Quantified Invariants via Algorithmic Learning from Simple Templates. Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi. APLAS 2010 The 8th ASIAN Symposium on Programming Languages and Systems, Nov 28 - Dec 1, 2010. [PDF/BibTeX/Slides(courtesy of Yungbum Jung)]

  • Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi. VMCAI 2010: The 11th International Conference on Verification, Model Checking, and Abstract Interpretation, Madrid, Jan 17-19, 2010. [PDF/BibTeX/Slides]


  • Abstract Parsing for Two-staged Languages with Concatenation. Soonho Kong, Wontae Choi, Kwangkeun Yi. GPCE 2009: The 8th International Conference on Generative Programming and Component Engineering, Denver, Oct 4-5, 2009. [PDF/BibTeX/Slides]

  • PCC Framework for Program Generators. Soonho Kong, Wontae Choi, Kwangkeun Yi. PCC 2009: The 3rd International Workshop on Proof-Carrying Code and Software Certification, Los Angeles, Aug 15, 2009. [PDF/BibTeX/Slides]

  • Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. Soonho Kong, Nikolai Tillmann, Jonathan de Halleux. ITNG 2009: The 6th International Conference on Information Technology: New Generations, Las Vegas, Apr 27-29, 2009. [PDF/BibTeX]


  • Sparrow: The Source Code Analyzer. Hakjoo Oh, Yungbum Jung, Minsik Jin, Deokhwan Kim, Yikwon Hwang, Daejun Park, Heejong Lee, Soonho Kong, Kwangkeun Yi. KIISE(Korean Institute of Information Scientists and Engineers) Conference 2007, 34(1C):500–504, KIISE, 2007. [PDF (in Korean)]