|
23 | 23 | name: ASE 2025 SRC |
24 | 24 | detail: IEEE/ACM International Conference on Automated Software Engineering - Student Research Competition |
25 | 25 | url: https://conf.researchr.org/home/ase-2025 |
26 | | - pdf: /assets/data/publication/ase-src25.pdf |
27 | 26 | materials: |
| 27 | + pdf: /assets/data/publication/ase-src25.pdf |
28 | 28 | slides: /assets/data/slides/2025/ase25-src-slides.pdf |
29 | 29 | poster: /assets/data/poster/2025/ase25-src-poster.pdf |
30 | 30 |
|
|
39 | 39 | name: ASE 2025 |
40 | 40 | detail: IEEE/ACM International Conference on Automated Software Engineering |
41 | 41 | url: https://conf.researchr.org/home/ase-2025 |
42 | | - pdf: /assets/data/publication/ase25-park-debun.pdf |
43 | | - youtube: v9dH4osHS0I |
44 | 42 | materials: |
| 43 | + pdf: /assets/data/publication/ase25-park-debun.pdf |
| 44 | + video: https://www.youtube.com/watch?v=v9dH4osHS0I |
45 | 45 | slides: /assets/data/slides/2025/ase25-debun-slides.pdf |
46 | 46 | poster: /assets/data/poster/2025/ase25-debun-poster.pdf |
47 | 47 | repo: https://github.com/ku-plrg/debun-ase25 |
|
59 | 59 | name: FSE 2025 Demo |
60 | 60 | detail: ACM International Conference on the Foundations of Software Engineering - Demonstrations Track |
61 | 61 | url: https://conf.researchr.org/home/fse-2025 |
62 | | - pdf: /assets/data/publication/fse-demo25.pdf |
63 | | - youtube: 4XMjJPNmuBM |
64 | 62 | materials: |
| 63 | + pdf: /assets/data/publication/fse-demo25.pdf |
| 64 | + video: https://www.youtube.com/watch?v=4XMjJPNmuBM |
65 | 65 | slides: /assets/data/slides/2025/fse25-demo-slides.pdf |
66 | 66 | repo: https://github.com/ku-plrg/js-spec-vis |
67 | 67 | visualizer: https://chromewebstore.google.com/detail/nlfpedidieegejndiikebcgclhggaocd?utm_source=item-share-cb |
|
80 | 80 | Implementation |
81 | 81 | name: PLDI 2024 |
82 | 82 | url: https://pldi24.sigplan.org/ |
83 | | - pdf: /assets/data/publication/pldi24-jeon-pl4xgl.pdf |
84 | | - youtube: dc64pCBXx9o |
85 | 83 | materials: |
| 84 | + pdf: /assets/data/publication/pldi24-jeon-pl4xgl.pdf |
| 85 | + video: https://www.youtube.com/watch?v=dc64pCBXx9o |
86 | 86 | slides: /assets/data/slides/2024/pldi24-pl4xgl-slides.pdf |
87 | 87 | repo: https://github.com/kupl/PL4XGL |
88 | 88 | news: https://www.m-i.kr/news/articleView.html?idxno=1135778 |
|
96 | 96 | detail: Communications of the ACM |
97 | 97 | name: CACM |
98 | 98 | url: https://m-cacm.acm.org/ |
99 | | - pdf: /assets/data/publication/cacm24-ryu-esmeta.pdf |
100 | | - youtube: JGxc-KIUnQY |
101 | 99 | materials: |
| 100 | + pdf: /assets/data/publication/cacm24-ryu-esmeta.pdf |
| 101 | + video: https://www.youtube.com/watch?v=JGxc-KIUnQY |
102 | 102 | online: https://cacm.acm.org/research/javascript-language-design-and-implementation-in-tandem/ |
103 | 103 | repo: https://github.com/es-meta/esmeta |
104 | 104 | news: https://www.aitimes.kr/news/articleView.html?idxno=31089 |
|
116 | 116 | Implementation |
117 | 117 | name: PLDI 2023 |
118 | 118 | url: https://pldi23.sigplan.org/ |
119 | | - pdf: /assets/data/publication/pldi23-park-jestfs.pdf |
120 | | - youtube: Yz1dGw_rAzQ |
121 | 119 | materials: |
| 120 | + pdf: /assets/data/publication/pldi23-park-jestfs.pdf |
| 121 | + video: https://www.youtube.com/watch?v=Yz1dGw_rAzQ |
122 | 122 | slides: /assets/data/slides/2023/pldi23-jestfs-slides.pdf |
123 | 123 | repo: https://github.com/jestfs/jestfs/ |
124 | 124 |
|
|
135 | 135 | the Foundations of Software Engineering |
136 | 136 | name: ESEC/FSE 2022 |
137 | 137 | url: https://2022.esec-fse.org/ |
138 | | - pdf: /assets/data/publication/fse22-park-jsaver.pdf |
139 | | - youtube: zEsanPIFrWs |
140 | 138 | materials: |
| 139 | + pdf: /assets/data/publication/fse22-park-jsaver.pdf |
| 140 | + video: https://www.youtube.com/watch?v=zEsanPIFrWs |
141 | 141 | report: /assets/data/publication/fse22-jsaver-report.pdf |
142 | 142 | slides: /assets/data/slides/2022/fse22-jsaver-slides.pdf |
143 | 143 | repo: https://github.com/kaist-plrg/jsaver |
|
170 | 170 | name: CSUR |
171 | 171 | detail: ACM Computing Surveys - vol. 54, issue 7, no. 149, pp. 1-37 |
172 | 172 | url: https://dl.acm.org/journal/csur |
173 | | - pdf: /assets/data/publication/csur21-park-psa.pdf |
| 173 | + materials: |
| 174 | + pdf: /assets/data/publication/csur21-park-psa.pdf |
174 | 175 |
|
175 | 176 | - title: "JSTAR: JavaScript Specification Type Analyzer using Refinement" |
176 | 177 | doi: 10.1109/ASE51524.2021.9678781 |
|
184 | 185 | name: ASE 2021 |
185 | 186 | detail: IEEE/ACM International Conference on Automated Software Engineering |
186 | 187 | url: https://conf.researchr.org/home/ase-2021 |
187 | | - pdf: /assets/data/publication/ase21-park-jstar.pdf |
188 | 188 | materials: |
| 189 | + pdf: /assets/data/publication/ase21-park-jstar.pdf |
189 | 190 | tech: /assets/data/publication/ase21-jstar-report.pdf |
190 | 191 | slides: /assets/data/slides/2021/ase21-jstar-slides.pdf |
191 | 192 | repo: https://github.com/kaist-plrg/jstar |
|
204 | 205 | ACM Joint European Software Engineering Conference and Symposium on |
205 | 206 | the Foundations of Software Engineering |
206 | 207 | url: https://2021.esec-fse.org/ |
207 | | - pdf: /assets/data/publication/fse21-park-ds.pdf |
208 | 208 | materials: |
| 209 | + pdf: /assets/data/publication/fse21-park-ds.pdf |
209 | 210 | extended: https://arxiv.org/abs/2105.13699 |
210 | 211 | slides: /assets/data/slides/2021/fse21-slides.pdf |
211 | 212 | repo: https://github.com/kaist-plrg/safe-ds |
|
233 | 234 | name: ICSE 2021 |
234 | 235 | detail: IEEE/ACM International Conference on Software Engineering |
235 | 236 | url: https://conf.researchr.org/home/icse-2021 |
236 | | - pdf: /assets/data/publication/icse21-park-jest.pdf |
237 | | - youtube: lX4iscqdx8Y |
238 | 237 | materials: |
| 238 | + pdf: /assets/data/publication/icse21-park-jest.pdf |
| 239 | + video: https://www.youtube.com/watch?v=lX4iscqdx8Y |
239 | 240 | slides: /assets/data/slides/2021/icse21-slides.pdf |
240 | 241 | repo: https://github.com/kaist-plrg/jest |
241 | 242 |
|
|
251 | 252 | name: ASE 2020 |
252 | 253 | detail: IEEE/ACM International Conference on Automated Software Engineering |
253 | 254 | url: https://conf.researchr.org/home/ase-2020 |
254 | | - pdf: /assets/data/publication/ase20-park-jiset.pdf |
255 | 255 | materials: |
| 256 | + pdf: /assets/data/publication/ase20-park-jiset.pdf |
256 | 257 | tech: /assets/data/publication/ase20-park-jiset-report.pdf |
257 | 258 | slides: /assets/data/slides/2020/ase20-slides.pdf |
258 | 259 | repo: https://github.com/kaist-plrg/jiset |
|
268 | 269 | name: IEEE Software |
269 | 270 | detail: vol. 36, no. 3, pp. 74-82 |
270 | 271 | url: https://www.computer.org/csdl/magazine/so |
271 | | - pdf: /assets/data/publication/ieeesw19.pdf |
272 | 272 | materials: |
| 273 | + pdf: /assets/data/publication/ieeesw19.pdf |
273 | 274 | slides: /assets/data/slides/2019/ieeesw19-slides.pdf |
274 | 275 |
|
275 | 276 | 2018: |
|
283 | 284 | name: Scala 2018 |
284 | 285 | detail: ACM SIGPLAN Symposium on Scala |
285 | 286 | url: https://conf.researchr.org/track/scala-2018/scala-2018-papers |
286 | | - pdf: /assets/data/publication/scala18.pdf |
287 | | - youtube: 6jVUuKPiYK4 |
288 | 287 | materials: |
| 288 | + pdf: /assets/data/publication/scala18.pdf |
| 289 | + video: https://www.youtube.com/watch?v=6jVUuKPiYK4 |
289 | 290 |
|
290 | 291 | - title: A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency |
291 | 292 | doi: 10.1145/3191697.3191732 |
|
300 | 301 | name: ProWeb 2018 |
301 | 302 | detail: International Workshop on Programming Technology for the Future Web |
302 | 303 | url: https://2018.programming-conference.org/track/proweb-2018-papers |
303 | | - pdf: /assets/data/publication/proweb18.pdf |
304 | 304 | materials: |
| 305 | + pdf: /assets/data/publication/proweb18.pdf |
305 | 306 | slides: /assets/data/slides/2018/proweb18-slides.pdf |
306 | 307 |
|
307 | 308 | 2017: |
|
317 | 318 | name: NetPL 2017 |
318 | 319 | detail: ACM SIGCOMM Workshop on Networking and Programming Languages |
319 | 320 | url: https://conferences.sigcomm.org/sigcomm/2017/workshop-netpl.html |
320 | | - pdf: /assets/data/publication/netpl17.pdf |
321 | | - youtube: p_85Zys3Yzs |
322 | 321 | materials: |
| 322 | + pdf: /assets/data/publication/netpl17.pdf |
| 323 | + video: https://www.youtube.com/watch?v=p_85Zys3Yzs |
323 | 324 |
|
324 | 325 | - title: "Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction" |
325 | 326 | doi: 10.1145/3088515.3088516 |
|
333 | 334 | detail: ACM SIGPLAN International Workshop on the State Of the Art in Java |
334 | 335 | Program Analysis |
335 | 336 | url: https://pldi17.sigplan.org/track/SOAP-2017-papers |
336 | | - pdf: /assets/data/publication/soap17.pdf |
337 | 337 | materials: |
| 338 | + pdf: /assets/data/publication/soap17.pdf |
338 | 339 | tech: /assets/data/publication/soap17-tech.pdf |
339 | 340 | slides: /assets/data/slides/2017/soap17-slides.pdf |
340 | 341 |
|
|
349 | 350 | name: ICSE 2017 Demo |
350 | 351 | detail: IEEE/ACM International Conference on Software Engineering - Demonstrations Track |
351 | 352 | url: https://icse2017.gatech.edu/ |
352 | | - pdf: /assets/data/publication/icse-demo17.pdf |
353 | | - youtube: ZI_emiRMoxQ |
354 | 353 | materials: |
| 354 | + pdf: /assets/data/publication/icse-demo17.pdf |
| 355 | + video: https://www.youtube.com/watch?v=ZI_emiRMoxQ |
355 | 356 | slides: /assets/data/slides/2017/icse-demo17-slides.pdf |
356 | 357 | poster: /assets/data/publication/icse-demo17-poster.pdf |
357 | 358 | repo: https://github.com/sukyoung/safe |
|
366 | 367 | name: Modularity 2014 SRC |
367 | 368 | detail: International Conference on Modularity - Student Research Competition |
368 | 369 | url: https://modularity.info/conference/2014/index.html |
369 | | - pdf: /assets/data/publication/mod-src14.pdf |
370 | 370 | materials: |
| 371 | + pdf: /assets/data/publication/mod-src14.pdf |
371 | 372 | slides: /assets/data/slides/2014/mod-src14-slides.pdf |
372 | 373 | poster: /assets/data/publication/mod-src14-poster.pdf |
0 commit comments