- About
- Academics
-
Undergraduate Programs
- Civil and Environmental Engineering
- Architecture and Architectural Engineering
- Mechanical Engineering
- Industrial Engineering
- Energy Resources Engineering
- Nuclear Engineering
- Materials Science and Engineering
- Electrical and Computer Engineering
- Naval Architecture and Ocean Engineering
- Computer Science and Engineering
- Aerospace Engineering
- Chemical and Biological Engineering
-
Graduate Programs
- Civil and Environmental Engineering
- Architecture and Architectural Engineering
- Mechanical Engineering
- Industrial Engineering
- Energy Systems Engineering
- Materials Science and Engineering
- Electrical and Computer Engineering
- Naval Architecture and Ocean Engineering
- Computer Science and Engineering
- Chemical and Biological Engineering
- Aerospace Engineering
- Interdisciplinary Program in Technology, Management, Economics and Policy
- Interdisciplinary Program in Urban Design
- Interdisciplinary Program in Bioengineering
- Interdisciplinary Program in Artificial Intelligence
- Interdisciplinary Program in Intelligent Space and Aerospace Systems
- Chemical Convergence for Energy and Environment Major
- Multiscale Mechanics Design Major
- Hybrid Materials Major
- Double Major Program
- Open Programs
-
Undergraduate Programs
- Research
- Campus Life
- Communication
- Prospective Students
- International Office
SNU Professor Kwangkeun Yi research team adopted software error detecting Inferbo technology into Facebook Research
-
Uploaded by
관리자
-
Upload Date
2017.05.22
-
Views
687
SNU Professor Kwangkeun Yi research team adopted software error detecting Inferbo technology into Facebook Research
- Research team visited to Facebook headquarter for the research
- Received world’s attention by covering Facebook Research Homepage
▲ SNU Department of Computer Science and Engineering Professor Kwangkeun Yi
- Received world’s attention by covering Facebook Research Homepage
▲ SNU Department of Computer Science and Engineering Professor Kwangkeun Yi
A new technology developed by a domestic research team which detects software error was adapted to Facebook.
SNU College of Engineering (Dean Lee Kun-woo) stated on 14th that Department of Computer Science and Engineering Professor Kwangkeun Yi’s research team developed Inferbo which detects software error and it was adapted to Facebook Research.
Inferbo detects software array access error fast and accurately in modular analysis of Facebook.
Meantime, modular analysis of Facebook was individual analysis technology which analyzes each part and combines to make the result. This is essential in the big software environment where many developers have to quickly develop their responsible parts. Previously, individual analysis technology was used in checking relatively simple properties. Now, this can be used in more complex properties such as 0testing array access error through Inferbo.
Inferbo’s source code is open to public through GitHub; any developers can use this code including those of Facebook. We expect new chapter in the area of software static analysis.
Meanwhile, this research was processed through Facebook visiting research of Professor Yi’s research team in last November and December. Ph.D. candidate Kihong Heo and Sungkeun Cho participated.