Showing results 2 to 5 of 5
Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis Heo, Kihong; Oh, Hakjoo; Yang, Hongseok, 23rd International Symposium on Static Analysis, SAS 2016, pp.237 - 256, SAS Committee, 2016-09-08 |
Machine-Learning-Guided Selectively Unsound Static Analysis Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun, 39th IEEE/ACM International Conference on Software Engineering, ICSE 2017, pp.519 - 529, IEEE Computer Society and ACM SIGSOFT, 2017-05-20 |
Resource-Aware Program Analysis Via Online Abstraction Coarsening Heo, Kihong; Oh, Hakjoo; Yang, Hongseok, The 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019), pp.94 - 104, ACM, IEEE, 2019-05-29 |
Selective context-sensitivity guided by impact pre-analysis Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun, 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, pp.475 - 484, ACM Special Interest Group on Programming Languages (SIGPLAN), 2014-06-09 |
Discover