@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 = {Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume}, editor = {Sebastián Uchitel and Alessandro Orso and Martin P. Robillard}, publisher = {ACM}, isbn = {978-1-5386-1589-8}, } @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 = {ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, publisher = {ACM}, isbn = {978-1-4503-8562-6}, } @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 = {Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018}, editor = {Stefan Marr and Jennifer B. Sartor}, publisher = {ACM}, } @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 = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014}, editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld}, publisher = {ACM}, isbn = {978-1-4503-2772-5}, } @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 = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018}, editor = {Sebastian Erdweg and Bruno C. D. S. Oliveira}, publisher = {ACM}, } @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 = {Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017}, editor = {Karim Ali and Cristina Cifuentes}, publisher = {ACM}, isbn = {978-1-4503-5072-3}, } @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 = {35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020}, publisher = {IEEE}, isbn = {978-1-4503-6768-4}, } @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 Computing Surveys}, 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 = {43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021}, publisher = {IEEE}, isbn = {978-1-6654-1219-3}, } @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 = {43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021}, publisher = {IEEE}, isbn = {978-1-6654-0296-5}, }