Add 2017 publications

kupl · Sep 11, 2023 · c8e7ac9 · c8e7ac9
1 parent a95108b
commit c8e7ac9
Show file tree

Hide file tree

Showing 13 changed files with 112 additions and 1 deletion.
diff --git a/data/publications.yaml b/data/publications.yaml
@@ -372,7 +372,7 @@
     materials:
       pdf: /papers/fse18.pdf
       artifact: http://prl.korea.ac.kr/MemFix/
-    
+
   - title: "A Scalable Learning Algorithm for Data-Driven Program Analysis"
     authors:
       - Sooyoung Cha
@@ -467,3 +467,106 @@
       note: Invited Paper
     materials:
       publication: https://doi.org/10.1007/s10703-017-0306-7
+
+2017:
+  - title: "Data-Driven Context-Sensitivity for Points-to Analysis"
+    authors:
+      - Sehun Jeong*
+      - Minseok Jeon*
+      - Sungdeok Cha
+      - Hakjoo Oh
+    target:
+      name: "OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"
+      url: https://conf.researchr.org/home/oopsla-2017
+    materials:
+      publication: https://doi.org/10.1145/3133924
+      pdf: /papers/oopsla17-oopsla242.pdf
+      slides: /slides/oopsla17_slides_jeong_jeon.pdf
+      poster: /posters/oopsla17_poster_minseok.pdf
+
+  - title: "Automatically Generating Features for Learning Program Analysis Heuristics for C-like Languages"
+    authors:
+      - Kwonsoo Chae
+      - Hakjoo Oh
+      - Kihong Heo
+      - Hongseok Yang
+    target:
+      name: "OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"
+      url: https://conf.researchr.org/home/oopsla-2017
+    materials:
+      publication: https://doi.org/10.1145/3133925
+      pdf: /papers/oopsla17-oopsla250.pdf
+      slides: /slides/oopsla17_slides_kwonsoo.pdf
+      poster: /posters/oopsla17_poster_kwonsoo.pdf
+
+  - title: Synthesizing Imperative Programs from Examples Guided by Static Analysis
+    authors:
+      - Sunbeom So
+      - Hakjoo Oh
+    target:
+      name: "SAS 2017: Static Analysis Symposium"
+      url: https://conf.researchr.org/home/sas-2017
+    materials:
+      pdf: /papers/sas17-SoOh.pdf
+      artifact: https://github.com/kupl/SimplPublic
+
+  - title: "Sound Non-Statistical Clustering of Static Analysis Alarms"
+    authors:
+      - Woosuk Lee
+      - Wonchan Lee
+      - Dongok Kang
+      - Kihong Heo
+      - Hakjoo Oh
+      - Kwangkeun Yi
+    target:
+      name: "TOPLAS: ACM Transactions on Programming Languages and Systems"
+      url: http://toplas.acm.org/
+    materials:
+      pdf: /papers/toplas17-LeLeKaHeOhYi.pdf
+
+  - title: "End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks"
+    authors:
+      - Min-je Choi
+      - Sehun Jeong
+      - Hakjoo Oh
+      - Jaegul Choo
+    target:
+      name: "IJCAI 2017: International Joint Conference on Artificial Intelligence"
+      url: https://www.ijcai-17.org/
+    materials:
+      pdf: https://arxiv.org/abs/1703.02458
+
+  - title: "VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery"
+    authors:
+      - Seulbae Kim
+      - Seunghoon Woo
+      - Heejo Lee
+      - Hakjoo Oh
+    target:
+      name: "S&P 2017: IEEE Symposium on Security and Privacy"
+      url: https://www.ieee-security.org/TC/SP2017/
+    materials:
+      pdf: /papers/snp17-KiWoLeOh.pdf
+
+  - title: Machine-Learning-Guided Selectively Unsound Static Analysis
+    authors:
+      - Kihong Heo
+      - Hakjoo Oh
+      - Kwangkeun Yi
+    target:
+      name: "ICSE 2017: International Conference on Software Engineering"
+      url: https://icse2017.gatech.edu/
+    materials:
+      pdf: /papers/icse17.pdf
+
+  - title: Selective Conjunction of Context-Sensitivity and Octagon Domain toward Scalable and Precise Global Static Analysis
+    authors:
+      - Kihong Heo
+      - Hakjoo Oh
+      - Kwangkeun Yi
+    target:
+      name: "SP&E: Software-Practice and Experience"
+      url: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X
+      issue: 2017
+    materials:
+      pdf: /papers/spe17-heoohyi.pdf
diff --git a/layouts/partials/publication/materials.html b/layouts/partials/publication/materials.html
@@ -22,6 +22,14 @@
 [{{ partial "hook/link.html" (dict "dest" . "text" "video") }}]
 {{ end }}
 
+{{ with .slides }}
+[{{ partial "hook/link.html" (dict "dest" . "text" "slides") }}]
+{{ end }}
+
+{{ with .poster }}
+[{{ partial "hook/link.html" (dict "dest" . "text" "poster") }}]
+{{ end }}
+
 {{ with .media }}
 {{ $medialen := len . }}
 {{ $scratch := newScratch }}

diff --git a/static/papers/icse17.pdf b/static/papers/icse17.pdf
diff --git a/static/papers/oopsla17-oopsla242.pdf b/static/papers/oopsla17-oopsla242.pdf
diff --git a/static/papers/oopsla17-oopsla250.pdf b/static/papers/oopsla17-oopsla250.pdf
diff --git a/static/papers/sas17-SoOh.pdf b/static/papers/sas17-SoOh.pdf
diff --git a/static/papers/snp17-KiWoLeOh.pdf b/static/papers/snp17-KiWoLeOh.pdf
diff --git a/static/papers/spe17-heoohyi.pdf b/static/papers/spe17-heoohyi.pdf
diff --git a/static/papers/toplas17-LeLeKaHeOhYi.pdf b/static/papers/toplas17-LeLeKaHeOhYi.pdf
diff --git a/static/posters/oopsla17_poster_kwonsoo.pdf b/static/posters/oopsla17_poster_kwonsoo.pdf
diff --git a/static/posters/oopsla17_poster_minseok.pdf b/static/posters/oopsla17_poster_minseok.pdf
diff --git a/static/slides/oopsla17_slides_jeong_jeon.pdf b/static/slides/oopsla17_slides_jeong_jeon.pdf
diff --git a/static/slides/oopsla17_slides_kwonsoo.pdf b/static/slides/oopsla17_slides_kwonsoo.pdf