DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Oh, Hakjoo

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 5 of 5

1
Design and implementation of sparse global analyses for C-like languages

Oh, Hakjoo; Heo, Kihong; Lee, Wonchan; Lee, Woosuk; Yi, Kwangkeun, 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12, pp.229 - 238, ACM Special Interest Group on Programming Languages (SIGPLAN), 2012-06-11

2
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

3
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

4
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

5
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

rss_1.0 rss_2.0 atom_1.0