DSpace at KOASAS
Browsing DSpace

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

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 8 of 8

1
Crellvm: Verified credible compilation for LLVM

Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; et al, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.631 - 645, Association for Computing Machinery, 2018-06-22

2
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

3
Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations

Ryu, Sukyoung; Yi, Kwangkeun; Pyun, Ki-Hyun, 20th Computer Software and Applications Conference, IEEE Computer Society, 1996-08-23

4
Exception Analysis for Multithreaded Java Programs

Ryu, Sukyoung; Yi, Kwangkeun, 2nd Asia-Pacific Conference on Quality Software, IEEE Computer Society, 2001-12-10

5
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

6
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

7
SUIF program analysis using System Z2

Kim, Seong-Hoon; Yi, Kwangkeun; Eo, Hyun-Jun; Choe, Kwang-Moo, The SUIF Compiler Workshop, pp.185 - 190, 1997

8
Towards a Cost-effective Estimation of Uncaught Exceptions in SML Programs

Ryu, Sukyoung; Yi, Kwangkeun, The 4th International Static Analysis Symposium, Springer, 1997-09-08

Discover

rss_1.0 rss_2.0 atom_1.0