-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpublications.yml
259 lines (231 loc) · 10.9 KB
/
publications.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
- title: "Improving Fault Localization with External Oracle by using Counterfactual Execution"
author: [ "Jongchan Park", "Tae Eun Kim", "Dongsun Kim", "Kihong Heo" ]
venue: "TOSEM: ACM Transactions on Software Engineering and Methodology"
venue_link: "https://dl.acm.org/journal/tosem"
year: 2024
paper: "tosem24.pdf"
type: "journal"
- title: "Evaluating Directed Fuzzers: Are We Heading in the Right Direction?"
author: [ "Tae Eun Kim", "Jaeseung Choi", "Seongjae Im", "Kihong Heo", "Sang Kil Cha"]
venue: "FSE 2024: International Conference on the Foundations of Software Engineering"
venue_link: "https://conf.researchr.org/home/fse-2024"
year: 2024
paper: "fse24.pdf"
slides: "fse24-slides.pdf"
type: "conference"
- title: "Translation Validation for JIT Compiler in the V8 JavaScript Engine"
author: [ "Seungwan Kwon", "Jaeseong Kwon", "Wooseok Kang", "Juneyoung Lee", "Kihong Heo"]
venue: "ICSE 2024: International Conference on Software Engineering"
venue_link: "https://conf.researchr.org/home/icse-2024"
year: 2024
paper: "icse24.pdf"
slides: "icse24-slides.pdf"
type: "conference"
project_page: "https://prosys.kaist.ac.kr/turbo-tv"
- title: "DAFL: Directed Grey-box Fuzzing Guided by Data Dependency"
author: [ "Tae Eun Kim", "Jaeseung Choi", "Kihong Heo", "Sang Kil Cha"]
venue: "Security 2023: USENIX Security Symposium"
venue_link: "https://www.usenix.org/conference/usenixsecurity23"
year: 2023
paper: "sec23.pdf"
slides: "sec23-slides.pdf"
type: "conference"
video: "https://www.youtube.com/watch?v=BjtKhyzLtyo"
- title: "Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities"
author: [ "Wooseok Kang", "Byoungho Son", "Kihong Heo" ]
venue: "CCS 2022: ACM Conference on Computer and Communications Security"
venue_link: "https://www.sigsac.org/ccs/CCS2022/"
year: 2022
paper: "ccs22.pdf"
slides: "ccs22-slides.pdf"
type: "conference"
project_page: "https://prosys.kaist.ac.kr/tracer"
- title: "Learning Probabilistic Models for Static Analysis Alarms"
author: [ "Hyunsu Kim", "Mukund Raghothaman", "Kihong Heo" ]
venue: "ICSE 2022: International Conference on Software Engineering"
venue_link: "https://conf.researchr.org/track/icse-2022/icse-2022-papers"
year: 2022
paper: "icse22.pdf"
type: "conference"
award: "Best Artifact Award"
video: "https://youtu.be/FzshZZyqU14"
- title: "PacJam: Securing Dependencies Continuously via Package-Oriented Debloating"
author: [ "Pardis Pashakhanloo", "Aravind Machiry", "Hyonyoung Choi", "Anthony Canino", "Kihong Heo", "Insup Lee", "Mayur Naik"]
venue: "ASIACCS 2022: ACM ASIA Conference on Computer and Communications Security"
venue_link: "https://asiaccs2022.conferenceservice.jp"
year: 2022
paper: "asiaccs22.pdf"
type: "conference"
- title: "Boosting Static Analysis Accuracy With Instrumented Test Executions"
author: ["Tianyi Chen", "Kihong Heo", "Mukund Raghothaman"]
venue: "ESEC/FSE 2021: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"
venue_link: "https://2021.esec-fse.org"
year: 2021
paper: "fse21.pdf"
type: "conference"
- title: "Synthesizing Datalog Programs using Numerical Relaxation"
author: ["Xujie Si", "Mukund Raghothaman", "Kihong Heo", "Mayur Naik"]
venue: "IJCAI 2019: International Joint Conferences on Artificial Intelligence"
venue_link: "https://www.ijcai.org"
year: 2019
paper: "ijcai19.pdf"
type: "conference"
- title: "Continuously Reasoning about Programs via Differential Bayesian Inference"
author: ["Kihong Heo", "Mukund Raghothaman", "Xujie Si", "Mayur Naik"]
venue: "PLDI 2019: Programming Language Design and Implementation"
venue_link: "https://conf.researchr.org/home/pldi-2019"
year: 2019
paper: "pldi19.pdf"
type: "conference"
award: "Distinguished Paper Award"
- title: "Resource-aware Program Analysis via Online Abstraction Coarsening"
author: ["Kihong Heo", "Hakjoo Oh", "Hongseok Yang"]
venue: "ICSE 2019: ACM/IEEE International Conference on Software Engineering"
venue_link: "https://2019.icse-conferences.org"
year: 2019
paper: "icse19.pdf"
slides: "icse19-slides.pdf"
type: "conference"
award: "Distinguished Paper Award"
- title: "Effective Program Debloating via Reinforcement Learning"
author: [Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik]
cofirst: "[0, 1]"
venue: "CCS 2018: ACM Conference on Computer and Communications Security"
venue_link: "https://www.sigsac.org/ccs/CCS2018"
year: 2018
paper: "ccs18.pdf"
slides: "ccs18-slides.pdf"
code: "https://github.com/aspire-project/chisel"
video: "https://youtu.be/8eRZKoLFakw"
type: "conference"
- title: "User-Guided Program Reasoning using Bayesian Inference"
author: [Mukund Raghothaman, "Sulekha Kulkarni", Kihong Heo, Mayur Naik]
venue: "PLDI 2018: Programming Language Design and Implementation"
venue_link: "https://conf.researchr.org/home/pldi-2018"
year: 2018
paper: "pldi18a.pdf"
full: "pldi18a-full.pdf"
bib: "https://dblp.uni-trier.de/rec/bibtex/conf/pldi/RaghothamanKHN18"
type: "conference"
- title: "Accelerating Search-Based Program Synthesis Using Learned Probabilistic Models"
author: [Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik]
venue: "PLDI 2018: Programming Language Design and Implementation"
venue_link: "https://conf.researchr.org/home/pldi-2018"
year: 2018
paper: "pldi18b.pdf"
bib: "https://dblp.uni-trier.de/rec/bibtex/conf/pldi/LeeHAN18"
code: "https://github.com/wslee/euphony"
type: "conference"
- title: "Difflog: Beyond Deductive Methods in Program Analysis"
author: [Mukund Raghothaman, "Sulekha Kulkarni", "Richard Zhang", "Xujie Si", Kihong Heo, Woosuk Lee, Mayur Naik]
venue: "ML4P: 1st Workshop on Machine Learning for Programming"
venue_link: "http://ml4p.org"
year: 2018
paper: "ml4p18.pdf"
type: "workshop"
- title: "Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses"
author: [Kihong Heo, Hakjoo Oh, Hongseok Yang]
venue: "FMSD: Formal Methods in System Design"
venue_link: "https://link.springer.com/article/10.1007%2Fs10703-017-0306-7"
year: 2018
paper: "fmsd18.pdf"
type: "journal"
misc: "Invited Paper"
- title: "Adapting Static Analysis via Learning with Bayesian Optimization"
author: [Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi]
venue: "TOPLAS: ACM Transactions on Programming Languages and Systems"
venue_link: "http://toplas.acm.org"
year: 2018
paper: "toplas18.pdf"
type: "journal"
- title: "Machine-Learning-Guided Selectively Unsound Static Analysis"
author: [Kihong Heo, Hakjoo Oh, Kwangkeun Yi]
venue: "ICSE 2017: The 39th International Conference on Software Engineering"
venue_link: "http://icse2017.gatech.edu"
year: 2017
paper: "icse17.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/HeoOY17"
slides: "icse17.pdf"
type: "conference"
- title: "Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages"
author: ["Kwonsoo Chae", Hakjoo Oh, Kihong Heo, Hongseok Yang]
venue: "OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"
venue_link: "http://2017.splashcon.org/track/splash-2017-OOPSLA"
year: 2017
paper: "oopsla17.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/ChaeOHY17"
type: "conference"
- title: "Selective Conjunction of Context-sensitivity and Octagon Domain toward Scalable and Precise Global Static Analysis"
author: [Kihong Heo, Hakjoo Oh, Kwangkeun Yi]
venue: "SP&E: Software-Practice and Experience"
venue_link: "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X"
year: 2017
paper: "spe17.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/journals/spe/HeoOY17"
type: "journal"
- title: "Sound Non-Statistical Clustering of Static Analysis Alarms"
author: [Woosuk Lee, "Wonchan Lee", "Dongok Kang", Kihong Heo, Hakjoo Oh, Kwangkeun Yi]
venue: "TOPLAS: ACM Transactions on Programming Languages and Systems"
venue_link: "http://toplas.acm.org"
year: 2017
paper: "toplas17.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/LeeLKHOY17"
type: "journal"
- title: "Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis"
author: [Kihong Heo, Hakjoo Oh, Hongseok Yang]
venue: "SAS 2016: The 23rd Static Analysis Symposium"
venue_link: "http://staticanalysis.org/sas2016/"
year: 2016
paper: "sas16.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/conf/sas/HeoOY16"
slides: "sas16-slides.pdf"
type: "conference"
- title: "Selective X-Sensitive Analysis Guided by Impact Pre-Analysis"
author: [Hakjoo Oh, "Wonchan Lee", Kihong Heo, Hongseok Yang, Kwangkeun Yi]
venue: "TOPLAS: ACM Transactions on Programming Languages and Systems"
venue_link: "http://toplas.acm.org"
year: 2016
paper: "toplas16.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/OhLHYY16"
type: "journal"
- title: "Widening with Thresholds via Binary Search"
author: ["Sol Kim", Kihong Heo, Hakjoo Oh, Kwangkeun Yi]
venue: "SP&E: Software-Practice and Experience"
venue_link: "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X"
year: 2016
paper: "spe16.pdf"
bib: "http://dblp.dagstuhl.de/rec/bibtex/journals/spe/KimHOY16"
type: "journal"
- title: "Selective Context-Sensitivity Guided by Impact Pre-Analysis"
author: [Hakjoo Oh, "Wonchan Lee", Kihong Heo, Hongseok Yang, Kwangkeun Yi]
venue: "PLDI 2014: The 35th ACM SIGPLAN Conference of Programming Language Design and Implementation"
venue_link: "http://conferences.inf.ed.ac.uk/pldi2014/"
year: 2014
paper: "pldi14.pdf"
full: "pldi14-full.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/OhLHYY14"
type: "conference"
- title: "Global Sparse Analysis Framework"
author: [Hakjoo Oh, Kihong Heo, "Wonchan Lee", Woosuk Lee, "Daejun Park", "Jeehoon Kang", Kwangkeun Yi]
venue: "TOPLAS: ACM Transactions on Programming Languages and Systems"
venue_link: "http://toplas.acm.org"
year: 2014
paper: "toplas14.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/OhHLLPKY14"
type: "journal"
- title: "A Sparse Evaluation Technique for Detailed Semantic Analyses"
author: ["Yoonseok Ko", Kihong Heo, Hakjoo Oh]
venue: "Computer Languages, Systems, & Structures"
venue_link: "http://www.sciencedirect.com/science/article/pii/S1477842414000323"
year: 2014
paper: "comlan14.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/KoHO14"
type: "journal"
- title: "Design and Implementation of Sparse Global Analyses for C-like Languages"
author: [Hakjoo Oh, Kihong Heo, "Wonchan Lee", Woosuk Lee, Kwangkeun Yi]
venue: "PLDI 2012: The 33rd ACM SIGPLAN Conference of Programming Language Design and Implementation"
venue_link: "http://pldi12.cs.purdue.edu"
year: 2012
paper: "pldi12.pdf"
bib: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/OhHLLY12"
type: "conference"