PLRG News

Prof. Sukyoung Ryu won International Cooperation Award


Sep 8, 2020

In commemoration of the 49th anniversary of KAIST, Outstanding Faculty Awards and Special Awards were rewarded to faculty members who have excellent academic, educational, and research achievements or have greatly contributed to the institute's development. Prof. Sukyoung Ryu received the International Cooperation Award (selection criteria: a faulty member with excellent performance in international education, research program operation and participation).


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=9341&menu=83

Prof. Sukyoung Ryu was appointed as the general chair of ACM SIGPLAN ICFP 2021


Oct 27, 2020

Prof. Sukyoung Ryu was appointed as the general chair of ACM SIGPLAN International Conference on Functional Programming (ICFP) 2021.

ICFP is one of the top conferences in the field of programming languages ​​with a history of 25 years, and is the CORE A*conference. Prof. Ryu will be in charge of the 26th ICFP conference held in August next year, and the conference will be held either at KAIST or online according to the situation of COVID-19.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=9312&menu=83

Prof. Sukyoung Ryu’s research team won ACM SIGSOFT Distinguished Paper Award in IEEE/ACM ASE 2020


Oct 25, 2020

A research team led by Prof. Sukyoung Ryu will receive ACM SIGSOFT Distinguished Paper Award in IEEE/ACM ASE 2020 (The 35th IEEE/ACM International Conference on Automated Software Engineering), which will be held on September 21 to 25, 2020. The work was done by Dr. Sungho Lee, undergraduate student Hyogun Lee, and Prof. Ryu and it is titled “Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis.” Besides, Dr. Lee was appointed as an assistant professor at Chungnam University from September 2020.

The ASE Society is a flagship conference in the field of software engineering hosted by IEEE/ACM, and is the top conference designated by the Korean Information Science Society.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=9303&menu=83

Dr. Sungho Lee was appointed as an assistant professor at Chungnam National Unversity


Oct 4, 2020

Dr. Sungho Lee was appointed as an assistant professor of the computer science department at Chungnam National University in September 2020. With the research topics related to programming analysis, he received a Ph.D. from Prof. Sukyoung Ryu in 2020 and he’s been working as a visiting faculty researcher at Google.

Dr. Lee had published many papers in top international conferences including ICSE, ASE, ISSTA, and he was awarded the 2020 Best Paper Award in dept. of Computer Science at KAIST, 2018 OOPSLA Distinguished Artifact Evaluation Committee, 2017 NAVER Ph.D. Fellowship Award, as well as four times of Best Teaching Assistant Award.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=9277&menu=83

Jaemin Hong was selected as a recipient of the Kwanjeong Scholarship


Jul 26, 2020

Jaemin Hong, a master's student, was selected as a scholarship recipient of the 2020 Kwanjeong Lee Jong-Hwan Education Foundation scholarship as a graduate student in domestic university. He will receive in total 22 million won.

The Kwanjeong Education Foundation is the largest scholarship foundation in Asia, where Chairman Lee Jong-hwan of Samyoung Chemical Group has been conducting domestic and foreign scholarship projects since 2002 by donating all of its assets. The program aims to support talented Korean students to grow into global figures in their respective fields.

Scholarships for domestic graduate students are decided by their applications and interviews after the recommendation from the school based on their academic ability and research activities.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=9267&menu=83

Prof. Sukyoung Ryu was interviewed by Electronic Times


Aug 11, 2019

Prof. Sukyoung Ryu was interviewed by Electronic Times about new type systems of the Fortress and Scala programming languages and proofs for their mathematical property. The research was done by her research team and Guy L. Steele Jr., who is well-known as a co-inventor of the Java programming language, at Oracle Research in USA.


https://www.etnews.com/20190809000284

Prof. Sukyoung Ryu won the Best Lecture Award


Feb 26, 2019

Prof. Sukyoung Ryu won the Best Lecture Award on February 18 in the commemoration of the 48th anniversary of KAIST.

Prof. Ryu's reward of 5 million won was contributed to the School of Computing Scholarship Fund.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8671&menu=83

Prof. Sukyoung Ryu was interviewed by Electronic Times


Jan 2, 2019

Prof. Sukyoung Ryu was interviewed by Electronic Times about the development of a mathematical model that detects flaws in the operation of the language using Android as the operating system (OS) and identifies security vulnerabilities. The research was done by Sora Bae, Sungho Lee, and Prof. Ryu.


https://www.etnews.com/20190102000169

Prof. Sukyoung Ryu's research team's paper was accepted at ACM/IEEE ICSE 2019


Dec 14, 2018

The paper “Towards Understanding and Reasoning about Android Interoperations” written by Ph.D. candidate Sora Bae, Ph.D. candidate Sungho Lee, and Prof. Sukyoung Ryu was accepted at ACM/IEEE ICSE 2019, one of the most prestigious conferences in software (SW) engineering.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8596&menu=83

Prof. Sukyoung Ryu's research team's paper was accepted at ACM SIGPLAN POPL 2019


Dec 14, 2018

The paper “Polymorphic Symmetric Multiple Dispatch with Variance” written by Master's student Gyunghee Park, undergraduate student Jaemin Hong, Prof. Sukyoung Ryu, and Dr. Guy L. Steele Jr. at Oracle Research was accepted at ACM POPL 2019, the world's leading academic institute in programming languages.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8594&menu=83

Jaemin Hong won the second prize in Student Research Competition at APLAS 2018


Dec 10, 2018

At APLAS (Asian Symposium on Programming Language and Systems) 2018, which was held in Wellington, New Zealand on December 3-5 and was sponsored by KAIST, Jaemin Hong received the second prize for his paper, "Path Dependent Ties with Path-Equality" at the Student Research Competition, which he participated with graduate students. He published the paper at ACM SIGPLAN Symposium on Scala, which was held in St. Louis, U.S. on September 28.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8583&menu=83

Sungho Lee won the Distinguished Artifact Evaluation Committee Member Award at OOPSLA 2018


Dec 10, 2018

Sungho Lee was selected as the best reviewer for the Artifact Evaluation at OOPSLA 2018 (Object-Oriented Programming, Systems, Languages, and Applications), a class-S international conference in Boston, U.S. on November 7-9 and won the Distinguished Artifact Evaluation Committee Member Award.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8582&menu=83

APLAS 2018 was chaired by Prof. Sukyoung Ryu with the support of KAIST


Dec 10, 2018

The 16th APLAS (Asian Symposium on Programming Language and Systems), which KAIST supported as a Gold Sponsor, was held in Wellington, New Zealand, December 3, 2018. Prof. Sukyoung Ryu, the chair of the conference, invited three world-renowned lecturers: Amal Ahmed (USA), Azalea Raad (MPI-SWS, Germany), and Bernard Scholes (University of Sydney, Australia), and conducted various programs including presentations of papers and poster sessions and workshops on December 2-6, 2018.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8584&menu=83

Joonyoung Park was selected for NAVER Ph.D. Fellowship


Dec 3, 2018

Last November, Joonyoung Park was selected for NAVER Ph.D. Fellowship.

NAVER Ph.D. Fellowship program is a program that selects Ph.D. student who submitted the first paper to the top-tier conference/journal of each computing field and pays scholarships. Naver selected 8 students in 2015, 14 in 2016, 11 in 2017, and 10 in 2018, and paid a total of 235 million won to the selected students.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8578&menu=83

Prof. Sukyoung Ryu delivered a keynote speech at an international conference, <Programming> 2018


Apr 16, 2018

Prof. Sukyoung Ryu delivered a keynote speech titled “Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities” at <Programming> 2018. <Programming> 2018 is the International Conference on the Art, Science, and Engineering of Programming, where attendees discuss various theoretical, experimental, and engineering research results on programming. <Programming> 2018 was held in Nice, France on April 9-12, 2018.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=8179&menu=83

Prof. Sukyoung Ryu was interviewed by Electronic Times


Nov 8, 2017

Prof. Sukyoung Ryu was interviewed by Electronic Times about HybriDroid, the world's first developed flaw detection technology for JavaScript used in Android that simultaneously finds errors and security vulnerabilities. The research was done by Sungho Lee and Prof. Ryu at KAIST and Julian Dolby at IBM Research.


https://www.etnews.com/20171108000279

Sungho Lee was selected for NAVER Ph.D. Fellowship


Oct 26, 2017

Last September, Sungho Lee was selected for NAVER Ph.D. Fellowship. He decided to donate a portion of his scholarship to the School of Computing, KAIST.

NAVER Ph.D. Fellowship program is a program that selects Ph.D. student who submitted the first paper to the top-tier conference/journal of each computing field and pays scholarships. Naver selected 8 students in 2015, 14 in 2016, and 11 in 2017, and paid a total of 185 million won to the selected students.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=7951&menu=83

Prof. Sukyoung Ryu's research team's papers were accepted at ACM/IEEE ASE three years in a row


Sep 7, 2017

The paper “All about Activity Injection: Threats, Semantics, and Detection” written by Ph.D. candidate Sungho Lee, Ph.D. candidate Sungjae Hwang, and Prof. Sukyoung Ryu was accepted at ACM/IEEE ASE 2017, which is recognized as the world's best conference in software engineering. The research team published two papers in 2015 and one paper in 2016.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=7843&menu=83

Prof. Sukyoung Ryu won the Best Lecture Award


Feb 16, 2017

Prof. Sukyoung Ryu won the Best Lecture Award on February 16 in the commemoration of the 46th anniversary of KAIST.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=7430&menu=83

Changhee Park was selected for NAVER Ph.D. Fellowship


Jul 19, 2016

Changhee Park was selected for NAVER Ph.D. Fellowship.

NAVER Ph.D. Fellowship program is a program that selects Ph.D. student who submitted the first paper to the top-tier conference/journal of each computing field and pays scholarships. Naver selected 8 students in 2015 and 14 students in 2016.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=7152&menu=83

Prof. Sukyoung Ryu's research team won Best Artifact Award at ECOOP 2015


Jul 14, 2015

The paper "Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity," written by Changhee Park and Prof. Sukyoung Ryu, won the Best Artifact Award at ECOOP (European Conference on Object-Oriented Programming) 2015. ECOOP is a class-S international conference on the field of programming languages.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=6772&menu=83

Prof. Sukyoung Ryu won Google Faculty Research Award


Aug 13, 2013

Prof. Sukyoung Ryu won the Google Faculty Research Award for "SAFE WApp: Scalable Analysis Framework for ECMAScript in Web Applications."


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=5995&menu=83

Prof. Sukyoung Ryu won the Best Lecture Award


Feb 9, 2012

Prof. Sukyoung Ryu won the Best Lecture Award in the commemoration of the 41th anniversary of KAIST.


https://cs.kaist.ac.kr/board/view?bbs_id=news&bbs_sn=5963&menu=83