Doctoral Program, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

• Bug detection of web applications

• Static/dynamic hybrid approch

• JavaScript static analysis

• JavaScript concolic testing

Education

MS in Computer Science, September 2014 - August 2016

School of Computing, KAIST

BS in Computer Science, Feburary 2009 - August 2014

Department of Computer Science, KAIST

Publications

• Sukyoung Ryu, Jihyeok Park, and Joonyoung Park, “Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild,” IEEE Software, Volume 36 Issue 3, May-June 2019.

• Joonyoung Park, Alexander Jordan, and Sukyoung Ryu, “Automatic Modeling of Opaque Code for JavaScript Static Analysis,” Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE), April 2019.

• Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, and Sukyoung Ryu “A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency,” Proceedings of the 2nd International Workshop on Programming Technology for the Future Web (ProWeb), April 2018.

• Joonyoung Park, Kwangwon Sun, and Sukyoung Ryu, “EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States,” Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE), April 2018.

• Sora Bae, Joonyoung Park, and Sukyoung Ryu, “Partition-based Coverage Metrics and Type-guided Search in Concolic Testing for JavaScript Applications,” Proceedings of the 5th Workshop on Formal Methods in Software Engineering (FormaliSE), May 2017.

• Jihyeok Park, Yeonhee Ryou, Joonyoung Park, and Sukyoung Ryu, “Analysis of JavaScript Web Applications Using SAFE 2.0,” Demo Video, Proceedings of the 39th International Conference on Software Engineering (ICSE) Demonstrations track, May 2017.

• Joonyoung Park, Inho Lim, and Sukyoung Ryu, “Battles with False Positives in Static Analysis of JavaScript Web Applications in the Wild,” Proceedings of the 38th International Conference on Software Engineering (ICSE) Software Engineering In Practice (SEIP) track, May 2016.

Contact

Rm. 4410, School of Computing (E3-1)

Korea Advanced Institute of Science and Technology

Guseong-dong, Yuseong-gu

Daejeon 305-701, Korea

Email: gmb55 [at] kaist.ac.kr

Phone: +82-42-350-7838