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. |