publications: - title: "Analysis of JavaScript web applications using SAFE 2.0" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Yeonhee Ryou" link: "https://researchr.org/alias/yeonhee-ryou" - name: "Joonyoung Park" link: "https://researchr.org/alias/joonyoung-park" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2017" doi: "http://dl.acm.org/citation.cfm?id=3098364" links: doi: "http://dl.acm.org/citation.cfm?id=3098364" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ParkRPR17" researchr: "https://researchr.org/publication/ParkRPR17" cites: 0 citedby: 0 pages: "59-62" booktitle: "ICSE" kind: "inproceedings" key: "ParkRPR17" - title: "Accelerating JavaScript static analysis via dynamic shortcuts" author: - name: "Joonyoung Park" link: "https://researchr.org/alias/joonyoung-park" - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Dongjun Youn" link: "https://researchr.org/alias/dongjun-youn" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2021" doi: "https://doi.org/10.1145/3468264.3468556" links: doi: "https://doi.org/10.1145/3468264.3468556" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/ParkPYR21" researchr: "https://researchr.org/publication/ParkPYR21" cites: 0 citedby: 0 pages: "1129-1140" booktitle: "FSE" kind: "inproceedings" key: "ParkPYR21" - title: "A framework for dynamic inter-device task dispatch with eventual consistency" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Joonyoung Park" link: "https://researchr.org/alias/joonyoung-park" - name: "Yoonkyong Lee" link: "https://researchr.org/alias/yoonkyong-lee" - name: "Chul-Joo Kim" link: "https://researchr.org/alias/chul-joo-kim" - name: "Byoungoh Kim" link: "https://researchr.org/alias/byoungoh-kim" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2018" doi: "http://doi.acm.org/10.1145/3191697.3191732" links: doi: "http://doi.acm.org/10.1145/3191697.3191732" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/programming/ParkPLKKR18" researchr: "https://researchr.org/publication/ParkPLKKR18" cites: 0 citedby: 0 pages: "63-68" booktitle: "Programming" kind: "inproceedings" key: "ParkPLKKR18" - title: "JavaScript API misuse detection by using typescript" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" year: "2014" doi: "http://doi.acm.org/10.1145/2584469.2584472" links: doi: "http://doi.acm.org/10.1145/2584469.2584472" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aosd/Park14" researchr: "https://researchr.org/publication/Park14-6" cites: 0 citedby: 0 pages: "11-12" booktitle: "AOSD" kind: "inproceedings" key: "Park14-6" - title: "Path dependent types with path-equality" author: - name: "Jaemin Hong" link: "https://researchr.org/alias/jaemin-hong" - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2018" doi: "https://doi.org/10.1145/3241653.3241657" links: doi: "https://doi.org/10.1145/3241653.3241657" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scala/HongPR18" researchr: "https://researchr.org/publication/HongPR18" cites: 0 citedby: 0 pages: "35-39" booktitle: "SCALA" kind: "inproceedings" key: "HongPR18" - title: "Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Xavier Rival" link: "https://researchr.org/alias/xavier-rival" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2017" doi: "http://doi.acm.org/10.1145/3088515.3088516" links: doi: "http://doi.acm.org/10.1145/3088515.3088516" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/ParkRR17" researchr: "https://researchr.org/publication/ParkRR17" cites: 0 citedby: 0 pages: "1-6" booktitle: "PLDI" kind: "inproceedings" key: "ParkRR17" - title: "Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild" author: - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Joonyoung Park" link: "https://researchr.org/alias/joonyoung-park" year: "2019" doi: "https://doi.org/10.1109/MS.2018.110113408" links: doi: "https://doi.org/10.1109/MS.2018.110113408" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/software/RyuPP19" researchr: "https://researchr.org/publication/RyuPP19" cites: 0 citedby: 0 journal: "IEEE Software" volume: "36" number: "3" pages: "74-82" kind: "article" key: "RyuPP19" - title: "JISET: JavaScript IR-based Semantics Extraction Toolchain" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Jihee Park" link: "https://researchr.org/alias/jihee-park" - name: "Seungmin An" link: "https://researchr.org/alias/seungmin-an" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2020" doi: "https://ieeexplore.ieee.org/document/9286074" links: doi: "https://ieeexplore.ieee.org/document/9286074" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/ParkPAR20" researchr: "https://researchr.org/publication/ParkPAR20" cites: 0 citedby: 0 pages: "647-658" booktitle: "ASE" kind: "inproceedings" key: "ParkPAR20" - title: "A Survey of Parametric Static Analysis" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "HongKi Lee" link: "https://researchr.org/alias/hongki-lee" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2022" doi: "https://doi.org/10.1145/3464457" links: doi: "https://doi.org/10.1145/3464457" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/csur/ParkLR22" researchr: "https://researchr.org/publication/ParkLR22" cites: 0 citedby: 0 journal: "ACM Comput. Surv." volume: "54" number: "7" kind: "article" key: "ParkLR22" - title: "JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Seungmin An" link: "https://researchr.org/alias/seungmin-an" - name: "Dongjun Youn" link: "https://researchr.org/alias/dongjun-youn" - name: "Gyeongwon Kim" link: "https://researchr.org/alias/gyeongwon-kim" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2021" doi: "https://doi.org/10.1109/ICSE-Companion52605.2021.00065" links: doi: "https://doi.org/10.1109/ICSE-Companion52605.2021.00065" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ParkAYKR21a" researchr: "https://researchr.org/publication/ParkAYKR21a" cites: 0 citedby: 0 pages: "156-157" booktitle: "ICSE" kind: "inproceedings" key: "ParkAYKR21a" - title: "JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification" author: - name: "Jihyeok Park" link: "https://park.jihyeok.site" - name: "Seungmin An" link: "https://researchr.org/alias/seungmin-an" - name: "Dongjun Youn" link: "https://researchr.org/alias/dongjun-youn" - name: "Gyeongwon Kim" link: "https://researchr.org/alias/gyeongwon-kim" - name: "Sukyoung Ryu" link: "https://researchr.org/alias/sukyoung-ryu" year: "2021" doi: "https://doi.org/10.1109/ICSE43902.2021.00015" links: doi: "https://doi.org/10.1109/ICSE43902.2021.00015" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ParkAYKR21" researchr: "https://researchr.org/publication/ParkAYKR21" cites: 0 citedby: 0 pages: "13-24" booktitle: "ICSE" kind: "inproceedings" key: "ParkAYKR21"