Professor Moon-Ju Kim of KAIST School of Computing..
The paper, 'Invasive Software Testing: Mutating a Target Program to Diversify Test Exploration for High Test Coverage,' published by Professor Moon-Ju Kim of KAIST School of Computing won the Distinguished Paper Award at IEEE ICST 2018 (International Conference on Software Testing, Verification and Validation, acceptance rate:25％). They suggest Invasive Software Testing which is a new technology that goes beyond the existing SW testing paradigm. Invasive Software Testing extracts a variety of information from a number of variants of the target SW program and effectively detects errors in the field that the conventional SW testing can not analyze. In the paper, they demonstrate experimentally that the SW analysis outcome is significantly improved compare to the latest testing technology through the DeMiner (guiDEed test generation using MutatIoN ExploRation) framework which implements the Invasive Software Testing paradigm. Congraturations！...Read more
Professor Suk-young Ryu gave a keynote speech as a..
Professor Suk-Young Ryu, School of Computing, KAIST, gave a keynote speech on "Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities" as a guest speaker at <Programming> 2018. <Programming> 2018 is the International Conference on the Art, Science, and Engineering of Programming, where you will discuss various theoretical, experimental, and engineering research results on programming. <Programming> 2018 was held in Nice, France from April 9th 12th....Read more
KAIST developed algorithm platform that organizes ..
<From left: Professor Juho Kim (KAIST), Professor Maneesh Agrawalla (Stanford University), Ph.D. candidate Minsuk Chang (KAIST)> Professor Juho Kim and his research team developed algorithm platform for organizing and analyzing various sequential knowledge in cooperation with Professor Nameesh Agrawalla and his research team from Stanford University, the USA, and a research team from EPFL, Switzerland. The article in Korean: http://www.etnews.com/20180409000376 This study will be announced on Aprill 26th at ACM SIGGHI 2018, the most prestigious conference in the field of HCI. Project website: https://recipescape.kixlab.org/...Read more
Wanju Local Food cooperative adapted the agricultu..
The Oliot platform, developed by Professor Daeyoung Kim, School of Computing, KAIST, has been applied to Wanju Local Food cooperative, one of the largest agricultural cooperatives in Korea. The platform is operational since April 5th. The articles in Korean: http://www.etnews.com/20180403000333 http://www.kaist.ac.kr/_prog/_board/?mode=V&no=79062&code=kaist_news&site_dvs_cd=kr&menu_dvs_cd=0601&list_typ=B&skey=&sval=&smonth=&site_dvs=&GotoPage=1...Read more
Dr. Shin Yoo, a faculty member of School of Comput..
Dr. Shin Yoo, a faculty member of School of Computing, KAIST, has been appointed as an editorial board member of Springer’s Empirical Software Engineering journal, starting from February 2018. Springer’s Empirical Software Engineering is an SCIE-indexed journal that specializes on empirical and data-driven software engineering research. ESE is one of the most prestigious software engineering journals: in 2016, ESE had the impact factor of 3.275, and 5-year accumulative impact factor of 3.759. Google Scholar currently ranks ESE at the 12th place among the Software Systems conferences and journals....Read more
Prof. Jinah Park and her research have been select..
Prof. Jinah Park and her research have been selected as the 2017 KAIST Top 10 representative R&D Outcomes The research work of Prof. Jinah Park, a faculty member of School of Computing, KAIST, has been selected as the 2017 KAIST Top 10 representative R&D Outcomes under the topic "Hippocampal Shape modeling based on a Progressive Template Surface Deformation and Its Verification." The purposes of the 2017 KAIST Top 10 representative R&D Outcomes are - To inspire the researchers' motivation toward the research by discovering and celebrating the outstanding achievements of the KAIST R&D - To accumulate the core technical information and the outstanding accomplishments through the continuous publications of the annual reports and videos. - To induce the progress of a performance management system through the systematic performance case management The award will take place during the Research Day event in May 2018. Congratulations...Read more
Ph.D. candidate Hyosoo Kim wins the ＇HumanTech Pap..
KAIST School of Computing Ph.D. candidate wins the bronze prize in the Computer Science & Engineering part of the Samsung Electronics Human Tech papers on February 7th. A research team composed of Ph.D. candidates Hyosoo Kim and Byungil Kim (advisor: Insik Shin) at KAIST and Ph.D. candidates Daehyeok Kim at CMU won the prize by developing touch detection technology using touch sound in the mobile environment. The team was highly acclaimed for their sound-based new hacking techniques and mobile HCI technology. Title - TapSnoop: Leveraging Tap Sound to Infer Tapstrokes on Mobile Touch-screen Devices Author - Hyosoo Kim (KAIST), Daehyeok Kim (CMU) Byungil Cho (KAIST) The Samsung Electronics HumanTech Paper Award was established in 1994 to discover creative and challenging young people who will lead the future science of Korea and to create a social atmosphere that emphasizes technology and revitalizes research atmosphere in the schools. Congratulations！ https://humantech.samsung.com/saitext/board.do...Read more
Regular member of the National Academy Engineering..
Prof. Sue Bok Moon, a faculty member of School of Computing, KAIST, has been appointed as a regular member of the National Academy Engineering of Korea on January 3, 2018. Congratulations！ Article: http://www.etnews.com/20180103000240...Read more
47th School Anniversary Faculty Excellence Reward
In the School of Computing, the following awards were given: International Cooperation Award to Key-Sun Choi Innovation Award to Dong Soo Han and Excellent Lecture Award to In-Young Ko. International Cooperation Award is given to the faculty who has contributed largely to the university’s international cooperation, Innovation Award to the faculty who has contributed to the innovations to industry through technology transfer and commercialization and to the sharing and spreading of research achievements, and Excellent Lecture Award to faculty whose course evaluation results for the last year was best. The award ceremony is held on Jan 12th 2018 at the 47th School Anniversary Event. Congratulations....Read more
Prof. Eunho Yang is awarded the 2018 Songam Future..
Prof. Eunho Yang is awarded the 2018 Songam Future Scholar Research Excellence Award. Songam Future Scholar Research Excellence Award is according to the will of the President Lee of Korea Former Co. given to Assistant Professors in Engineering Schools with less than 5 years of appointment with an excellent research performance in order to encourage their research activity. The Award ceremony is held on Jan 12th 2018 at the 47th School Anniversary Event. Congratulations....Read more
Prof. Jinah Park received Appreciation Plague from..
Prof. Jinah Park received Appreciation Plague from the Dean of College of Engineering for her devotion to KAIST Breakthroughs, a biannual research newsletter of the College of Engineering....Read more
Professor Insik Shin develops technology to half t..
신인식 교수, 스마트폰 전력소모를 절반으로 줄이는 기술 개발 An application that can reduce the power consumption of smartphone web browsers down to 40％ of the original has been developed. It is expected to boost the battery time by reducing web browsing power consumption, which is significant part of smartphone power consumption. Prof. Shin’s team spoke on etnews of Jan 8th that they have developed a low power mobile browsing technology by optimizing the frame rates of web pages. “Low power mobile browsing allows us to increase smartphone power performance with software only. It will help the smartphone manufacturers and web browser developers who are trying to optimize power consumption,” said Prof. Shin. Etnews article: http://www.etnews.com/20180105000383...Read more
ICSE 2018 Paper acceptance
KAIST team has newly suggested the unit testing of C programs that can find errors automatically while minimizing false alarms. Prof. Moonzoo Kim and Dr. Yoon Ho Kim wrote a paper "Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts" in collaboration with Prof. Yoon Ja Choi at Kyung-Buk University. Their paper has been accepted to ACM/IEEE ICSE (Intl. Conf. on Software Engineering) which is one of the most prestigious conferences in the Software Engineering field. Congratulations！...Read more
The 9th Asian Conference on Machine Learning (ACML..
The 9th Asian Conference on Machine Learning, where Prof. KeeEung Kim served as the General Chair, took place in Yonsei University from November 15th to 17th. In the conference experts and researchers shared results and ideas on machine learning, and discussed proposals centered around innovative machine learning ideas and paradigms. Since 2009, ACML has been a gathering of new ideas and technology about machine learning, which has taken important roles in various fields in the industry. ACML has started in Asian region and has been held in New Zealand, Hong Kong, Australia, Singapore, Taiwan, Japan and China. The conference has helped the scientists gain a broader understanding on machine learning and get insights for applying them in the industry....Read more
Asiacrypt 2020 to be held in Korea(Daejon)
During his visit in Asiacrypt 2017 that was held in Hong Kong from December 3rd to 7th, Prof. Kwangjo Kim got the approval to hold the Asiacrypt 2020 in Korea after giving his proposal in the Coordination Committee meeting held in December 4th. Asiacrypt Coordination Committee decides the host country of Asiacrypt that takes place every December. Currently there are up to 3 representatives from each of the 13 countries, including Korea, Japan, China, Taiwan, Hong Kong, Australia, New Zealand, Malaysia, Singapore, Vietnam, UAE and Pakistan. The representatives from Pakistan could not attend this day’s meeting. Korea, Singapore and UAE gave their hosting proposal, and as the result of the voting procdure, Korea got 6 votes and UAE and Singapore got 3 votes each, which didn’t count as majority for Korea. In an additional meeting without the three running countries, the committee chair, Prof. Lai of Shanhai Jiao Tong University, chose Korea as the hosting country. The hosting of Asiacrypt2020 in Korea will be finalized once the IACR Board confirms during Eurocrypt held in Israel next April. Thus Asiacyrpt 2020 is to be held in Korea (Daejeon). The conference is expected to be attended by renowned cryptographers, and that research in cryptography in Korea will mature once more. Prof. Kwangjo Kim is currently IACR Fellow and will serve as the committee chair of Asiacrypt 2020....Read more
Prof. Min H. Kim’s research, compact hyperspectral..
Prof. Min H. Kim’s research project, compact hyperspectral imaging, is in press of EurekAlert Science News and Photonics Media. The traditional hyperspectral imaging technology has wide reach and is being applied in fields such as military combat, astronomy, agriculture, biomedical imaging, and geoscience. Scientists, for instance, rely on hyperspectral imaging to observe and analyze materials for mining and geology, or for various applications in the medical field. However, hyperspectral imaging systems are expensive—ranging from ＄25,000 to ＄100,000—and require complex specialized hardware to operate. Prof. Min H. Kim’s team of computer scientists from KAIST, South Korea, and Universidad de Zaragoza, Spain, has devised a way for low-cost accurate hyperspectral imaging, ridding of expensive equipment and complex coding. This novel, compact single-shot hyperspectral imaging method captures images using a conventional DSLR camera equipped with just an ordinary refractive prism placed in front of the lens. The new method was tested on a variety of natural scenes, and the results, according to the researchers, compared well with current state-of-the-art hyperspectral imaging systems, achieving quality images without compromising accuracy. “These hyperspectral imaging systems are generally built for specific purposes such as aerial remote sensing, or military applications, and as such they are not affordable nor practical for ordinary users,” said Min H. Kim, associate professor of computer science at KAIST and a lead author of the study. “Our system requires no advanced skills, and we are able to obtain hyperspectral images at virtually full resolution while making hyperspectral imaging practical.” Prof. Kim’s collaborators include Diego Gutierrez, associate professor at Universidad de Zaragoza; Seung-Hwan Baek, computer science PhD student at KAIST; and Incheol Kim, MS student at KAIST in Min H. Kim’s lab. The team presented their new method at SIGGRAPH Asia 2017 and also published it in the top computer graphics journal, ACM Transactions on Graphics (TOG). This annual conference and exhibition showcases the world’s leading professionals, academics and creative minds at the forefront of computer graphics and interactive techniques. EurekAlert Science News: https://www.eurekalert.org/pub_releases/2017-11/afcm-chi120417.php Photonics Media: https://www.photonics.com/Article.aspx?AID=62875 Technology Breaking News: https://www.technologybreakingnews.com/2017/12/compact-hyperspectral-imaging-at-low-cost/ R&D Magazine: https://www.rdmag.com/news/2017/12/compact-hyperspectral-imaging-low-cost...Read more
Insik Shin, Jaehyuk Huh and Min H. Kim won MSRA Co..
Professors, Insik Shin, Jaehyuk Huh and Min H. Kim, won MSRA Collaborative Research 2018 Grant Awards Microsoft Research Asia (MSRA) Collaborative Research Program is a grant program for faculty members in Asia, working together with MSRA researchers on mutually interesting topics. MSRA aspires to foster talents and establish Microsoft as a valuable research and technology partner for higher education in Asia. In addition, KAIST is the university that won the largest number of grant awards, along with Tsinghua, HKUST, and USTC. The selected research projects are: TouchSurface: Supporting Touch User Interface with Sound on Any Surface Insik Shin, KAIST Securing Key-Value Stores with Hardware Trusted Execution Environments Jaehyuk Huh, KAIST Capturing Intrinsic Material Appearance via Spectro-Polarimetric 3D Imaging Min H. Kim, KAIST Since the announcement of Call for Proposals in mid-July, there has been a large number of submissions. MSRA Collaborative Research Program Committee carefully reviewed them based on the state-of-the-art and common research interests. Now MSRA announces 62 awards. The awardees are from 35 universities and institutes in China mainland, Hong Kong, Taiwan, Japan, Korea and Singapore. We are pleased to announce that three professors of KAIST School of Computing, Insik Shin, Jaehyuk Huh and Min H. Kim, won MSRA Collaborative Research 2018 Grant Awards. Reference: http://www.microsoft.com/en-us/research/lab/microsoft-research-asia/articles/msra-collaborative-research-2018-award-announcement/...Read more
KAIST School of Computing hosts MDM 2017
From May 29 to June 1, Professor Junehwa Song and Professor Wang-Chien Lee of Pennsylvania State University co-chaired the IEEE International Conference on Mobile Data Management (MDM), hosted by KAIST. Celebrating its 18th year, MDM is an academic conference that focuses on data management in mobile, ubiquitous and pervasive environment. MDM deals with topics addressed by both academia and industry such as IoT, autonomous vehicles, crowdsourcing and mobile sensing. A total of 50 papers were presented by 105 researchers from 13 countries. In addition to domestic and international researchers, companies such as Google, IBM, and Delta Electronics participated in discussions about the potentials of mobile data in the future. The conference was held with the support of IEEE, KAIST School of Computing, IEEE Technical Committee on Data Engineering(TCDE), University of Pittsburgh, Daejeon International Marketing Enterprise, Software Research Center of Chungnam National University and Daejeon Metropolitan City....Read more
KAIST School of Computing selected in the Next Gen..
On September 19th, all three projects proposed by KAIST Computer School of Computing were accepted in the Next Generation Information Computing Technology Development Project, which was announced by the Ministry of Science and ICT and National Research Foundation of Korea. The project’s mission is to "support development of basic SW technology that differentiates itself from existing R&D in IT, in order to secure long-term national competitiveness" The detailed projects assigned to our department are as follows. - SuggestBot: Context-based smart interaction Research Goal: Development of software technology including big data of interaction, engine for situation inference and action suggestion, wearable UI and computing subsystem to realize in-situ, intelligent, and in-time smart interaction in wearable computing environment. Project manager: Geehyuk Lee Participants from School of Computing: Juho Kim, Sung Hyon Myaeng, Alice Oh, Junehwa Song Participants from other departments: Uichin Lee -Development of reliable intelligent CPS complex system and on-the-fly verification technology Research Goal: Development of software engineering technology for reliable and safe software development in Cyber-Physical System (CPS) environments such as Vehicle to Everything (V2X) and Smart Factory Project manager: In-Young Ko Participants from School of Computing: DooHwan Bae, Sungwon Kang, Junehwa Song, Jongmoon Baik Participants from other institutions: Jang Ui Hong(Chungbuk Univ.), Junbeom Yoo(Konkuk Univ.), Seung-Woo Kang(KoreaTech) -Multilanguage Verification and Debugging of Full Stack SW through Intelligent Automation Project manager: Moonzoo Kim Participants from School of Computing: Sukyoung Ryu, Shin Yoo Participants from other institutions: Yunja Choi(Kyungpook Nat. Univ.), Kyungmin Bae(POSTECH), Shin Hong(Handong Univ.) The project runs from September 1, 2017 to December 31, 2020 (3 years and 4 months), with funding total of 9.53 billion won....Read more
Prof. Sung-Ju Lee＇s SCAN and Prof. Alice Oh＇s Elip..
Prof. Sung-Ju Lee's SCAN and Prof. Alice Oh's Eliph system were selected to be presented in KAIST Breakthroughs. Prof. Sung-Ju Lee's SCAN system (http://breakthroughs.kaist.ac.kr/?post_no=913) Prof. Alice Oh's Eliph system (http://breakthroughs.kaist.ac.kr/?post_no=908) Congratulations on both teams！...Read more
Prof. Hongseok Yang presented a keynote at QONFEST..
KAIST SoC Prof. Hongseok Yang presented a keynote at QONFEST’17 as a joint invited speaker for CONCUR, QUEST, and FORMATS. Prof. Hongseok Yang at the KAIST School of Computing presented a keynote talk on probabilistic programming at QONFEST’17, as a joint invited speaker for CONCUR, QUEST, and FORMATS. QONFEST’17 is the umbrella event of the four major international conferences CONCUR, QEST, FORMATS, and EPEW, whose topics jointly cover theory, formal modeling, verification, performance evaluation and engineering of concurrent, timed and other systems. QONFEST '17 was held in Berlin, Germany from September 4, 2017, until September 9, 2017....Read more
App that adjusts smartphone notifications accordin..
Pictured: KAIST personnel involved in the SCAN technology research effort. From the left, KAIST SoC Professors Sung-Ju Lee, Dongman Lee, and Juho Kim, Ph.D. student Cheonjong Park, and Samsung Electronics SW Center researcher Junsung Lim Our very own School of Computing Professors Sung-Ju Lee and Dongman Lee, with their respective research teams, developed technology to automatically detect the current user’s situation and adjust smartphone notification settings accordingly. The technology, which they call SCAN (Social Context-Aware smartphone Notification system, or Freedom from Notifications), was featured in an Aug. 7 iPnomics article. http://www.ipnomics.co.kr/?p=63868...Read more
KAIST SoC Associate Prof. Jinah Park Presents the ..
KAIST School of Computing Associate Professor Jinah Park presented the keynote at the 21st Medical Image Understanding and Analysis Conference (MIUA 2017) last July 11 through 13, held at John McIntyre Centre, Pollock Halls, Edinburgh, UK. The presentation was on “model-based approach to 3D shape recovery and analysis.” MIUA 2017 is a medical image analysis forum for experts in the field held every year in the UK, boasting attendees from various European countries as well as the US, Australia, and Asia. This year, of the 150 organizations attending the conference, 46 were not from the UK, and out of the 105 papers and 22 clinical abstracts submitted, 82 were from overseas. KAIST SoC Prof. Jinah Park was invited as a keynote presenter alongside Prof. Ingela Nyström (Uppsala University) and Prof. Daniel Rueckert (Imperial College London). The conference also invited Sir Michael Brady, a Professor at the University of Oxford, as the Honorary Guest Speaker. Prof. Jinah Park’s lecture was on her 3 dimensional modeling technique for extracting clinical understanding from clinical imaging data, a subject she has worked on for two decades....Read more
Best Paper in Robotic Planning at the Internationa..
KAIST School of Computing Ph.D. graduate Junghwan Lee, and M.S. student Heechan Shin (advisor: Prof. Sungeui Yoon) won the Best Paper in Robotic Planning award at the ICAR 2017, held last July 10 through 12 at Hong Kong. The award recognized their research on data-driven kinodynamic RRT. This research was on a method for constructing a database of known possible states and inputs of a kidonynamic robot’s movements for future reference, such that robots can simply search the database. By removing the need to calculate the inputs in real time, the research greatly reduces the computational load of robotic movement. Lee has a history of outstanding academic achievement, having published multiple papers at various internationally renowned journals and conferences during the course of his Ph.D. years, including the IEEE Transaction on Robotics (TRO), International Conference on Robotics and Automation (ICRA), and the International Conference on Intelligent Robotics and Systems (IROS). Advisor: Prof. Sungeui Yoon, 1 st Author: Junghwan Lee, 2 nd Author: Heechan Shin IICAR 2017 Website: http://www.ee.cuhk.edu.hk/~qhmeng/icar2017/index.htm We offer our most sincere congratulations on their success....Read more
KAIST SoC Prof. Meeyoung Cha Invited as Keynote Pr..
KAIST School of Computing Professor Meeyoung Cha presented the keynote for the IEEE/ACM International Conference on ASONAM (Advances in Social Networks Analysis and Mining) with a talk on “The Propagation of Rumors and Fake News”. The conference, held this Aug 1 through 3 at Sydney, Australia, awarded Prof. Cha a plaque of appreciation for her services. The keynote presented an AI based method for detecting fake news online, and the validation of the theory using sociology. This research pointed out the problem that social media, being devoid of any fact checking stage, might propagate false information as if it was true, especially in a society where phones and social media enable a convenient and habitual consumption of information. The research team examined this social phenomenon scientifically, thus proposing a big data and AI algorithm based unsupervised method for online information credibility assessment. The research results were published on various renowned conferences and journals, including ICDM, IJCAI, and PLoS One....Read more
SoC Appoints Professors Hongseok Yang, Meeyoung Ch..
※ Pictured, from left to right: Professors Hongseok Yang, Meeyoung Cha, and Sooel Son We at the School of Computing welcome the appointment of Professors Hongseok Yang, Meeyoung Cha, and Sooel Son. □ Prof. Hongseok Yang was appointed a professor at the SoC as of July 24 His areas of interest include programming languages and machine learning A more detailed introduction is available on his page https://cs.kaist.ac.kr/people/view?idx=552&kind=faculty&menu=160 □ Prof. Meeyoung Cha was appointed a professor at the SoC as of Aug. 1 Her areas of interest include network science, computational social science, and statistical inference A more detailed introduction is available on her page https://cs.kaist.ac.kr/people/view?idx=418&kind=faculty&menu=160 □ Prof. Sooel Son was appointed a professor at the SoC as of Aug. 1 His areas of interest include web security & privacy, and web authentication A more detailed introduction is available on his page https://cs.kaist.ac.kr/people/view?idx=553&kind=faculty&menu=160 We extend our most sincere congratulations on their appointment....Read more
Mobile smart device platform for app functionality..
Linked are articles on School of Computing Professor Insik Shin’s lab and their development oㄹ mobile platform technology for sharing app functionalities on a smart device. The research paper was also published on ACM MobiSys. Articles in Korean. Segye Daily, 2017 July 28: http://www.segye.com/newsView/20170726003462 Sedaily, 2017 July 26: http://www.sedaily.com/NewsView/1OIMI5D8UD Herald Business, 2017 July 26: http://biz.heraldcorp.com/view.php?ud=201707260002...Read more
SoC Students Win ACM GECCO Humies Silver Award
A KAIST School of Computing research team led by Professor Shin Yoo won the 2017 Human Competitiveness Award (Humies) Silver Award at Genetic and Evolutionary Computation Conference (GECCO), a conference held by ACM SIGEVO. The event recognizes human parity achievements in research by evolutionary computation. Prof. Yoo’s research contribution involved machine learning based defect location technology (technology for automatically finding defective code found during software testing), which is on parity with existing methods researched by man, and also proved via machine learning that a more accurate method does not exist. Prof. Yoo provided the core elements of the theoretical proof, as well as led an international research team composed of researchers from China’s Wuhan University, Australia’s Swinburne University of Technology, and Briton’s University College London, and then submitted the paper to ACM Transactions on Software Engineering and Methodology in the Humies track. Fourteen teams competed in this year’s Humies track, out of which 9 passed the final selection from a panel of judges. The gold award went to a University of Sidney research team for using genetic algorithms for explaining the causal model of recent quantum entanglement research results. The bronze went to two teams, for a technology to optimize a structure’s truss arrangement, and a technology to optimize A/B testing on websites to maximize customer loyalty. ACM GECCO is a large scale conference with a proud 20 year history in the field of genetic and evolutionary computation research. Its 13 tracks cover various topics, including genetic and evolutionary computation, artificial life, artificial immune systems among others, and welcoms topics on both theory and application. This Humies Award was the 14th such award, created by ex-Stanford Professor John Koza, who greatly contributed to the research of evolutionary computation. Entries must prove via research papers that their evolutionary computation technique shows human parity in their performance in a specific field. Prof. Yoo is a world renown expert in the field of search based software engineering, which uses evolutionary computation techniques to solve software engineering problems....Read more