@inproceedings{ParkRPR17, title = {Analysis of JavaScript web applications using SAFE 2.0}, author = {Jihyeok Park and Yeonhee Ryou and Joonyoung Park and Sukyoung Ryu}, year = {2017}, url = {http://dl.acm.org/citation.cfm?id=3098364}, researchr = {https://researchr.org/publication/ParkRPR17}, cites = {0}, citedby = {0}, pages = {59-62}, booktitle = {ICSE}, } @inproceedings{ParkPYR21, title = {Accelerating JavaScript static analysis via dynamic shortcuts}, author = {Joonyoung Park and Jihyeok Park and Dongjun Youn and Sukyoung Ryu}, year = {2021}, doi = {10.1145/3468264.3468556}, url = {https://doi.org/10.1145/3468264.3468556}, researchr = {https://researchr.org/publication/ParkPYR21}, cites = {0}, citedby = {0}, pages = {1129-1140}, booktitle = {FSE}, } @inproceedings{ParkPLKKR18, title = {A framework for dynamic inter-device task dispatch with eventual consistency}, author = {Jihyeok Park and Joonyoung Park and Yoonkyong Lee and Chul-Joo Kim and Byoungoh Kim and Sukyoung Ryu}, year = {2018}, doi = {10.1145/3191697.3191732}, url = {http://doi.acm.org/10.1145/3191697.3191732}, researchr = {https://researchr.org/publication/ParkPLKKR18}, cites = {0}, citedby = {0}, pages = {63-68}, booktitle = {Programming}, } @inproceedings{Park14-6, title = {JavaScript API misuse detection by using typescript}, author = {Jihyeok Park}, year = {2014}, doi = {10.1145/2584469.2584472}, url = {http://doi.acm.org/10.1145/2584469.2584472}, researchr = {https://researchr.org/publication/Park14-6}, cites = {0}, citedby = {0}, pages = {11-12}, booktitle = {AOSD}, } @inproceedings{HongPR18, title = {Path dependent types with path-equality}, author = {Jaemin Hong and Jihyeok Park and Sukyoung Ryu}, year = {2018}, doi = {10.1145/3241653.3241657}, url = {https://doi.org/10.1145/3241653.3241657}, researchr = {https://researchr.org/publication/HongPR18}, cites = {0}, citedby = {0}, pages = {35-39}, booktitle = {SCALA}, } @inproceedings{ParkRR17, title = {Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction}, author = {Jihyeok Park and Xavier Rival and Sukyoung Ryu}, year = {2017}, doi = {10.1145/3088515.3088516}, url = {http://doi.acm.org/10.1145/3088515.3088516}, researchr = {https://researchr.org/publication/ParkRR17}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {PLDI}, } @article{RyuPP19, title = {Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild}, author = {Sukyoung Ryu and Jihyeok Park and Joonyoung Park}, year = {2019}, doi = {10.1109/MS.2018.110113408}, url = {https://doi.org/10.1109/MS.2018.110113408}, researchr = {https://researchr.org/publication/RyuPP19}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {36}, number = {3}, pages = {74-82}, } @inproceedings{ParkPAR20, title = {JISET: JavaScript IR-based Semantics Extraction Toolchain}, author = {Jihyeok Park and Jihee Park and Seungmin An and Sukyoung Ryu}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9286074}, researchr = {https://researchr.org/publication/ParkPAR20}, cites = {0}, citedby = {0}, pages = {647-658}, booktitle = {ASE}, } @article{ParkLR22, title = {A Survey of Parametric Static Analysis}, author = {Jihyeok Park and HongKi Lee and Sukyoung Ryu}, year = {2022}, doi = {10.1145/3464457}, url = {https://doi.org/10.1145/3464457}, researchr = {https://researchr.org/publication/ParkLR22}, cites = {0}, citedby = {0}, journal = {ACM Comput. Surv.}, volume = {54}, number = {7}, } @inproceedings{ParkAYKR21a, title = {JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification}, author = {Jihyeok Park and Seungmin An and Dongjun Youn and Gyeongwon Kim and Sukyoung Ryu}, year = {2021}, doi = {10.1109/ICSE-Companion52605.2021.00065}, url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00065}, researchr = {https://researchr.org/publication/ParkAYKR21a}, cites = {0}, citedby = {0}, pages = {156-157}, booktitle = {ICSE}, } @inproceedings{ParkAYKR21, title = {JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification}, author = {Jihyeok Park and Seungmin An and Dongjun Youn and Gyeongwon Kim and Sukyoung Ryu}, year = {2021}, doi = {10.1109/ICSE43902.2021.00015}, url = {https://doi.org/10.1109/ICSE43902.2021.00015}, researchr = {https://researchr.org/publication/ParkAYKR21}, cites = {0}, citedby = {0}, pages = {13-24}, booktitle = {ICSE}, }