제111호(2017.02.22)
 지난호 보기    
SNUNOW 174호 (2020.12.16) SNUNOW 173호 (2020.12.02) SNUNOW 172호 (2020.11.18) SNUNOW 171호 (2020.11.04) SNUNOW 170호 (2020.10.21) SNUNOW 169호 (2020.10.07) SNUNOW 168호 (2020.09.16) SNUNOW 167호 (2020.09.02) SNUNOW 166호 (2020.08.05) SNUNOW 165호 (2020.07.08) SNUNOW 164호 (2020.06.17) SNUNOW 163호 (2020.06.03) SNUNOW 162호 (2020.05.20) SNUNOW 161호 (2020.05.13) SNUNOW 160호 (2020.04.29) SNUNOW 159호 (2020.04.08) SNUNOW 158호 (2020.03.25) SNUNOW 157호 (2020.03.04) SNUNOW 156호 (2020.02.19) SNUNOW 155호 (2020.02.05) SNUNOW 154호 (2020.01.29) SNUNOW 153호 (2019.12.18) SNUNOW 152호 (2019.12.04) SNUNOW 151호 (2019.11.20) SNUNOW 150호 (2019.11.06) SNUNOW 149호 (2019.10.23) SNUNOW 148호 (2019.10.02) SNUNOW 147호 (2019.09.18) SNUNOW 146호 (2019.09.04) SNUNOW 145호 (2019.08.21) SNUNOW 144호 (2019.08.07) SNUNOW 143호 (2019.07.17) SNUNOW 142호 (2019.07.10) SNUNOW 141호 (2019.06.26) SNUNOW 140호 (2019.06.12) SNUNOW 139호 (2019.05.29) SNUNOW 138호 (2019.05.15) SNUNOW 137호 (2019.05.01) SNUNOW 136호 (2019.04.17) SNUNOW 135호 (2019.04.01) SNUNOW 134호 (2019.02.28) SNUNOW 133호 (2019.01.30) SNUNOW 132호 (2018.12.27) SNUNOW 131호 (2018.11.29) SNUNOW 130호 (2018.10.30) SNUNOW 129호 (2018.08.30) SNUNOW 128호 (2018.07.30) SNUNOW 127호 (2018.06.29) SNUNOW 126호 (2018.05.31) SNUNOW 125호 (2018.04.30) SNUNOW 124호 (2018.03.30) SNUNOW 123호 (2018.02.28) SNUNOW 122호 (2018.01.31) SNUNOW 121호 (2017.12.29) SNUNOW 120호 (2017.11.29) SNUNOW 119호 (2017.10.30) SNUNOW 118호 (2017.09.27) SNUNOW 117호 (2017.08.31) SNUNOW 116호 (2017.07.28) SNUNOW 115호 (2017.06.30) SNUNOW 114호 (2017.05.31) SNUNOW 113호 (2017.04.28) SNUNOW 112호 (2017.03.29) SNUNOW 111호 (2017.02.22) SNUNOW 110호 이전

■ 연구성과

컴퓨터공학부 이광근 교수팀, 오류 검출 시스템 '페북'서 쓴다
2017.02.22

이광근 서울대 교수(맨 왼쪽)와 페이스북 직원들

 

 

 

국내 연구진이 개발한 소프트웨어 기술이 페이스북에 도입됐다.

 

이광근 서울대 컴퓨터공학부 교수 연구진은 소프트웨어 오류를 검출하는 '인페르보(Inferbo)'가 페이스북에 도입됐다고 14일 밝혔다.

 

페이스북을 구성하는 코드는 수십억 라인이 될 정도로 방대하다. 페이스북 엔지니어들은 코딩을 수시로 바꾸며 더 좋은 알고리즘을 만들어낸다. 하지만 방대한 양의 알고리즘이 존재해 이 과정에서 찾을 수 없던 오류들이 발견되곤 한다.

 

연구진이 개발한 인페르보 분석기는 페이스북 내부에 사용하는 개별 분석 기술 결과에서 빠르고 정확하게 소프트웨어의 오류를 찾아내는 기술이다. 그동안 페이스북이 사용해온 개별 분석 기술은 큰 소프트웨어의 각 부분을 따로 분석하고 그 정보를 엮어 결과를 내는 것으로, 이는 거대한 소프트웨어에 다수의 개발자가 각자 담당 분야를 빠르게 개발해야 하는 환경에서 필수적이다. 인페르보 분석기를 통해 배열 접근 오류 같은 복잡한 성질을 검사하는 데도 이용 가능하게 됐다.

연구진이 개발한 인페르보 분석기는 모든 소스가 공개돼 전 세계 개발자 누구나 이용 가능하다.

 

■ FOCUS

■ COVID-19 소식

■ 캠퍼스 주요 소식

■ 연구성과

■ 안내

■ 기부소식 및 동정