☰

Kwangkeun Yi - Publications

Affiliations: 
CS Seoul National University, Seoul, South Korea 
Tree Info Similar researchers PubMed Report error

12 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Heo K, Oh H, Yang H, Yi K. Adaptive Static Analysis via Learning with Bayesian Optimization Acm Transactions On Programming Languages and Systems. 40: 14. DOI: 10.1145/3121135  0.35
2015 Oh H, Lee W, Heo K, Yang H, Yi K. Selective X-sensitive analysis guided by impact pre-analysis Acm Transactions On Programming Languages and Systems. 38. DOI: 10.1145/2821504  0.343
2015 Kim S, Heo K, Oh H, Yi K. Widening with thresholds via binary search Software: Practice and Experience. 46: 1317-1328. DOI: 10.1002/Spe.2381  0.321
2014 Oh H, Heo K, Lee W, Park D, Kang J, Yi K. Global sparse analysis framework Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2590811  0.377
2013 Oh H, Yi K. Access-based abstract memory localization in static analysis Science of Computer Programming. 78: 1701-1727. DOI: 10.1016/J.Scico.2013.04.002  0.307
2012 Lee W, Jung Y, Wang B, Yi K. Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Logical Methods in Computer Science. 8. DOI: 10.2168/Lmcs-8(3:25)2012  0.325
2007 Seo S, Yang H, Yi K, Han T. Goal-directed weakening of abstract interpretation results Acm Transactions On Programming Languages and Systems. 29: 39. DOI: 10.1145/1286821.1286830  0.318
2006 Yi K. 'Proof-directed debugging' revisited for a first-order version Journal of Functional Programming. 16: 663-670. DOI: 10.1017/S0956796806006149  0.341
2005 Lee O, Yang H, Yi K. Static insertion of safe and effective memory reuse commands into ML-like programs Science of Computer Programming. 58: 141-178. DOI: 10.1016/J.Scico.2005.02.007  0.307
2004 Jo J, Chang B, Yi K, Choe K. An uncaught exception analysis for Java Journal of Systems and Software. 72: 59-69. DOI: 10.1016/S0164-1212(03)00057-8  0.372
2002 Yi K, Ryu S. A cost-effective estimation of uncaught exceptions in Standard ML programs Theoretical Computer Science. 277: 185-217. DOI: 10.1016/S0304-3975(00)00317-0  0.35
2002 Lee O, Yi K, Paek Y. A proof method for the corectness of modularized OCFA Information Processing Letters. 81: 179-185. DOI: 10.1016/S0020-0190(01)00223-X  0.369
Show low-probability matches.